Analyzing the temporal behavior of real-time closed-loop robotic tasks

Author

Simon, Daniel ; Freedman, Paul ; Castillo, Eduardo

Author_Institution

INRIA, Sohia Antipolis, France

fYear

1994

fDate

8-13 May 1994

Firstpage

841

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Robotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on

Conference_Location

San Diego, CA

Print_ISBN

0-8186-5330-2

Type

conf

DOI

10.1109/ROBOT.1994.351384

Filename

351384