8 citations · 12 across the 8 of their papers we have counts for
10 papers
Constructing invariant tori using guaranteed Euler method
Jawher Jerray, Laurent Fribourg
We show here how, using Euler's integration method and an associated function bounding the error in function of time, one can generate structures closely surrounding the invariant…
Robust optimal periodic control using guaranteed Euler's method
Jawher Jerray, Laurent Fribourg, Étienne André
In this paper, we consider the application of optimal periodic control sequences to switched dynamical systems. The control sequence is obtained using a finite-horizon optimal meth…
Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems
Jawher Jerray, Laurent Fribourg
A method is given for generating a bounded invariant of a differential system with a given set of initial conditions around a point . This invariant has the form of a tube cen…
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Laurent Fribourg, Matthias Heizmann
The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde…
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…