Verification and control of hybrid systems: a symbolic approach, 2009. ,
Formal methods for discrete-time dynamical systems, 2017. ,
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
Multi-layered abstraction-based controller synthesis for continuous-time systems, International Conference on Hybrid Systems: Computation and Control, pp.120-129, 2018. ,
Optimized state space grids for abstractions, IEEE Transactions on Automatic Control, vol.62, issue.11, pp.5816-5821, 2017. ,
Optimal multirate sampling in symbolic models for incrementally stable switched systems, Automatica, vol.98, pp.58-65, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01860113
Safety controller synthesis for switched systems using multi-scale symbolic models, IEEE Conference on Decision and Control and European Control Conference, pp.520-525, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00665226
Lazy abstraction-based control for safety specifications, IEEE Conference on Decision and Control, pp.4902-4907, 2018. ,
Lazy controller synthesis using threevalued abstractions for safety and reachability specifications, IEEE Conference on Decision and Control, pp.3567-3572, 2018. ,
Safety controller design for incrementally stable switched systems using event-based symbolic models, European Control Conference, pp.1269-1274, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02054930
From dissipativity theory to compositional synthesis of symbolic models, Indian Control Conference, pp.30-35, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01620525
Constructing control system abstractions from modular components, International Conference on Hybrid Systems: Computation and Control, pp.137-146, 2018. ,
Safety control with performance guarantees of cooperative systems using compositional abstractions, IFAC Conference on Analysis and Design of Hyrbid Systems, pp.317-322, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01180975
Compositional abstraction-based synthesis for cascade discrete-time control systems, IFAC Conference on Analysis and Design of Hybrid Systems, pp.13-18, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01761180
Symbolic control design for monotone systems with directed specifications, Automatica, vol.83, pp.10-19, 2017. ,
Monotone control systems, IEEE Transactions on automatic control, vol.48, issue.10, pp.1684-1698, 2003. ,
A symbolic approach to voltage stability and power sharing in time-varying DC microgrids, European Control Conference, pp.903-909, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02070070
Safety control of monotone systems with bounded uncertainties, IEEE Conference on Decision and Control, pp.4874-4879, 2016. ,
Well-structured transition systems everywhere!, Theoretical Computer Science, vol.256, issue.1-2, pp.63-92, 2001. ,
Ordering by divisibility in abstract algebras, Proceedings of the London Mathematical Society, vol.3, issue.1, pp.326-336, 1952. ,
Autonomous intelligent cruise control, IEEE Transactions on Vehicular Technology, vol.42, issue.4, pp.657-672, 1993. ,
Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems, IEEE Conference on Decision and Control, pp.773-779, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01857389