Formalism for the composition of concurrent robot behaviors

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 4, Issue , 2000, Pages 3395-3402

  Klavins, Eric ^a   Koditschek, Daniel E ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ROBOT BEHAVIORS; DISTRIBUTED ROBOTIC SYSTEMS; ROBOTIC BUCKET BRIGADE; SEQUENTIAL COMPOSITION;

ASSEMBLY; CONCURRENCY CONTROL; DECENTRALIZED CONTROL; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FACTORY AUTOMATION; PETRI NETS; ROBOT PROGRAMMING;

ROBOTICS;

EID: 0033691407     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Robert R. Burridge, Alfred A. Rizzi, and Daniel E. Koditschek. Sequential composition of dynamically dexterous robot behaviors. International Journal of Robotics Research, 1998.
2. F. Commoner, A.W. Holt, S. Even, and A. Puneli. Marked directed graphs. .Journal of Computer and System Sciences, 5:511-523, 1971.
3. T. Henzinger, P.H. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. Software Tools for Technology Transfer, 1:110-122, 1997.
4. Ryszard Janicki. Nets, sequential compositions and concurrency relations. Theoretical Computer Science, 29:87-121, 1984.
5. Eric Klavins. Automatic compilation of concurrent hybrid factories form product assembly specifications. In Hybrid Systems: Computation and Control Workshop, Third International Workshop, Pittsburgh, PA, 2000.
6. Eric Klavins and Daniel Koditschek. A formalism for the composition of loosely coupled robot behaviors. Technical Report CSE-TR-412-99, University of Michigan, 1999.
7. Daniel E. Koditschek. An approach to autonomous robot assembly. Robotica, 12 :137-155, 1994.
8. Jana Kośecká. A Framework for Modeling and Verifying Visually Guided Agents: Design, Analysis and Experiments. PhD thesis, University of Pennsylvania, March 1996.
9. B. H. Krogh and C. L. Beck. Synthesis of place/transition nets for simulation and control of manufacturing systems. In 4th IFAC/IFORS Symp. Large Scale Systems, pages 661-666, Zurich, 1986.
10. Tomás Lozano-Perez, Matthew T. Mason, and Russell H. Taylor. Automatic synthesis of fme-motion strategies for robots. The International Journal for Robotics Research, 3(1):3-23,1984.
11. Wolfgang Reisig. Petri Nets: An Introduction. Springer Verlag, 1985.
12. A. A. Rizzi, J. Gowdy, and R. L. Hollis. Agile assembly architecture: An agent based approach to modular precision assembly systems. In Proceedings of the 1997 IEEE International Conference on Robotics and Automation, pages 1511-1516, Albuquerque, NM, April 1997.
13. Claire Tomlin, John Lygeros, and Shankar Sastry. Computing controllers for nonlinear hybrid systems. In Frits W. Vaandrager and Jans H. van Schuppen, editors, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1569, pages 238-255. Springer, 1999.