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

D. Angeli and E. D. Sontag, Forward completeness, unboundedness observability, and their lyapunov characterizations, Systems & Control Letters, vol.38, issue.4, pp.209-217, 1999.

A. Anta and P. Tabuada, To sample or not to sample: Self-triggered control for nonlinear systems, IEEE Transactions on Automatic Control, vol.55, issue.9, pp.2030-2042, 2010.

A. G. Beccuti, G. Papafotiou, and M. Morari, Optimal control of the boost dc-dc converter, 44th IEEE Conference on Decision and Control and European Control Conference, pp.4457-4462, 2005.

A. Girard, G. Gössler, and S. Mouelhi, Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models, IEEE Transactions on Automatic Control, vol.61, issue.6, pp.1537-1549, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01197426

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

L. Hetel and E. Bernuau, Local stabilization of switched affine systems, IEEE Transactions on Automatic Control, vol.60, issue.4, pp.1158-1163, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01058070

Z. Kader, A. Girard, and A. Saoud, Symbolic models for incrementally stable switched systems with aperiodic time sampling, 6th IFAC Conference on Analysis and Design of Hybrid Systems, vol.51, pp.253-258, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01760789

D. Liberzon, Switching in systems and control, 2003.

G. Pola, A. Borri, M. D. Di, and . Benedetto, Integrated design of symbolic controllers for nonlinear systems, IEEE Transactions on Automatic Control, vol.57, issue.2, pp.534-539, 2012.

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.

R. Shorten, F. Wirth, O. Mason, K. Wulff, and C. King, Stability criteria for switched and hybrid systems, SIAM review, vol.49, issue.4, pp.545-592, 2007.

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