Automated reasoning about machines

Andronov, 1966 Bowden, 1950 Conti, 1992, A computer-aided kinematic analysis system for mechanism design and computer simulation, Mechanism Mach. Theory, 27, 563, 10.1016/0094-114X(92)90045-J Cremer, 1989, An architecture for general purpose physical system simulation—integrating geometry, dynamics, and control Cundall, 1988, Formulation of a three-dimensional distinct element model—part I: a scheme to detect and represent contacts in a system composed of many polyhedral blocks, Int. J. Rock Mech. Mining Sci. Geomech. Abstracts, 25, 107, 10.1016/0148-9062(88)92293-0 Dawson, 1985, The dynamic duo: Dram and Adams, Comput. Mech. Eng. Drazin, 1992 Fallahi, 1983, A compact approach to planar kinematic analysis, Trans. ASME J. Mechanisms Transmissions Automation in Design, 105, 434, 10.1115/1.3267378 Forbus, 1984, Qualitative process theory, Artif. Intell., 24, 85, 10.1016/0004-3702(84)90038-9 Forbus, 1990, Self-explanatory simulations: An integration of qualitative and quantitative knowledge Forbus, 1991, Qualitative spatial reasoning: the CLOCK project, Artif. Intell., 51, 417, 10.1016/0004-3702(91)90116-2 Gear, 1971 Gelsey, 1987, Automated reasoning about machine geometry and kinematics 1990 Gelsey, 1989, Automated physical modeling Gelsey, 1990, Automated reasoning about machines Gelsey, 1991, Using intelligently controlled simulation to predict a machine's long-term behavior, 880 Gilmore, 1991, Simulation of planar dynamic mechanical systems with changing topologies, J. Mech. Design, 113, 70, 10.1115/1.2912753 Goldstein, 1980 Goyal, 1992, Simulation of dynamics of rigid bodies I, II, and III Hartquist, 1983, Public PADL-2, IEEE Comput. Graph. Appl., 30 Haug, 1984, A survey of dynamics software, 24 Haug, 1989 Hindmarsh, 1983, ODEPACK, a systematized collection of ODE solvers, 55 Hoffmann, 1989 Joskowicz, 1991, Computational kinematics, Artif. Intell., 51, 381, 10.1016/0004-3702(91)90115-Z Lichtenberg, 1983 Minorsky, 1962 Nakamura, 1990, Computer-aided design diagnosis for machines—kinematic model extraction from mechanisms, Mech. Mach. Theory, 25, 355, 10.1016/0094-114X(90)90034-H Orlandea, 1977, A sparsity-oriented approach to the dynamic analysis and design of mechanical systems, J. Eng. Industry, 99, 773, 10.1115/1.3439312 Paul, 1979 Pippard, 1978 Potter, 1992, Mechanism analysis moves with the times, Comput. Graph. World, 15, 30 Requicha, 1980, Representations for rigid solids: theory, methods, and systems, ACM Comput. Surv., 12, 437, 10.1145/356827.356833 Reuleaux, 1876 Routh, 1960 Sacks, 1991, Automatic analysis of one-parameter ordinary differential equations by intelligent numeric simulation, Artif. Intell., 48, 10.1016/0004-3702(91)90079-Y Sacks, 1993, Automated modeling and kinematic simulation of mechanisms,, Comput.-Aided Design, 25, 106, 10.1016/0010-4485(93)90096-7 Shampine, 1976, Solving non-stiff ordinary differential equations—the state of the art, SIAM Rev., 18, 376, 10.1137/1018075 Weld, 1986, The use of aggregation in causal simulation, Artif. Intell., 30, 1, 10.1016/0004-3702(86)90066-4 Wittenburg, 1977 Yip, 1991, Understanding complex dynamics by visual and symbolic reasoning, Artif. Intell., 51, 179, 10.1016/0004-3702(91)90111-V