Stability verification of nearly periodic impulsive linear systems using reachability analysis, IFAC Conference on Analysis and Design of Hybrid Systems, pp.358-363, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01276237
Verification and Synthesis of Timing Contracts for Embedded Controllers, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC '16, 2016. ,
DOI : 10.1145/2883817.2883827
URL : https://hal.archives-ouvertes.fr/hal-01276251
Alternative Stability Conditions for Switched Discrete Time Linear Systems, IFAC World Congress, pp.6007-6012, 2014. ,
DOI : 10.3182/20140824-6-ZA-1003.01634
Networked Control Systems Toolbox: Robust Stability Analysis Made Easy*, IFAC Workshop on Distributed Estimation and Control in Networked Systems, pp.55-60, 2012. ,
DOI : 10.3182/20120914-2-US-4030.00014
Ultimate boundedness control for uncertain discretetime systems via set-induced Lyapunov functions, Conference on Decision and Control, pp.1755-1760, 1991. ,
Reset strategy for consensus in networks of clusters, Automatica, vol.65, pp.53-63, 2016. ,
DOI : 10.1016/j.automatica.2015.11.030
URL : https://hal.archives-ouvertes.fr/hal-01265038
Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints, Automatica, vol.49, issue.11, pp.3449-3457, 2013. ,
DOI : 10.1016/j.automatica.2013.08.022
Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach, IEEE Transactions on Automatic Control, vol.56, issue.9, pp.2101-2115, 2011. ,
DOI : 10.1109/TAC.2011.2107631
URL : https://hal.archives-ouvertes.fr/hal-00622934
Constructive Necessary and Sufficient Condition for the Stability of Quasi-Periodic Linear Impulsive Systems, IEEE Transactions on Automatic Control, vol.61, issue.9, 2016. ,
DOI : 10.1109/TAC.2015.2496792
URL : https://hal.archives-ouvertes.fr/hal-01379018
A refined input delay approach to sampled-data control, Automatica, vol.46, issue.2, pp.421-427, 2010. ,
DOI : 10.1016/j.automatica.2009.11.017
Robust sampled-data stabilization of linear systems: an input delay approach, Automatica, vol.40, issue.8, pp.401441-1446, 2004. ,
DOI : 10.1016/j.automatica.2004.03.003
URL : https://hal.archives-ouvertes.fr/inria-00131031
Multi-Parametric Toolbox 3.0, European Control Conference, pp.502-510, 2013. ,
Stabilization of linear impulsive systems through a nearly-periodic reset. Nonlinear Analysis: Hybrid Systems, pp.4-15, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00734728
Reachability analysis of hybrid systems with linear continuous dynamics, 2009. ,
URL : https://hal.archives-ouvertes.fr/tel-00422569
Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems, pp.250-262, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00765598
Approximating the Pareto Front of Multi-criteria Optimization Problems, Tools and Algorithms for the Construction and Analysis of Systems, pp.69-83, 2010. ,
DOI : 10.1007/978-3-642-12002-2_6
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results, IEEE Transactions on Automatic Control, vol.54, issue.2, pp.308-322, 2009. ,
DOI : 10.1109/TAC.2008.2012009
Stability of linear systems with general sawtooth delay, IMA Journal of Mathematical Control and Information, vol.27, issue.4, pp.419-436, 2010. ,
DOI : 10.1093/imamci/dnq023
Exponential stability of impulsive systems with application to uncertain sampled-data systems, Systems & Control Letters, vol.57, issue.5, pp.378-385, 2008. ,
DOI : 10.1016/j.sysconle.2007.10.009
A novel stability analysis of linear systems under asynchronous samplings, Automatica, vol.48, issue.1, pp.177-182, 2012. ,
DOI : 10.1016/j.automatica.2011.09.033
URL : https://hal.archives-ouvertes.fr/hal-00610561
Stability Analysis of Sampled-Data Systems Using Sum of Squares, IEEE Transactions on Automatic Control, vol.58, issue.6, pp.1620-1625, 2013. ,
DOI : 10.1109/TAC.2012.2232378
URL : https://hal.archives-ouvertes.fr/hal-00753538
Mapping and Scheduling on Multi-core Processors using SMT Solvers, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01087271