C. Belta, B. Yordanov, and E. Gol, Formal Methods for Discrete-Time Dynamical Systems, 2017.
DOI : 10.1007/978-3-319-50763-7

A. Girard, Controller synthesis for safety and reachability via approximate bisimulation, Automatica, vol.48, pp.947-953, 2012.
DOI : 10.1016/j.automatica.2012.02.037
URL : https://hal.archives-ouvertes.fr/hal-00765682

A. Girard, G. Gössler, and S. Mouelhi, Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models, IEEE Trans. Automat. Control, vol.61, pp.1537-1549, 2016.
DOI : 10.1109/tac.2015.2478131
URL : https://hal.archives-ouvertes.fr/hal-01197426

J. Lygeros, K. H. Johansson, S. N. Simi?, J. Zhang, S. Shankar et al., Dynamical Properties of Hybrid Automata, IEEE Trans. Automat. Control, vol.48, pp.2-17, 2003.

P. Tabuada, Verification and Control of Hybrid Systems: a symbolic approach, 2008.