scholarly journals Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis

2004 ◽  
Vol 37 (18) ◽  
pp. 285-290 ◽  
Author(s):  
Emil Dumitrescu ◽  
Alain Girault ◽  
Eric Rutten
Keyword(s):  
Fault Tolerant ◽  
Controller Synthesis ◽  
Synchronous System ◽  
Discrete Controller

scholarly journals OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS

2007 ◽  
Vol 40 (6) ◽  
pp. 169-174 ◽  
Author(s):  
E. Dumitrescu ◽  
A. Girault ◽  
H. Marchand ◽  
E. Rutten
Keyword(s):  
Distributed Systems ◽  
Fault Tolerant ◽  
Controller Synthesis ◽  
Discrete Controller

scholarly journals Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling

2014 ◽  
Vol 7 (3) ◽  
pp. 1-17 ◽  
Author(s):  
Sébastien Guillet ◽  
Florent de Lamotte ◽  
Nicolas le Griguer ◽  
Éric Rutten ◽  
Guy Gogniat ◽  
...  
Keyword(s):  
Controller Synthesis ◽  
Reconfigurable Systems ◽  
Systems On Chip ◽  
On Chip ◽  
Uml Marte ◽  
Discrete Controller
Sign in / Sign up

Export Citation Format

Share Document