61 citations · 322 across the 42 of their papers we have counts for
6 papers · 1 filter
MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties
Bineet Ghosh, Étienne André
We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of black-box cyber-physical systems w.r.t. safety properties. MoULDyS takes as input an unc…
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…
Model-bounded monitoring of hybrid systems
Masaki Waga, Étienne André, Ichiro Hasuo
Monitoring of hybrid systems attracts both scientific and practical attention. However, monitoring algorithms suffer from the methodological difficulty of only observing sampled di…
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…
Offline timed pattern matching under uncertainty
Étienne André, Ichiro Hasuo, Masaki Waga
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always f…