Guaranteeing safety for heavy duty vehicle platooning: Safe set computations and experimental evaluations, Control Engineering Practice, vol.24, pp.33-41, 2014. ,
Control barrier function based quadratic programs for safety critical systems, IEEE Transactions on Automatic Control, vol.62, issue.8, pp.3861-3876, 2017. ,
Formal Methods for Discrete-Time Dynamical Systems, 2017. ,
Introduction to Discrete Event Systems, 2009. ,
Efficient finite abstraction of mixed monotone systems, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp.58-67, 2015. ,
, Introduction to Algorithms, 2001.
Glucose estimation and prediction through meal responses using ambulatory subject data for advisory mode model predictive control, Journal of Diabets Science and Technology, vol.1, issue.6, pp.825-833, 2007. ,
Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control. HSCC 2005, vol.3414, pp.291-305, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00307003
Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models, IEEE Transactions on Automatic Control, issue.6, pp.1537-1549, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01197426
Languageguided controller synthesis for linear systems, IEEE Transactions on Automatic Control, vol.59, issue.5, pp.1163-1176, 2013. ,
Lazy abstraction-based controller synthesis, pp.4902-4907, 2018. ,
Multi-layered abstraction-based controller synthesis for continuous-time systems, Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control, pp.120-129, 2018. ,
Lazy controller synthesis using three-valued abstractions for safety and reachability specifications, 2018 IEEE Conference on Decision and Control (CDC), pp.3567-3572, 2018. ,
Dynamics and Control of Trajectory Tubes. Theory and Computation, 2014. ,
Models, devices, properties, and verification of artificial pancreas systems, Automated Reasoning for Systems Biology and Medicine, pp.825-833, 2019. ,
Reachability analysis of nonlinear systems using matrix measures, IEEE Transactions on Automatic Control, vol.60, issue.1, pp.265-270, 2014. ,
Sampleddata reachability analysis using sensitivity and mixedmonotonicity, IEEE Control Systems Letters, vol.2, issue.4, pp.761-766, 2018. ,
Compositional abstraction and safety synthesis using overlapping symbolic models, IEEE Transactions on Automatic Control, vol.63, issue.6, pp.1835-1841, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01620532
Abstraction based supervisory controller synthesis for high order monotone continuous systems. Modelling, Analysis, and Design of Hybrid Systems, pp.247-265, 2002. ,
Augmented finite transition systems as abstractions for control synthesis, Discrete Event Dynamic Systems, vol.27, issue.3, pp.301-340, 2017. ,
Feedback refinement relations for the synthesis of symbolic controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2017. ,
Efficient synthesis for monotone transition systems and directed safety specifications, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02281945
Verification and control of hybrid systems: a symbolic approach, 2009. ,
A heat dynamic model for intelligent heating of buildings, International Journal of Green Energy, vol.12, issue.3, pp.240-247, 2015. ,
Station keeping and momentum management of low-thrust satellites using mpc, Aerospace Science and Technology, vol.76, pp.229-241, 2018. ,
Symbolic models for nonlinear control systems without stability assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2011. ,