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
URL : http://aldebaran.elo.utfsm.cl/datasheet/cdc/cdc00/PDF/AUTHOR/CD001044.PDF

D. Angeli and E. D. Sontag, Forward completeness, unboundedness observability, and their Lyapunov characterizations, Systems & Control Letters, vol.38, issue.4-5, pp.209-217, 1999.
DOI : 10.1016/S0167-6911(99)00055-9
URL : http://math.rutgers.edu/~sontag/FTP_DIR/uo.ps.gz

P. J. Antsaklis, Hybrid Control Systems: An Introductory Discussion to the Special Issue, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.457-460, 1998.
DOI : 10.1109/TAC.1998.664148

A. G. Beccuti, G. Papafotiou, and M. Morari, Optimal Control of the Boost dc-dc Converter, Proceedings of the 44th IEEE Conference on Decision and Control, pp.4457-4462, 2005.
DOI : 10.1109/CDC.2005.1582864

C. Belta, B. Yordanov, and E. A. Gol, Formal methods for discrete-time dynamical systems, 2017.
DOI : 10.1007/978-3-319-50763-7

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-00306990

R. Goebel, R. G. Sanfelice, and A. R. Teel, Hybrid Dynamical Systems: modeling, stability, and robustness, 2012.

W. Heemels, K. H. Johansson, and P. Tabuada, An introduction to event-triggered and self-triggered control, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp.3270-3285, 2012.
DOI : 10.1109/CDC.2012.6425820

L. Hetel, C. Fiter, H. Omran, A. Seuret, E. Fridman et al., Recent developments on the stability of systems with aperiodic sampling: An overview, Automatica, vol.76, pp.309-335, 2017.
DOI : 10.1016/j.automatica.2016.10.023
URL : https://hal.archives-ouvertes.fr/hal-01363448

K. Kido, S. Sedwards, and I. Hasuo, Approximate Bisimulation for Switching Delays in Incrementally Stable Switched Systems, 2017.

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

H. Lin and P. J. Antsaklis, Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results, IEEE Transactions on Automatic Control, vol.54, issue.2, pp.308-322, 2009.
DOI : 10.1109/TAC.2008.2012009

G. Reissig, A. Weber, and M. Rungger, Feedback Refinement Relations for the Synthesis of Symbolic Controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2017.
DOI : 10.1109/TAC.2016.2593947

A. Saoud and A. Girard, Multirate Symbolic Models for Incrementally Stable Switched Systems * *This work has been supported by the Labex Digicosme, Universit?? Paris-Saclay (CODECSYS project)., IFAC-PapersOnLine, vol.50, issue.1, pp.9278-9284, 2017.
DOI : 10.1016/j.ifacol.2017.08.912

P. Tabuada, Verification and control of hybrid systems: a symbolic approach, 2009.
DOI : 10.1007/978-1-4419-0224-5