29 citations · 60 across the 8 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2024
Tuning Trains Speed in Railway Scheduling
Étienne André
Railway scheduling consists in ensuring that a set of trains evolve in a shared rail network without collisions, while meeting schedule constraints. This problem is notoriously dif…
eess.SY2024★ 1 cited
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…