R. Alur, &. Thomas, and A. Henzinger, Reactive modules, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.7-48, 1999.
DOI : 10.1109/LICS.1996.561320

E. Asarin, O. Bournez, T. Dang, O. Maler, and &. Amir-pnueli, Effective synthesis of switching controllers for linear systems, Proceedings of the IEEE, vol.88, issue.7, pp.1011-1025, 2000.
DOI : 10.1109/5.871306
URL : https://hal.archives-ouvertes.fr/inria-00099342

L. Fribourg, U. , and N. Markey, Game-based Synthesis of Distributed Controllers for Sampled Switched Systems In: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15, OpenAccess Series in Informatics (OASIcs) 44, Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, pp.48-62, 2015.

H. Jeremy, . Gillula, M. Gabriel, H. Hoffmann, . Huang et al., Applications of hybrid reachability analysis to robotic aerial vehicles, The International Journal of Robotics Research, p.0278364910387173, 2011.

A. Girard, Low-Complexity Switching Controllers for Safety using Symbolic Models*, Proceedings of 4th IFAC Conference on Analysis and Design of Hybrid Systems, pp.82-87, 2012.
DOI : 10.3182/20120606-3-NL-3011.00022
URL : https://hal.archives-ouvertes.fr/hal-00769673

L. Jaulin, M. Kieffer, O. Didrit, and &. E. Walter, Applied Interval Analysis with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

G. Kim, M. Larsen, M. Miku?ionis, J. Muniz, &. Srba et al., Online and Compositional Learning of Controllers with Application to Floor Heating, Tools and Algorithms for Construction and Analysis of Systems (TACAS),22nd International Conference, 2016.

D. Liberzon, Switching in systems and control, 2012.
DOI : 10.1007/978-1-4612-0017-8