Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier. Timed-automata abstraction of switched dynamical systems using control invariants.
Real-Time Systems, Springer Verlag, 2017, pp.1-27.
⟨10.1007/s11241-016-9262-3⟩.
⟨hal-01436413⟩