Optimal discrete controller synthesis for modeling fault-tolerant distributed systems

Emil Dumitrescu (1, 2) , Eric Rutten (2) , Alain Girault (2) , Hervé Marchand (3)

1 AMPERE - Ampère
2 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
3 VERTECS - Verification models and techniques applied to testing and control of reactive systems

Domaines: Electronique

Emil Dumitrescu, Eric Rutten, Alain Girault, Hervé Marchand. Optimal discrete controller synthesis for modeling fault-tolerant distributed systems. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨10.3182/20070613-3-FR-4909.00031⟩. ⟨hal-00375564⟩