A. Alam, A. Gattami, K. H. Johansson, and C. J. Tomlin, Guaranteeing safety for heavy duty vehicle platooning: Safe set computations and experimental evaluations, Control Engineering Practice, vol.24, pp.33-41, 2014.

A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, Control barrier function based quadratic programs for safety critical systems, IEEE Transactions on Automatic Control, vol.62, issue.8, pp.3861-3876, 2017.

C. Belta, B. Yordanov, and E. A. , Formal Methods for Discrete-Time Dynamical Systems, 2017.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2009.

S. Coogan and M. Arcak, Efficient finite abstraction of mixed monotone systems, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp.58-67, 2015.

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2001.

R. Gillis, C. C. Palerm, H. Zisser, L. Jovanovi?, D. E. Seborg et al., Glucose estimation and prediction through meal responses using ambulatory subject data for advisory mode model predictive control, Journal of Diabets Science and Technology, vol.1, issue.6, pp.825-833, 2007.

A. Girard, Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control. HSCC 2005, vol.3414, pp.291-305, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00307003

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

E. A. Gol, M. Lazar, and C. Belta, Languageguided controller synthesis for linear systems, IEEE Transactions on Automatic Control, vol.59, issue.5, pp.1163-1176, 2013.

K. Hsu, R. Majumdar, K. Mallik, and A. K. Schmuck, Lazy abstraction-based controller synthesis, pp.4902-4907, 2018.

K. Hsu, K. Mallik, R. Majumdar, and A. K. Schmuck, Multi-layered abstraction-based controller synthesis for continuous-time systems, Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control, pp.120-129, 2018.

O. Hussien and P. Tabuada, Lazy controller synthesis using three-valued abstractions for safety and reachability specifications, 2018 IEEE Conference on Decision and Control (CDC), pp.3567-3572, 2018.

A. B. Kurzhanski and P. Varaiya, Dynamics and Control of Trajectory Tubes. Theory and Computation, 2014.

T. Kushner, B. W. Bequette, F. Cameron, G. Forlenza, D. Maahs et al., Models, devices, properties, and verification of artificial pancreas systems, Automated Reasoning for Systems Biology and Medicine, pp.825-833, 2019.

J. Maidens and M. Arcak, Reachability analysis of nonlinear systems using matrix measures, IEEE Transactions on Automatic Control, vol.60, issue.1, pp.265-270, 2014.

P. J. Meyer, S. Coogan, A. , and M. , Sampleddata reachability analysis using sensitivity and mixedmonotonicity, IEEE Control Systems Letters, vol.2, issue.4, pp.761-766, 2018.

P. J. Meyer, A. Girard, and E. Witrant, Compositional abstraction and safety synthesis using overlapping symbolic models, IEEE Transactions on Automatic Control, vol.63, issue.6, pp.1835-1841, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01620532

T. Moor and J. Raisch, Abstraction based supervisory controller synthesis for high order monotone continuous systems. Modelling, Analysis, and Design of Hybrid Systems, pp.247-265, 2002.

P. Nilson, N. Ozay, and J. Liu, Augmented finite transition systems as abstractions for control synthesis, Discrete Event Dynamic Systems, vol.27, issue.3, pp.301-340, 2017.

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.

A. Saoud, E. Ivanova, and A. Girard, Efficient synthesis for monotone transition systems and directed safety specifications, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02281945

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

A. Thavlov and H. W. Bindner, A heat dynamic model for intelligent heating of buildings, International Journal of Green Energy, vol.12, issue.3, pp.240-247, 2015.

A. Weiss, U. V. Kalabi?, and S. D. Cairano, Station keeping and momentum management of low-thrust satellites using mpc, Aerospace Science and Technology, vol.76, pp.229-241, 2018.

M. Zamani, G. Pola, M. Mazo, and P. Tabuada, Symbolic models for nonlinear control systems without stability assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2011.