A Lyapunov approach to incremental stability properties, IEEE Transactions on Automatic Control, vol.47, issue.3, pp.410-421, 2002. ,
Formal methods for discretetime dynamical systems, 2017. ,
Approximately bisimilar symbolic models for incrementally stable switched systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00306990
, Hybrid Dynamical Systems: modeling, stability, and robustness, 2012.
Impulsive and hybrid dynamical systems, Princeton Series in Applied Mathematics, 2006. ,
Nonlinear systems, vol.3, 1996. ,
Singular perturbation methods in control: analysis and design, vol.25, 1999. ,
, Handbook of hybrid systems control: theory, tools, applications, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00450093
Switched system modeling and robust steering control of the tail end phase in a hot strip mill, Nonlinear analysis: hybrid systems, vol.3, pp.239-250, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00414112
Compositional symbolic models for networks of incrementally stable control systems, 2014. ,
Discrete approximation and supervisory control of continuous systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.569-573, 1998. ,
Stability analysis of a general class of singularly perturbed linear hybrid systems, Automatica, issue.90, pp.98-108, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01653073
On singular perturbations due to fast actuators in hybrid control systems, Automatica, vol.47, issue.4, pp.692-701, 2011. ,
Verification and control of hybrid systems: a symbolic approach, 2009. ,