A Lyapunov-density criterion for almost everywhere stability of a class of Lipschitz continuous and almost everywhere \(C^{1}\) nonlinear systems. (English) Zbl 1317.93203
Summary: This paper is concerned with the analysis of Almost Everywhere Stability (AES) of a class of nonlinear systems via Lyapunov densities. While many of the previous results on Lyapunov densities assume that the vector field is continuously differentiable, this paper deals with nonlinear systems that can have points of non-differentiability. A key to prove AES is monotonicity of a measure defined with a Lyapunov density to deduce that the set of non-convergent initial values has zero Lebesgue measure. The monotonicity condition of a measure involves a change of variables in integrals of the Lyapunov density over a set. Such a change of variables along trajectories is not available for vector fields that are not globally continuously differentiable, even though they are smooth at almost all points of the state space. In this paper, an alternative inequality is presented that proves monotonicity of a measure along trajectories of a class of nonlinear systems that are Lipschitz continuous and almost everywhere continuously differentiable. Based on this inequality, we provide a sufficient condition for AES while guaranteeing positive invariance of a specified region.
MSC:
| 93D05 | Lyapunov and other classical stabilities (Lagrange, Poisson, \(L^p, l^p\), etc.) in control theory |
| 93C15 | Control/observation systems governed by ordinary differential equations |
| 93C10 | Nonlinear systems in control theory |
References:
| [1] | DOI: 10.1109/TAC.2004.829594 · Zbl 1365.93461 · doi:10.1109/TAC.2004.829594 |
| [2] | Khalil H.K., Nonlinear systems, 3. ed. (2002) |
| [3] | DOI: 10.1109/TAC.2008.917745 · Zbl 1367.93400 · doi:10.1109/TAC.2008.917745 |
| [4] | DOI: 10.1109/TAC.2007.900846 · Zbl 1366.93259 · doi:10.1109/TAC.2007.900846 |
| [5] | DOI: 10.1109/TAC.2003.809786 · Zbl 1364.34084 · doi:10.1109/TAC.2003.809786 |
| [6] | DOI: 10.1109/TAC.2003.823000 · Zbl 1365.93164 · doi:10.1109/TAC.2003.823000 |
| [7] | DOI: 10.1007/3-540-36106-5_20 · doi:10.1007/3-540-36106-5_20 |
| [8] | DOI: 10.1137/050645178 · Zbl 1147.93023 · doi:10.1137/050645178 |
| [9] | DOI: 10.1016/S0167-6911(00)00087-6 · Zbl 0974.93058 · doi:10.1016/S0167-6911(00)00087-6 |
| [10] | Rantzer A, Proceedings of the 41st IEEE Conference on Decision and Control pp 1890– (2002) · doi:10.1109/CDC.2002.1184801 |
| [11] | Rantzer A., Proceedings of the 2001 European Control Conference pp 2851– (2001) |
| [12] | Rantzer A., Proceedings of the 42nd IEEE Conference on Decision and Control pp 1218– (2003) |
| [13] | Takenouchi O., Lebesgue integral (1980) |
| [14] | DOI: 10.1137/040618850 · Zbl 1124.34033 · doi:10.1137/040618850 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
