, Reasoning as in Lemma A.2 it easy to note that inequalities (231), (321), (213) are equivalent to the single inequality ?? ? 0 s.t. A P 1 + P 1 A +?
, This way, we can rewrite the sufficient conditions for the quasi-max Lyapunov function as: ? ? 21, vol.23
, A P 1 + P 1 A +?(P 1 ? P 2 ) < 0
m}, we have just one more inequality (involving just one more non-negative scalar) as compared to the max of quadratics case ,
On robust Lie-algebraic stability conditions for switched linear systems, Systems & Control Letters, vol.61, pp.347-353, 2012. ,
Lie-algebraic stability criteria for switched systems, SIAM Journal on Control and Optimization, vol.40, issue.1, pp.253-269, 2001. ,
Joint spectral radius and path-complete graph Lyapunov functions, SIAM Journal on Control and Optimization, vol.52, issue.1, pp.687-717, 2014. ,
Robust stability and stabilization of linear switched systems with dwell time, IEEE Transactions on Automatic Control, vol.56, issue.2, pp.381-386, 2011. ,
Differential Inclusions, 1984. ,
URL : https://hal.archives-ouvertes.fr/hal-00915425
, Set-Valued Analysis. Systems & Control: Foundations & Applications. Birkhauder Basel, 2009.
Nonpathological Lyapunov functions and discontinuous Carathéodory systems, Automatica, vol.42, issue.3, pp.453-458, 2006. ,
Nonsmooth optimal regulation and discontinuous stabilization, Abstract and Applied Analysis, issue.20, pp.1159-1195, 2003. ,
Stability and stabilization of discontinuous systems and nonsmooth Lyapunov functions. ESAIM: Control, Optimization and Calculus of Variations, vol.4, pp.361-376, 1999. ,
Liapunov Functions and Stability in Control Theory, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00139067
Linear programming based Lyapunov function computation for differential inclusions, Discrete and Continuous Dynamical Systems -B, vol.17, p.33, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00724864
, Systems with Impulse Effect: Stability, Theory, and Applications, 1989.
An Introduction to Differential Manifolds, 2003. ,
Plant with integrator: An example of reset control overcoming limitations of linear feedback, IEEE Transactions on Automatic Control, vol.46, pp.1797-1799, 2001. ,
Vertex/plane characterization of the dwell-time property for switching linear systems, 49th IEEE Conference on Decision and Control (CDC), pp.3258-3263, 2010. ,
Set-Theoretic Methods in Control, 2008. ,
Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions, Automatica, vol.44, issue.4, pp.1166-1170, 2008. ,
Lipschitz functions with prescribed derivatives and subderivatives, Nonlinear Analysis: Theory, Methods and Applications, vol.29, pp.53-63, 1997. ,
Lipschitz functions with maximal Clarke subdifferentials are generic, Proceedings of the American Mathematical Society, vol.128, 1998. ,
Linear Matrix Inequalities in System and Control Theory, 1994. ,
Studies in hybrid systems : modeling, analysis, and control, 1995. ,
Complete instability of differential inclusions using Lyapunov methods, 2018 IEEE Conference on Decision and Control (CDC), pp.718-724, 2018. ,
Opérateurs Maximaux Monotones et Semi-Groupes de Contractions dans les Espaces de Hilbert, 1973. ,
Functional analysis, Sobolev spaces and partial differential equations, 2010. ,
Convex conditions for robust stabilization of uncertain switched systems with guaranteed minimum and mode-dependent dwell-time, Systems and Control Letters, vol.78, pp.63-72, 2015. ,
Dynamical systems coupled with monotone set-valued operators: Formalisms, applications, well-posedness, and stability, SIAM Review, vol.62, issue.1, pp.3-129, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02379498
Characterizations of input-to-state stability for hybrid systems, Systems & Control Letters, vol.58, issue.1, pp.47-53, 2009. ,
Robust input-to-state stability for hybrid systems, SIAM Journal on Control and Optimization, vol.51, issue.2, pp.1651-1678, 2013. ,
Smooth Lyapunov functions for hybrid systems-Part I: Existence is equivalent to robustness, IEEE Transactions on Automatic Control, vol.52, issue.7, pp.1264-1277, 2007. ,
Discontinuous ordinary differential equations and stabilization, 2000. ,
Piecewise C k functions in nonsmooth analysis, Nonlinear Analysis: Theory, Methods and Applications, vol.15, pp.649-660, 1990. ,
A nonconservative LMI condition for stability of switched systems with guaranteed dwell time, IEEE Transactions on Automatic Control, vol.57, issue.5, pp.1297-1302, 2012. ,
A characterization of switched linear control systems with finite l 2 -gain, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1825-1837, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01198394
Optimization and Nonsmooth Analysis, Classics in Applied Mathematics. SIAM, 1990. ,
Asymptotic controllability implies feedback stabilization, IEEE Transactions on Automatic Control, vol.42, issue.10, pp.1394-1407, 1997. ,
Asymptotic stability and smooth Lyapunov functions, Journal of Differential Equations, vol.149, issue.1, pp.69-114, 1998. ,
, Nonsmooth Analysis and Control Theory, vol.178, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00863298
Lyapunov functions and feedback in nonlinear control, Optimal Control, Stabilization and Nonsmooth Analysis, pp.267-282, 2004. ,
Discontinuous dynamical systems, IEEE Control Systems Magazine, vol.28, issue.3, pp.36-73, 2008. ,
Parameter dependent Lyapunov functions for discrete time systems with time varying parametric uncertainties, Systems and Control Letters, vol.43, pp.355-359, 2001. ,
Pathological subgradient dynamics, SIAM Journal on Optimization, vol.30, pp.1327-1338, 2020. ,
A converse Lyapunov theorem for a class of dynamical systems which undergo switching, IEEE Transactions on Automatic Control, vol.44, issue.4, pp.751-760, 1999. ,
Stability tests for constrained linear systems, Perspectives in robust control, pp.241-257, 2001. ,
Perspectives and results on the stability and stabilizability of hybrid systems, Proceedings of IEEE, vol.88, pp.1069-1082, 2000. ,
, Multivalued Differential Equations. De Gruyter Series in Nonlinear Analysis and Applications, 1992.
Almost everywhere conditions for hybrid Lipschitz Lyapunov functions, Proc. 58th IEEE Conf. Decision & Constrol, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02417585
Piecewise structure of Lyapunov functions and densely checked decrease conditions for hybrid systems, 2019. ,
Path-complete Lyapunov functions for continuous-time switching systems, Accepted in 59th Conference on Decision and Control (CDC), p.2020 ,
Max-min Lyapunov functions for switching differential inclusions, Proceeddings of 57th IEEE Conference on Decision and Control, pp.5664-5669, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01951377
Smooth approximation of patchy Lyapunov functions for switching systems, Proc. 11th IFAC Symposium on Nonlinear Control Systems (NolCoS), 2019. ,
Max-min Lyapunov functions for switched systems and related differential inclusions, Automatica, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02886685
Non-pathological Lipschitz ISS-Lyapunov functions and interconnections of differential inclusions, IEEE Transactions on Automatic Control, 2020. ,
Difference methods for differential inclusions: A survey, SIAM Review, vol.34, issue.2, pp.263-294, 1992. ,
URL : https://hal.archives-ouvertes.fr/hal-01571241
Differential Equations with Discontinuous Right-Hand Side, 1988. ,
Robust Nonlinear Control Design, Modern Birkhäuser Classics. Birkhäuser Basel, 1996. ,
Stability and stabilization of continuoustime switched linear systems, SIAM Journal on Control and Optimization, vol.45, issue.5, pp.1915-1930, 2006. ,
Dual matrix inequalities in stability and performance analysis of linear differential/difference inclusions, Current Trends in Nonlinear Systems and Control, pp.103-122, 2006. ,
, Hybrid Dynamical Systems: Modeling, Stability, and Robustness, 2012.
Conjugate convex Lyapunov functions for dual linear differential inclusions, IEEE Transactions on Automatic Control, vol.51, issue.4, pp.661-666, 2006. ,
Preasymptotic stability and homogeneous approximations of hybrid dynamical systems, SIAM Review, vol.52, issue.1, pp.87-109, 2010. ,
Quadratic Lyapunov functions for systems with state-dependent switching, Linear Algebra and its Applications, vol.433, issue.1, pp.52-63, 2010. ,
A nonsmooth Lyapunov function and stability for ODEs of Caratheodory type, Nonlinear Analysis: Theory, Methods and Applications, vol.69, pp.337-342, 2008. ,
Input-to-state stability and interconnections of discontinuous dynamical systems, Automatica, vol.44, issue.12, pp.3079-3086, 2008. ,
Input-to-state stability of discontinuous dynamical systems with an observer-based control application, International Workshop on Hybrid Systems: Computation and Control, pp.259-272, 2007. ,
The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.278-292, 1996. ,
L 2 -induced gains of switched linear systems, Unsolved Problems in Mathematical Systems & Control Theory, pp.131-133, 2003. ,
Introduction to Set Theory, 1999. ,
Non-conservative matrix inequality conditions for stability/stabilizability of linear differential inclusions, Automatica, vol.46, issue.1, pp.190-196, 2010. ,
Stabilization of switched systems via composite quadratic functions, IEEE Transactions on Automatic Control, vol.53, issue.11, pp.2571-2585, 2008. ,
Lyapunov stability for piecewise affine systems via cone-copositivity, Automatica, vol.81, pp.22-29, 2017. ,
Asymptotic stability of piecewise affine systems with Filippov solutions via discontinuous piecewise Lyapunov function, IEEE Transactions on Automatic Control, 2020. ,
An intuitive modification of max-separable Lyapunov functions to cover non-ISS systems, Automatica, vol.107, pp.518-525, 2019. ,
Robust stability of networks of iISS systems: Construction of sum-type Lyapunov functions, IEEE Transactions on Automatic Control, vol.58, issue.5, pp.1192-1207, 2013. ,
Input-to-state stability of differential inclusions with applications to hysteretic and quantized feedback systems, SIAM Journal on Control and Optimization, vol.48, issue.2, pp.1031-1054, 2009. ,
A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems, Automatica, vol.32, issue.8, pp.1211-1215, 1996. ,
Small-gain theorem for ISS systems and applications, Mathematics of Control, Signals, & Systems, vol.7, pp.95-120, 1994. ,
Computation of piecewise quadratic Lyapunov functions for hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.555-559, 1998. ,
On reduction of differential inclusions and Lyapunov stability, ESAIM: COCV, vol.26, issue.24, p.2020 ,
Invariance-like results for nonautonomous switched systems, IEEE Transactions on Automatic Control, vol.64, issue.2, pp.614-627, 2019. ,
A compendium of comparison function results, Mathematics of Control, Signals, and Systems, vol.26, issue.3, pp.339-374, 2014. ,
Classical converse theorems in Lyapunov's second method, Discrete and Continuous Dynamical Systems Series B, vol.20, issue.8, pp.2333-2360, 2015. ,
Nonlinear Systems, 2002. ,
Stability and performance analysis of saturated systems using an enhanced max quadratic Lyapunov function, Proceedings of the 20th IFAC World Congress, pp.11847-11852, 2017. ,
Switching in systems and control, 2003. ,
Lyapunov-based small-gain theorems for hybrid systems, IEEE Transactions on Automatic Control, vol.59, issue.6, pp.1395-1410, 2014. ,
A smooth converse Lyapunov theorem for robust stability, SIAM Journal on Control and Optimization, vol.34, issue.1, pp.124-160, 1996. ,
Global stability and asymptotic gain imply input-tostate stability for state-dependent switched systems, 57th IEEE Conference on Decision and Control (CDC), pp.2360-2365, 2018. ,
Piecewise quadratic Lyapunov functions for linear control systems with first order reset elements, IFAC Proceedings Volumes, vol.43, pp.807-812, 2010. ,
A condition for the stability of switched nonlinear systems, IEEE Transactions on Automatic Control, vol.45, issue.11, pp.2077-2079, 2000. ,
Common polynomial Lyapunov functions for linear switched systems, SIAM Journal on Optimization and Control, vol.45, issue.1, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-02320784
Comparison between classes of statequadratic Lyapunov functions for discrete-time linear polytopic and switched systems, Systems and Control Letters, vol.61, issue.11, pp.1062-1068, 2012. ,
URL : https://hal.archives-ouvertes.fr/inria-00629245
Criteria of asymptotic stability of differential and difference inclusions encountered in control theory, Systems and Control Letters, vol.13, issue.1, pp.59-64, 1989. ,
Supervisory control of families of linear set-point controllers -Part I. exact matching, IEEE Transactions on Automatic Control, vol.41, issue.10, pp.1413-1431, 1996. ,
A common Lyapunov function for stable LTI systems with commuting A-matrices, IEEE Transactions on Automatic Control, vol.39, issue.12, pp.2469-2471, 1994. ,
Finite-gain L p stability for hybrid dynamical systems, Automatica, vol.49, issue.8, pp.2384-2396, 2013. ,
Stability and performance of SISO control systems with first-order reset elements, IEEE Transactions on Automatic Control, vol.56, pp.2567-2582, 2011. ,
Discrete piecewise linear functions, European Journal of Combinatorics, vol.31, issue.5, pp.1283-1294, 2010. ,
Piecewise smoothness, local invertibility, and parametric analysis of normal maps, Mathematics of Operations Research, vol.21, issue.2, pp.401-426, 1996. ,
Robust stability analysis of nonlinear hybrid systems, IEEE Transactions on Automatic Control, vol.54, issue.5, pp.1037-1043, 2009. ,
Hybrid system stability and robustness verification using linear matrix inequalities, International Journal of Control, vol.75, pp.1335-1355, 2002. ,
On pathcomplete Lyapunov functions: Geometry and comparison, IEEE Transactions on Automatic Control, vol.64, issue.5, pp.1947-1957, 2019. ,
Analysis and synthesis of reset control systems, Foundations and Trends in Systems and Control, vol.6, pp.117-338, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02005357
Semiconcave control-Lyapunov functions and stabilizing feedbacks, SIAM Journal on Control and Optimization, vol.41, issue.3, pp.659-681, 2002. ,
Favorable classes of Lipschitz continuous functions in subgradient optimization, 1981. ,
Variational Analysis, volume 317 of Gundlehren der mathematischen Wissenchaften, 1998. ,
Homogeneous Lyapunov function for homogeneous continuous vector field, Systems and Control Letters, vol.19, issue.6, pp.467-473, 1992. ,
Well-distributed measurable sets, The American Mathematical Monthly, vol.90, issue.1, pp.41-42, 1983. ,
Input-output-to-state stability tools for hybrid systems and their interconnections, IEEE Transactions on Automatic Control, vol.59, issue.5, pp.1360-1366, 2014. ,
Invariance principles for hybrid systems with connections to detectability and asymptotic stability, IEEE Transactions on Automatic Control, vol.52, issue.12, pp.2282-2297, 2007. ,
Introduction to Piecewise Differentiable Equations. Springer Briefs in Optimization, 2012. ,
A nonsmooth hybrid invariance principle applied to robust event-triggered design, IEEE Transactions on Automatic Control, vol.64, issue.5, pp.2061-2068, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01526331
Lyapunov stability theory of nonsmooth systems, IEEE Transactions on Automatic Control, vol.39, issue.9, pp.1910-1914, 1994. ,
URL : https://hal.archives-ouvertes.fr/hal-01634266
Stability criteria for switched and hybrid systems, SIAM Review, vol.49, issue.4, pp.545-592, 2007. ,
Introduction to the Theory of Differential Inclusions, 2002. ,
Smooth stabilization implies coprime factorization, IEEE Transactions on Automatic Control, vol.34, issue.4, pp.435-443, 1989. ,
A Lyapunov-like characterization of asymptotic controllability, SIAM Journal on Control and Optimization, vol.21, pp.462-471, 1983. ,
Changing supply functions in input/state stable systems, IEEE Transactions on Automatic Control, vol.40, issue.8, pp.1476-1478, 1995. ,
On characterizations of the input-to-state stability property, Syst. Control Lett, vol.24, issue.5, pp.351-359, 1995. ,
On using norm estimators for eventtriggered control with dynamic output feedback, 54th IEEE Conference on Decision and Control (CDC), pp.5500-5505, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01238648
Lyapunov-based sufficient conditions for exponential stability in hybrid systems, IEEE Transactions on Automatic Control, vol.58, issue.6, pp.1591-1596, 2013. ,
On assigning the derivative of a disturbance attenuation control Lyapunov function, Mathematics of Controls, Signals, and Systems, vol.13, pp.95-124, 2000. ,
A smooth Lyapunov function from a class-KL estimate involving two positive semidefinite functions. ESAIM: Control, Optimisation and Calculus of Variations, vol.5, pp.313-367, 2000. ,
Homogeneous hybrid systems and a converse Lyapunov theorem, Proceedings of the 45th IEEE Conference on Decision and Control, pp.6235-6240, 2006. ,
Entrainement unilateral, lignes de descente, fonctions Lipschitziennes non pathologiques, CRAS Paris, vol.308, pp.241-244, 1989. ,
An Introduction to Hybrid Dynamical Systems, Lecture Notes in Control and Information Sciences, vol.251, 2000. ,
Input-to-state stability of switched systems and switching adaptive control, Automatica, vol.43, issue.4, pp.639-646, 2007. ,
A converse Lyapunov theorem for linear parameter-varying and linear switching systems, SIAM Journal on Control and Optimization, vol.44, issue.1, pp.210-239, 2005. ,
Piecewise Lyapunov functions for robust stability of linear time-varying systems, Systems & Control Letters, vol.31, issue.3, pp.165-171, 1997. ,
Irredundant lattice representations of continuous piecewise affine functions, Automatica, vol.70, pp.109-120, 2016. ,
A Lyapunov-based small-gain theorem for interconnected switched systems, Systems & Control Letters, vol.78, pp.47-54, 2015. ,
Analytical and numerical Lyapunov functions for siso linear control systems with first-order reset elements, International Journal of Robust and Nonlinear Control, vol.21, issue.10, pp.1134-1158, 2011. ,
ISS Lyapunov functions for cascade switched systems and sampled-data control, Automatica, vol.105, pp.216-227, 2019. ,