Synchronous composition of discretized control actions: design, verification and implementation with ORCCAD

Author

Simon, Daniel ; Gibollet, R.P. ; Kapellos, Konstantinos ; Espiau, Bernard

Author_Institution

INRIA, Montbonnot St. Martin, France

fYear

1999

fDate

1999

Firstpage

158

Lastpage

165

Abstract

Robotic systems are typical examples of hybrid systems where continuous time aspects, related to control laws, must be carefully merged with discrete-time aspects related to control switches and exception handling. These two aspects interact in real-time to ensure an efficient nominal behavior of the system together with safe and graceful degradation otherwise. In a mixed synchronous/asynchronous approach, ranging from user´s requirements to run-time code, ORCADD provides formalized control structures, the coordination of which is specified using the ESTEREL synchronous language and formally verified using the FC2TOOLS package. CAD tools have been designed and integrated to help the users along the steps of programming, verification and implementation processes

Keywords

control system CAD; exception handling; formal specification; parallel languages; program verification; real-time systems; robots; CAD tools; ESTEREL; FC2TOOLS package; ORCCAD; asynchronous approach; continuous time system; control laws; control switches; discrete-time system; discretized control actions; exception handling; hybrid systems; program verification; programming; real-time; robotic systems; run-time code; synchronous approach; synchronous language; Automatic control; Computer science; Control systems; Data processing; Degradation; Real time systems; Robot kinematics; Robot programming; Robot sensing systems; Robotics and automation;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on

Conference_Location

Hong Kong

Print_ISBN

0-7695-0306-3

Type

conf

DOI

10.1109/RTCSA.1999.811210

Filename

811210