Robot control in a message passing environment: theoretical questions and preliminary experiments
暂无分享,去创建一个
[1] Amir Pnueli,et al. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.
[2] Roger W. Brockett,et al. On the computer control of movement , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.
[3] W. Miranker,et al. The arithmetic of the digital computer: A new approach , 1986 .
[4] Takeo Kanade,et al. Real-time implementation and evaluation of model-based controls on CMU DD Arm II , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.
[5] Vladimir J. Lumelsky,et al. Development of sensitive skin for a 3D robot arm operating in an uncertain environment , 1989, Proceedings, 1989 International Conference on Robotics and Automation.
[6] M. Leahy,et al. The effects of dynamic models on robot control , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.
[7] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[8] Takeo Kanade,et al. Real-time control of CMU direct-drive arm II using customized inverse dynamics , 1984, The 23rd IEEE Conference on Decision and Control.
[9] Geoff Barrett. Verifying the transputer , 1990 .
[10] Shankar Sastry,et al. The effect of discretized feedback in a closed loop system , 1987, 26th IEEE Conference on Decision and Control.
[11] D. E. Koditschek,et al. A Distributed Message Passing Computational and I/O Engine for Real-Time Motion Control , 1989, 1989 American Control Conference.
[12] Daniel E. Koditschek,et al. Exact robot navigation in geometrically complicated but topologically simple spaces , 1990, Proceedings., IEEE International Conference on Robotics and Automation.
[13] Daniel E. Koditschek,et al. A Simple Juggling Robot: Theory and Experimentation , 1989, ISER.
[14] Andrew Wilson,et al. Shared memory multiprocessors: the right approach to parallel processing , 1989, Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.
[15] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.