This paper describes a two-step algorithm for the qualitative analysis of mechanical devices. The first step takes the geometrical description of the parts and their initial position and produces a description of the possible relative motions of pairs in contact by computing the configuration space of those pairs with respect to selected motions. Given the possible relative motions and an input motion, the second step computes the actual motion of each object for fixed axis mechanisms using a constraint propagation, label inferencing technique. The output is a state diagram describing the motion of each part in the mechanism.
|Title of host publication
|Readings in Qualitative Reasoning About Physical Systems
|Number of pages
|Published - 17 Sep 2013
Bibliographical notePublisher Copyright:
© 1990 Morgan Kaufmann Publishers, Inc. Published by Elsevier Inc. All rights reserved.