D. Angeli, A Lyapunov approach to incremental stability, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), pp.2947-2952, 2000.
DOI : 10.1109/CDC.2000.914265
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5748

E. Asarin, T. Dang, and A. Girard, Hybridization methods for the analysis of nonlinear systems, Acta Informatica, vol.12, issue.2, pp.451-476, 2007.
DOI : 10.1007/978-1-4612-0017-8
URL : https://hal.archives-ouvertes.fr/hal-00157475

E. Kendall and . Atkinson, An introduction to numerical analysis, 2008.

X. Chen and S. Sankaranarayanan, Decomposed Reachability Analysis for Nonlinear Systems, 2016 IEEE Real-Time Systems Symposium (RTSS), pp.13-24, 2016.
DOI : 10.1109/RTSS.2016.011

G. Dahlquist, Error analysis for a class of methods for stiff non-linear initial value problems. Numerical analysis, pp.60-72, 1976.

E. Dallal and P. Tabuada, On compositional symbolic controller synthesis inspired by small-gain theorems, 2015 54th IEEE Conference on Decision and Control (CDC), pp.6133-6138, 2015.
DOI : 10.1109/CDC.2015.7403184

T. Donchev and E. Farkhi, Stability and Euler Approximation of One-sided Lipschitz Differential Inclusions, SIAM Journal on Control and Optimization, vol.36, issue.2, pp.780-796, 1998.
DOI : 10.1137/S0363012995293694

P. João, D. Hespanha, . Liberzon, R. Andrew, and . Teel, Lyapunov conditions for input-to-state stability of impulsive systems, Automatica, vol.44, issue.11, pp.2735-2744, 2008.

Z. Jiang, R. Andrew, L. Teel, and . Praly, Small-gain theorem for ISS systems and applications, Mathematics of Control, Signals, and Systems, vol.27, issue.2, pp.95-120, 1994.
DOI : 10.1007/BF01211469

Z. Jiang, M. Iven, Y. Mareels, and . Wang, A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems, Automatica, vol.32, issue.8, pp.1211-1215, 1996.
DOI : 10.1016/0005-1098(96)00051-9

S. Eric, M. Kim, . Arcak, A. Sanjit, and . Seshia, Compositional controller synthesis for vehicular traffic networks, Proc. of IEEE Annual Conference on Decision and Control, pp.6165-6171, 2015.

G. Kim, M. Larsen, M. Miku?ionis, J. Muniz, J. H. Srba et al., Online and compositional learning of controllers with application to floor heating, Proc. of International Conference Tools and Algorithms for Construction and Analysis of Systems, 2016.

A. Le-coënt, F. D. Vuyst, L. Chamoin, and L. Fribourg, Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method, Proc. of International Workshop on Symbolic and Numerical Methods for Reachability Analysis, pp.18-33, 2017.
DOI : 10.4204/EPTCS.247.2

A. Le-coënt, L. Fribourg, N. Markey, F. D. Vuyst, and L. Chamoin, Distributed Synthesis of State-Dependent Switching Control, International Workshop on Reachability Problems, pp.119-133, 2016.
DOI : 10.1007/978-3-540-71493-4_34

P. Meyer, Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings. Theses, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01232640

P. Meyer, H. Nazarpour, A. Girard, and E. Witrant, Experimental implementation of UFAD regulation based on Robust Controlled Invariance, 2014 European Control Conference (ECC), pp.1468-1473, 2014.
DOI : 10.1109/ECC.2014.6862273
URL : https://hal.archives-ouvertes.fr/hal-00988959

G. Yang and D. Liberzon, A Lyapunov-based small-gain theorem for interconnected switched systems, Systems & Control Letters, vol.78, pp.47-54, 2015.
DOI : 10.1016/j.sysconle.2015.02.001
URL : https://www.ideals.illinois.edu/bitstream/2142/45522/1/Guosong_Yang.pdf