Showing eess.SYShow all
2 papers · 1 filter
eess.SY2024
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…
eess.SY2024
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…