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

C. Belta, B. Yordanov, and E. A. Gol, Formal methods for discretetime dynamical systems, 2017.

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.
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. M. Haddad, V. Chellaboina, and S. G. Nersesov, Impulsive and hybrid dynamical systems, Princeton Series in Applied Mathematics, 2006.

H. K. Khalil and J. W. Grizzle, Nonlinear systems, vol.3, 1996.

P. Kokotovic, H. K. Khalil, and J. O'reilly, Singular perturbation methods in control: analysis and design, vol.25, 1999.

J. Lunze and F. Lamnabhi-lagarrigue, Handbook of hybrid systems control: theory, tools, applications, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00450093

I. Malloci, J. Daafouz, C. Iung, R. Bonidal, and P. Szczepanski, Switched system modeling and robust steering control of the tail end phase in a hot strip mill, Nonlinear analysis: hybrid systems, vol.3, pp.239-250, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00414112

G. Pola, P. Pepe, M. D. Di, and . Benedetto, Compositional symbolic models for networks of incrementally stable control systems, 2014.

J. Raisch and S. D. O'young, Discrete approximation and supervisory control of continuous systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.569-573, 1998.

J. B. Rejeb, I. Mor?-arescu, A. Girard, and J. Daafouz, Stability analysis of a general class of singularly perturbed linear hybrid systems, Automatica, issue.90, pp.98-108, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01653073

R. G. Sanfelice and A. R. Teel, On singular perturbations due to fast actuators in hybrid control systems, Automatica, vol.47, issue.4, pp.692-701, 2011.

P. Tabuada, Verification and control of hybrid systems: a symbolic approach, 2009.