Bisimilar finite abstractions of interconnected systems, 11th International Conference on Hybrid Systems: Computation and Control, pp.514-527, 2008. ,
Symbolic models for networks of control systems, IEEE Transactions on Automatic Control, vol.61, pp.3663-3668, 2016. ,
Compositional construction of approximate abstractions, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC '15, pp.68-77, 2015. ,
Compositional construction of approximate abstractions of interconnected control systems, IEEE Transactions on Control of Network Systems, issue.99, pp.1-1, 2016. ,
Some new bounds on the spectral radius of graphs, Discrete Mathematics, vol.281, issue.1-3, pp.149-161, 2004. ,
Compositional abstraction for networks of control systems: A dissipativity approach, IEEE Transactions on Control of Network Systems, issue.99, pp.1-1, 2017. ,
Networks of dissipative systems, SpringerBriefs in Electrical and Computer Engineering, 2016. ,
Hierarchical control system design using approximate simulation, Automatica, vol.45, issue.2, pp.566-571, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00379793
, Variational analysis, vol.317, 2009.
Input-to-state stability for discrete-time nonlinear systems, Automatica, vol.37, issue.6, pp.857-869, 2001. ,
Verification and Control of Hybrid Systems, 2009. ,
Incremental stability properties for discrete-time systems, 2016 IEEE 55th Conference on Decision and Control (CDC), pp.477-482, 2016. ,
Algebraic Graph Theory, 2001. ,