Monotone control systems, IEEE Transactions on automatic control, vol.48, issue.10, pp.1684-1698, 2003. ,
Formal Methods for Discrete-Time Dynamical Systems, 2017. ,
Efficient finite abstraction of mixed monotone systems, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp.58-67, 2015. ,
Temporal logic motion planning for dynamic robots, Automatica, vol.45, issue.2, pp.343-352, 2009. ,
Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models, IEEE Transactions on Automatic Control, vol.61, issue.6, pp.1537-1549, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01197426
Language-guided controller synthesis for linear systems, IEEE Transactions on Automatic Control, vol.59, issue.5, pp.1163-1176, 2014. ,
Finite abstractions with robustness margins for temporal logic-based control synthesis, Nonlinear Analysis: Hybrid Systems, vol.22, pp.1-15, 2016. ,
Synthesis of reactive switching protocols from temporal logic specifications, IEEE Transactions on Automatic Control, vol.58, issue.7, pp.1771-1785, 2013. ,
Abstraction and control by interconnection of linear systems: A geometric approach, Systems & Control Letters, vol.105, pp.27-33, 2017. ,
TIRA: Toolbox for interval reachability analysis, 22 nd ACM International Conference on Hybrid Systems: Computation and Control, 2019. ,
Safety control with performance guarantees of cooperative systems using compositional abstractions. IFAC-PapersOnLine, vol.48, pp.317-322, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01180975
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control, 53rd IEEE Conference on Decision and Control, pp.816-823, 2014. ,
Integrated design of symbolic controllers for nonlinear systems, IEEE Transactions on Automatic Control, vol.57, issue.2, pp.534-539, 2011. ,
Control of cyber-physical-systems with logic specifications: A formal methods approach, Annual Reviews in Control, 2019. ,
Computing abstractions of nonlinear systems, IEEE Transactions on Automatic Control, vol.56, issue.11, pp.2583-2598, 2011. ,
Feedback refinement relations for the synthesis of symbolic controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2016. ,
Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems, 57th IEEE Conference on Decision and Control, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01857389
Verification and Control of Hybrid Systems: a symbolic approach, 2008. ,
Linear time logic control of discrete-time linear systems, IEEE Transactions on Automatic Control, vol.51, issue.12, pp.1862-1877, 2006. ,
The achievable dynamics via control by interconnection, IEEE Transactions on Automatic Control, vol.56, issue.5, pp.1110-1117, 2010. ,
Symbolic models for nonlinear control systems without stability assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2012. ,