R. Alur, R. Grosu, I. Lee, and O. Sokolsky, Compositional refinement for hierarchical hybrid systems, International Workshop on Hybrid Systems: Computation and Control, pp.33-48, 2001.

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. ,

. Sontag, Forward completeness, unboundedness observability, and their Lyapunov characterizations, Systems and Control Letters, vol.38, issue.4, pp.209-217, 1999.

M. Arcak, C. Meissen, and A. Packard, Networks of dissipative systems: compositional certification of stability, performance, and safety, 2016.

J. Aubin, Viability theory, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00636570

A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet et al., Contracts for systems design: Theory, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01178467

C. Conte, N. R. Voellmy, M. N. Zeilinger, M. Morari, and C. N. Jones, Distributed synthesis and control of constrained linear systems, American Control Conference, pp.6017-6022, 2012.

S. Coogan and M. Arcak, A dissipativity approach to safety verification for interconnected systems, IEEE Transactions on Automatic Control, vol.60, issue.6, pp.1722-1727, 2015.

E. Dallal and P. Tabuada, On compositional symbolic controller synthesis inspired by small-gain theorems, IEEE Conference on Decision and Control, pp.6133-6138, 2015.

S. Dashkovskiy, B. S. Rüffer, and F. R. Wirth, An iss small gain theorem for general networks, Mathematics of Control, Signals, and Systems, vol.19, issue.2, pp.93-122, 2007.

C. A. Desoer and M. Vidyasagar, Feedback systems: inputoutput properties, vol.55, 1975.

A. El-guindy, Y. C. Chen, and M. Althoff, Compositional transient stability analysis of power systems via the computation of reachable sets, American Control Conference, pp.2536-2543, 2017.

. Goran-fedja-frehse, Compositional verification of hybrid systems using simulation relations, 2005.

R. Goebel, R. G. Sanfelice, and A. R. Teel, Hybrid Dynamical Systems: Modeling, Stability, and Robustness, 2012.

T. A. Henzinger, M. Minea, and V. Prabhu, Assumeguarantee reasoning for hierarchical hybrid systems, International Workshop on Hybrid Systems: Computation and Control, pp.275-290, 2001.

Z. Jiang, A. R. Teel, and L. Praly, Small-gain theorem for iss systems and applications, Mathematics of Control, Signals and Systems, vol.7, issue.2, pp.95-120, 1994.

F. Kerber, A. J. Van-der, and . Schaft, Assume-guarantee reasoning for linear dynamical systems, European Control Conference, pp.5015-5020, 2009.

K. Hassan and . Khalil, Noninear systems, vol.2, pp.5-6, 1996.

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

E. S. Kim, M. Arcak, and S. A. Seshia, A small gain theorem for parametric assume-guarantee contracts, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.207-216, 2017.

A. L. 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.

E. A. Lee and S. A. Seshia, Introduction to embedded systems: A cyber-physical systems approach, 2016.

K. Mallik, A. Schmuck, S. Soudjani, and R. Majumdar, Compositional synthesis of finite state abstractions, IEEE Transactions on Automatic Control, 2018.

P. Meyer and D. V. Dimarogonas, Compositional abstraction refinement for control synthesis, Nonlinear Analysis: Hybrid Systems, vol.27, pp.437-451, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01672059

P. Meyer, A. Girard, and E. Witrant, Compositional abstraction and safety synthesis using overlapping symbolic models, IEEE Transactions on Automatic Control, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01620532

P. Nilsson and N. Ozay, Synthesis of separable controlled invariant sets for modular local control design, American Control Conference, pp.5656-5663, 2016.

S. V. Rakovi?, B. Kern, and R. Findeisen, Practical set invariance for decentralized discrete time systems, IEEE Conference on Decision and Control, pp.3283-3288, 2010.

A. Saoud, A. Girard, and L. Fribourg, Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems, Conference on Decision and Control, pp.773-779, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01857389

A. Saoud, A. Girard, and L. Fribourg, Contract based design of symbolic controllers for vehicle platooning, Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control, HSCC '18, pp.277-278, 2018.

A. Saoud, A. Girard, and L. Fribourg, On the composition of discrete and continuous-time assume-guarantee contracts for invariance, European Control Conference, pp.435-440, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01712710

A. Saoud, M. Jagtap, A. Zamani, and . Girard, Compositional abstraction-based synthesis for cascade discrete-time control systems, 6th IFAC Conference on Analysis and Design of Hybrid Systems, vol.51, pp.13-18, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01761180

C. Sloth, G. J. Pappas, and R. Wisniewski, Compositional safety analysis using barrier certificates, International Conference on Hybrid Systems: Computation and Control, pp.15-24, 2012.

S. Smith, P. Nilsson, and N. Ozay, Interdependence quantification for compositional control synthesis with an application in vehicle safety systems, Conference on Decision and Control, pp.5700-5707, 2016.

D. Eduardo and . Sontag, Input to state stability: Basic concepts and results, Nonlinear and optimal control theory, pp.163-220, 2008.

. Aj-van-der and . Schaft, Equivalence of dynamical systems by bisimulation, IEEE transactions on automatic control, vol.49, issue.12, pp.2160-2172, 2004.

M. Zamani and M. Arcak, Compositional abstraction for networks of control systems: A dissipativity approach, IEEE Transactions on, 2017.

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, 2012.

D. Zonetti, A. Saoud, A. Girard, and L. Fribourg, A symbolic approach to voltage stability and power sharing in timevarying DC microgrids, European Control Conference, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02070070