A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies
暂无分享,去创建一个
[1] H. Harry Asada,et al. The Discrete Event Modeling and Trajectory Planning of Robotic Assembly Tasks , 1995 .
[2] Radha Jagadeesan,et al. Hybrid cc, Hybrid Automata and Program Verification , 1996, Hybrid Systems.
[3] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[4] Thomas A. Henzinger,et al. HYTECH: A Model Checker for Hybrid Systems , 1997, CAV.
[5] Brenan J. McCarragher,et al. Force control command synthesis for assembly using a discrete event framework , 1997, Proceedings of International Conference on Robotics and Automation.
[6] Wyatt S. Newman,et al. Force-responsive robotic assembly of transmission components , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).
[7] Michael S. Branicky,et al. A hybrid systems approach to force-guided robotic assemblies , 1999, Proceedings of the 1999 IEEE International Symposium on Assembly and Task Planning (ISATP'99) (Cat. No.99TH8470).
[8] Daniel G. Bobrow,et al. Programming in Hybrid Constraint Languages , 1994, Hybrid Systems.
[9] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[10] Thomas A. Henzinger,et al. HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[11] T. Henzinger. The theory of hybrid automata , 1996, LICS 1996.
[12] Michael S. Branicky,et al. Studies in hybrid systems: modeling, analysis, and control , 1996 .
[13] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[14] Wyatt S. Newman,et al. Stable interaction control and coulomb friction compensation using natural admittance control , 1994, J. Field Robotics.
[15] W. S. Newman. Stability and Performance Limits of Interaction Controllers , 1992 .