Title :
Analyzing the temporal behavior of real-time closed-loop robotic tasks
Author :
Simon, Daniel ; Freedman, Paul ; Castillo, Eduardo
Author_Institution :
INRIA, Sohia Antipolis, France
Abstract :
ORCCAD (Open Robot Controller Computer Aided Design), is a development environment for robotic controllers which provides verification and simulation tools along with a graphical human-machine interface, in order to bridge the gap between control laws as understood by the control systems community, and real-time computing as understood by the computer science community. In this paper, we introduce some recent extensions to ORCCAD which make it possible to perform certain kinds of temporal verification of real-time closed loop robotic tasks
Keywords :
Petri nets; closed loop systems; control system CAD; real-time systems; robots; user interfaces; ORCCAD; closed loop robotic tasks; graphical human-machine interface; message passing; open robot controller CAD; petri nets; real-time system; simulation tools; synchronisation; temporal verification; Bridges; Computational modeling; Computer interfaces; Computer science; Computer simulation; Control system synthesis; Man machine systems; Open loop systems; Real time systems; Robot control;
Conference_Titel :
Robotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-5330-2
DOI :
10.1109/ROBOT.1994.351384
