Verification and control of hybrid systems: A Symbolic approach, 2009. ,
Formal methods for discrete-time dynamical systems, 2017. ,
On the synthesis of discrete controllers for timed systems, the 12th Symp. on Theoretical Aspects of Computer Science, pp.229-242, 1995. ,
, Principles of Model Checking (Representation and Mind Series, 2008.
Symbolic models for nonlinear control systems: Alternating approximate bisimulations, SIAM J. Control Optim, vol.48, issue.2, pp.719-733, 2009. ,
Feedback refinement relations for the synthesis of symbolic controllers, IEEE Trans. Autom. Control, vol.62, issue.4, pp.1781-1796, 2017. ,
Approximately bisimilar symbolic models for nonlinear control systems, Automatica, vol.44, issue.08, pp.2508-2516, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00379755
Symbolic models for nonlinear control systems without stability assumptions, IEEE Trans. Autom. Control, vol.57, pp.1804-1809, 2012. ,
Approximately bisimilar symbolic models for incrementally stable switched systems, IEEE Trans. Autom. Control, vol.55, issue.1, pp.116-126, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00765597
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
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
Symbolic models for nonlinear time-delay systems using approximate bisimulations, Systems and Control Letters, vol.59, issue.6, pp.365-373, 2010. ,
Symbolic models for timevarying time-delay systems via alternating approximate bisimulation, Int. J. of Robust and Nonlinear Control, vol.25, issue.14, pp.2328-2347, 2015. ,
Design of symbolic controllers for networked control systems, IEEE Trans. Autom. Control, vol.64, issue.3, pp.1034-1046, 2019. ,
Symbolic abstractions of networked control systems, IEEE Trans. on Control of Network Sys, vol.5, issue.4, pp.1622-1634, 2018. ,
Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems, the 53rd IEEE Conf. Decision Control, pp.824-829, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01133212
Sybmolic models for retarded jump-diffusion systems, Automatica, vol.111, 2020. ,
Compositional abstraction and safety synthesis using overlapping symbolic models, IEEE Trans. Autom. Control, issue.99, pp.1-1, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01620532
Symbolic models for networks of control systems, IEEE Trans. Autom. Control, vol.61, issue.11, pp.3663-3668, 2016. ,
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach, Automatica, vol.107, issue.11, pp.551-561, 2019. ,
Compositional synthesis of symbolic models for networks of switched systems, IEEE Control Systems Letters, vol.3, pp.1056-1061, 2019. ,
Hybrid dynamical systems, IEEE Control Systems Magazine, vol.29, issue.2, pp.28-93, 2009. ,
Impulsive and hybrid dynamical systems, Princeton Ser. Appl. Math, 2006. ,
Impulsive control in continuous and discrete-continuous Systems, 2003. ,
Impulsive systems on Hybrid time domains, 2019. ,
Nonlinear impulsive systems: 2d stability analysis approach, Automatica, vol.80, pp.32-40, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01437308
Lyapunov conditions for input-to-state stability of impulsive systems, Automatica, vol.44, issue.11, pp.2735-2744, 2008. ,
Further results on incremental input-to-state stability, IEEE Trans. Autom. Control, vol.54, issue.6, pp.1386-1391, 2009. ,
, Variational analysis, vol.317, 2009.
Strong stability of impulsive systems, Int.l J. of Theoretical Physics, vol.27, issue.6, pp.745-755, 1988. ,
Specific asymptotic properties of the solutions of impulsive differential equations. Methods and applications, 2012. ,
Hierarchical control system design using approximate simulation, Automatica, vol.45, issue.2, pp.566-571, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00379793
From dissipativity theory to compositional synthesis of symbolic models, the 4th Indian Control Conf, pp.30-35, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01620525
Incremental stability properties for discrete-time systems, the 55th IEEE Conf. Decision Control, pp.477-482, 2016. ,
Symbolic control of stochastic systems via approximately bisimilar finite abstractions, IEEE Trans. Autom. Control, vol.59, issue.12, pp.3135-3150, 2014. ,
Geometric Measure Theory, 1996. ,
On assigning the derivative of a disturbance attenuation clf, the 37th IEEE Conf. Decision Control, pp.2497-2502, 1998. ,
Symbolic models for a class of impulsive systems, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02861778
Input-to-state stability of impulsive systems with different jump maps, IFAC-PapersOnLine, vol.49, issue.18, pp.1073-1078, 2016. ,
SCOTS: A tool for the synthesis of symbolic sontrollers, the 19th Int. Conf. Hybrid Syst.: Computation and Control, pp.99-104, 2016. ,