The ORCCAD Architecture

The ORCCAD programming environment for robotic systems allows users to address automatic control laws in continuous time at the lower levels, and aspects of discrete-time logic at the higher lev els. ORCCAD provides tools of specification, formal verification, simulation, and real-time code generation integrated within a set of dedicated graphical interfaces. Basic robot actions, which are in trinsically hybrid entities, are handled by the ROBOT-TASK struc ture, which smartly interfaces aspects of continuous and discrete time. ROBOT-TASKS are further logically composed into more complex actions, ROBOT-PROCEDURES, through a dedicated lan guage. While system performance can be checked using simula tions, crucial properties such as deadlock avoidance, safety, and liveness can be formally verified at both levels. The approach is illustrated with an underwater inspection mission.

[1]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[2]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[3]  R. Lumia,et al.  Hierarchical Control of Intelligent Machines Applied to Space Station Telerobots , 1987 .

[4]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[5]  Patrick Borras,et al.  Centaur: the system , 1988, Software Development Environments.

[6]  Robert de Simone,et al.  Process Calculi, from Theory to Practice: Verification Tools , 1989, Automatic Verification Methods for Finite State Systems.

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[9]  Michel Sorine,et al.  The SynDEx software environment for real-time distributed systems design and implementation , 1991 .

[10]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[11]  Claude Samson,et al.  Robot Control: The Task Function Approach , 1991 .

[12]  Thomas A. Henzinger,et al.  Symbolic model checking for real-time systems , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[13]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[14]  Jean-Jacques Borrelly,et al.  Simulation of multiprocessor robot controllers , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[15]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[16]  Ronald Benton Byrnes,et al.  The Rational Behavior Model: A Multi-Paradigm, Tri-Level Software Architecture for the Control of Autonomous Vehicles , 1993 .

[17]  Bernard Espiau,et al.  Computer-aided design of a generic robot controller handling reactivity and real-time control issues , 1993, IEEE Trans. Control. Syst. Technol..

[18]  C. Leake.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[19]  Thomas A. Henzinger,et al.  Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[20]  Daniel Simon,et al.  On the Validation of Robotics Control Systems Part II: Analysis of real-time closed-loop control tasks , 1995 .

[21]  Michel Perrier,et al.  Mission Programming: Application to Underwater Robots , 1995, ISER.

[22]  Bernard Espiau,et al.  Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle , 1995, ISER.

[23]  Patrick Rives,et al.  Real-Time Programming of Mobile Robot Actions Using Advanced Control Techniques , 1995, ISER.

[24]  Vincent Rigaud,et al.  Distributed Control of a Free-floating Underwater Manipulation System , 1997, ISER.

[25]  Ève Coste-Manière,et al.  The MAESTRO language and its environment: specification, validation and control of robotic missions , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.

[26]  Rachid Alami,et al.  An Architecture for Autonomy , 1998, Int. J. Robotics Res..

[27]  Stanley A. Schneider,et al.  ControlShell: A Software Architecture for Complex Electromechanical Systems , 1998, Int. J. Robotics Res..

[28]  Bernard Espiau,et al.  Control Laws, Tasks and Procedures with Orccad: Application to the Control of an Underwater Arm , 1998, Int. J. Syst. Sci..

[29]  Penny Probert Smith,et al.  UNION: underwater intelligent operation and navigation , 1998, IEEE Robotics Autom. Mag..