Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000. ,
A Lyapunov approach to incremental stability properties, IEEE Transactions on Automatic Control, vol.47, issue.3, pp.410-421, 2002. ,
Stability and robustness analysis of nonlinear systems via contraction metrics and sos programming, Automatica, vol.44, issue.8, pp.2163-2170, 2008. ,
Formal methods for discrete-time dynamical systems, vol.89, 2017. ,
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings, IFAC-PapersOnLine, vol.51, issue.16, pp.19-24, 2018. ,
Hierarchical hybrid control systems: A lattice theoretic formulation, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.501-508, 1998. ,
Synthesis of switching controllers using approximately bisimilar multiscale abstractions, Hybrid Systems: Computation and Control, pp.191-200, 2011. ,
Graph constrained-CTM observer design for the Grenoble south ring, IFAC Proceedings, vol.45, issue.24, pp.197-202, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00728555
Finite abstraction of mixed monotone systems with discrete and continuous inputs, Nonlinear Analysis: Hybrid Systems, vol.23, pp.254-271, 2017. ,
On compositional symbolic controller synthesis inspired by small-gain theorems, IEEE Conference on Decision and Control, pp.6133-6138, 2015. ,
Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems, IEEE Conference on Decision and Control, pp.824-829, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01133212
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
Approximation metrics for discrete and continuous systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00171714
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
Sparsity-aware finite abstraction, IEEE Conference on Decision and Control, pp.2366-2371, 2017. ,
Lazy abstraction-based control for safety specifications, 2018. ,
Multi-layered abstraction-based controller synthesis for continuous-time systems, International Conference on Hybrid Systems: Computation and Control, pp.120-129, 2018. ,
Abstracting partially feedback linearizable systems compositionally, IEEE Control Systems Letters, vol.1, issue.2, pp.227-232, 2017. ,
Compositional controller synthesis for vehicular traffic networks, IEEE Conference on Decision and Control, pp.6165-6171, 2015. ,
Constructing control system abstractions from modular components, International Conference on Hybrid Systems: Computation and Control, pp.137-146, 2018. ,
Supervisory control of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.1026-1049, 2000. ,
Mode sequences as symbolic states in abstractions of incrementally stable switched systems, IEEE Conference on Decision and Control, pp.3225-3230, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00924815
Finite abstractions with robustness margins for temporal logic-based control synthesis, Nonlinear Analysis: Hybrid Systems, vol.22, pp.1-15, 2016. ,
Qualitative modelling of linear dynamical systems with quantized state measurements, Automatica, vol.30, issue.3, pp.417-431, 1994. ,
Reachability analysis of nonlinear systems using matrix measures, IEEE Transactions on Automatic Control, vol.60, issue.1, pp.265-270, 2014. ,
, Compositional synthesis of finite state abstractions, 2016.
Control from computer science, Annual Reviews in Control, vol.26, issue.2, pp.175-187, 2002. ,
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
, Synthesis of reactive (1) designs. In: International Workshop on Verification, Model Checking, and Abstract Interpretation, pp.364-380, 2006.
On the synthesis of a reactive module, Symposium on Principles of Programming Languages, pp.179-190, 1989. ,
Integrated design of symbolic controllers for nonlinear systems, IEEE Transactions on Automatic Control, vol.57, issue.2, pp.534-539, 2012. ,
Symbolic models for networks of control systems, IEEE Transactions on Automatic Control, vol.61, issue.11, pp.3663-3668, 2016. ,
Decentralized supervisory control of networks of nonlinear control systems, IEEE Transactions on Automatic Control, 2017. ,
Discrete approximation and supervisory control of continuous systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.569-573, 1998. ,
Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987. ,
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, 2017. ,
Scaling up controller synthesis for linear systems and safety specifications, IEEE Conference on Decision and Control, pp.7638-7643, 2012. ,
On-the-fly model abstraction for controller synthesis, pp.2645-2650, 2012. ,
Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems, EEE Conference on Decision and Control, pp.1-9, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01857389
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach, Automatica, vol.107, pp.551-561, 2019. ,
Verification and control of hybrid systems -a symbolic approach, 2009. ,
Linear time logic control of discrete-time linear systems, IEEE Transactions on Automatic Control, vol.51, issue.12, pp.1862-1877, 2006. ,
Discrete-state abstractions of nonlinear systems using multiresolution quantizer, Hybrid Systems: Computation and Control, vol.5469, pp.351-365, 2009. ,
Formal analysis of discrete-time piecewise affine systems, IEEE Transactions on Automatic Control, vol.55, issue.12, pp.2834-2840, 2010. ,
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach, Automatica, vol.55, pp.183-196, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01170568
Symbolic models for nonlinear control systems without stability assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2012. ,
Backstepping design for incremental stability, IEEE Transactions on Automatic Control, vol.56, issue.9, pp.2184-2189, 2011. ,