Compositional refinement for hierarchical hybrid systems, International Workshop on Hybrid Systems: Computation and Control, pp.33-48, 2001. ,
A Lyapunov approach to incremental stability properties, IEEE Transactions on Automatic Control, vol.47, issue.3, pp.410-421, 2002. ,
,
Forward completeness, unboundedness observability, and their Lyapunov characterizations, Systems and Control Letters, vol.38, issue.4, pp.209-217, 1999. ,
Networks of dissipative systems: compositional certification of stability, performance, and safety, 2016. ,
Viability theory, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00636570
Contracts for systems design: Theory, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01178467
Distributed synthesis and control of constrained linear systems, American Control Conference, pp.6017-6022, 2012. ,
A dissipativity approach to safety verification for interconnected systems, IEEE Transactions on Automatic Control, vol.60, issue.6, pp.1722-1727, 2015. ,
On compositional symbolic controller synthesis inspired by small-gain theorems, IEEE Conference on Decision and Control, pp.6133-6138, 2015. ,
An iss small gain theorem for general networks, Mathematics of Control, Signals, and Systems, vol.19, issue.2, pp.93-122, 2007. ,
Feedback systems: inputoutput properties, vol.55, 1975. ,
Compositional transient stability analysis of power systems via the computation of reachable sets, American Control Conference, pp.2536-2543, 2017. ,
Compositional verification of hybrid systems using simulation relations, 2005. ,
, Hybrid Dynamical Systems: Modeling, Stability, and Robustness, 2012.
Assumeguarantee reasoning for hierarchical hybrid systems, International Workshop on Hybrid Systems: Computation and Control, pp.275-290, 2001. ,
Small-gain theorem for iss systems and applications, Mathematics of Control, Signals and Systems, vol.7, issue.2, pp.95-120, 1994. ,
Assume-guarantee reasoning for linear dynamical systems, European Control Conference, pp.5015-5020, 2009. ,
Noninear systems, vol.2, pp.5-6, 1996. ,
Compositional controller synthesis for vehicular traffic networks, IEEE Conference on Decision and Control, pp.6165-6171, 2015. ,
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. ,
Distributed synthesis of state-dependent switching control, International Workshop on Reachability Problems, pp.119-133, 2016. ,
Introduction to embedded systems: A cyber-physical systems approach, 2016. ,
Compositional synthesis of finite state abstractions, IEEE Transactions on Automatic Control, 2018. ,
Compositional abstraction refinement for control synthesis, Nonlinear Analysis: Hybrid Systems, vol.27, pp.437-451, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01672059
Compositional abstraction and safety synthesis using overlapping symbolic models, IEEE Transactions on Automatic Control, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01620532
Synthesis of separable controlled invariant sets for modular local control design, American Control Conference, pp.5656-5663, 2016. ,
Practical set invariance for decentralized discrete time systems, IEEE Conference on Decision and Control, pp.3283-3288, 2010. ,
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
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. ,
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
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
Compositional safety analysis using barrier certificates, International Conference on Hybrid Systems: Computation and Control, pp.15-24, 2012. ,
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems, Conference on Decision and Control, pp.5700-5707, 2016. ,
Input to state stability: Basic concepts and results, Nonlinear and optimal control theory, pp.163-220, 2008. ,
Equivalence of dynamical systems by bisimulation, IEEE transactions on automatic control, vol.49, issue.12, pp.2160-2172, 2004. ,
Compositional abstraction for networks of control systems: A dissipativity approach, IEEE Transactions on, 2017. ,
Symbolic models for nonlinear control systems without stability assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2012. ,
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