Gérald Point
YOU?
Author Swipe
View article: Model-based diagnosis for avionics systems using minimal cuts
Model-based diagnosis for avionics systems using minimal cuts Open
International audience
View article: Symbolic computation of minimal cuts for AltaRica models
Symbolic computation of minimal cuts for AltaRica models Open
65 pages
View article: On the partial translation of Lustre programs into the AltaRica language and vice versa
On the partial translation of Lustre programs into the AltaRica language and vice versa Open
Lustre (1984) and AltaRica (2000) are two languages used to describe critical systems. The first one is a data-flow programming language; and its main purpose is the writing of formally verified programs implemented on embedded hardware. T…
View article: The Synthesis Toolbox - From modal automata to controller synthesis
The Synthesis Toolbox - From modal automata to controller synthesis Open
In this paper we present the "Synthesis" software which is used to generate centralized or decentralized controllers for discrete event systems. This tool implements algorithms taken from several publications in the domain of the controlle…