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 & Control Letters, vol.38, issue.4, pp.209-217, 1999. ,
To sample or not to sample: Self-triggered control for nonlinear systems, IEEE Transactions on Automatic Control, vol.55, issue.9, pp.2030-2042, 2010. ,
Optimal control of the boost dc-dc converter, 44th IEEE Conference on Decision and Control and European Control Conference, pp.4457-4462, 2005. ,
Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models, IEEE Transactions on Automatic Control, vol.61, issue.6, pp.1537-1549, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01197426
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-00765597
Local stabilization of switched affine systems, IEEE Transactions on Automatic Control, vol.60, issue.4, pp.1158-1163, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01058070
Symbolic models for incrementally stable switched systems with aperiodic time sampling, 6th IFAC Conference on Analysis and Design of Hybrid Systems, vol.51, pp.253-258, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01760789
Switching in systems and control, 2003. ,
Integrated design of symbolic controllers for nonlinear systems, IEEE Transactions on Automatic Control, vol.57, issue.2, pp.534-539, 2012. ,
Feedback refinement relations for the synthesis of symbolic controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2017. ,
Stability criteria for switched and hybrid systems, SIAM review, vol.49, issue.4, pp.545-592, 2007. ,
Verification and control of hybrid systems: a symbolic approach, 2009. ,