Eugène Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli. Effective Synthesis of Switching Controllers for Linear Systems.
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2000, 88 (7), pp.1011-1025.
⟨inria-00099342⟩