D. Angeli, A Lyapunov approach to incremental stability properties, IEEE Transactions on Automatic Control, vol.47, issue.3, pp.410-421, 2002.
DOI : 10.1109/9.989067

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819

J. Cámara, A. Girard, and G. Gössler, Safety controller synthesis for switched systems using multi-scale symbolic models, IEEE Conference on Decision and Control and European Control Conference, pp.520-525, 2011.
DOI : 10.1109/CDC.2011.6160424

J. Cámara, A. Girard, and G. Gössler, Synthesis of switching controllers using approximately bisimilar multiscale abstractions, Proc. of the 14th Inter. Conf. on Hybrid systems: computation and control, pp.191-200, 2011.

A. Girard and G. J. Pappas, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007.
DOI : 10.1109/TAC.2007.895849
URL : https://hal.archives-ouvertes.fr/hal-00171714

A. Girard, G. Pola, and P. Tabuada, Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010.
DOI : 10.1109/TAC.2009.2034922
URL : https://hal.archives-ouvertes.fr/hal-00765597

B. Jeannet, MLCUDDIDL: OCaml interface for CUDD library, version 2.2.0, 2011.

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The Objective Caml system release 3.12. Documentation and user manual, 2010.

D. Liberzon, Switching in systems and control, Birkhäuser Boston, 2003.
DOI : 10.1007/978-1-4612-0017-8

F. Somenzi, CUDD: CU Decision Diagram Package

P. Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, 2009.
DOI : 10.1007/978-1-4419-0224-5

T. Tantau, The TikZ and PGF Packages, Manual for version 2.10, 2010.