4 papers
Robust optimal control using dynamic programming and guaranteed Euler's method
Jawher Jerray, Laurent Fribourg, Étienne André
Set-based integration methods allow to prove properties of differential systems, which take into account bounded disturbances. The systems (either time-discrete, time-continuous or…
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples
Jawher Jerray, Laurent Fribourg, Étienne André
The phenomenon of phase synchronization was evidenced in the 17th century by Huygens while observing two pendulums of clocks leaning against the same wall. This phenomenon has more…
Time4sys2imi: A tool to formalize real-time system models under uncertainty
Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys is a formalism developed by Thales, realizing a graphical specification for real-time systems. However, this formalism does not allow to perform formal analyses for real-t…
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Étienne André, Emmanuel Coquard, Laurent Fribourg +2
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a…