loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99)
Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD
Hong Kong, China
December 13-December 15
ISBN: 0-7695-0306-3
ASCII Text
x 
 
Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau, "Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD," Real-Time Computing Systems and Applications, International Workshop on, pp. 158, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999.
 
 
BibTex
x
 
@article{ 10.1109/RTCSA.1999.811210,
author = {Daniel Simon and Roger Pissard-Gibollet and Konstantinos Kapellos and Bernard Espiau},
title = {Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {1999},
issn = {1530-1427},
pages = {158},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811210},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD
SN - 1530-1427
SP
EP
A1 - Daniel Simon,
A1 - Roger Pissard-Gibollet,
A1 - Konstantinos Kapellos,
A1 - Bernard Espiau,
PY - 1999
KW - synchronous programming
KW - programming environment
KW - continuous/discrete time
KW - formal verification
KW - control oriented applications
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -
 
Daniel Simon, INRIA Rh?ne-Alpes
Roger Pissard-Gibollet, INRIA Rh?ne-Alpes
Konstantinos Kapellos, INRIA Rh?ne-Alpes
Bernard Espiau, INRIA Rh?ne-Alpes
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, Orccad 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.
Index Terms:
synchronous programming, programming environment, continuous/discrete time, formal verification, control oriented applications
Citation:
Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau, "Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD," rtcsa, pp.158, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999
Usage of this product signifies your acceptance of the Terms of Use.