Synchronous composition of discretized control actions: design, verification and implementation with ORCCAD - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

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

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
Fichier principal
Vignette du fichier
rtcsa99.pdf (828.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00930120 , version 1 (15-01-2014)

Identifiers

  • HAL Id : hal-00930120 , version 1

Cite

Daniel Simon, Roger Pissard-Gibollet, Konstantin Kapellos, Bernard Espiau. Synchronous composition of discretized control actions: design, verification and implementation with ORCCAD. Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on, 1999, Hong Kong, China. pp.158-165. ⟨hal-00930120⟩

Collections

INRIA INRIA2
80 View
138 Download

Share

Gmail Facebook X LinkedIn More