Polynomial Lyapunov Functions and Invariant Sets from a New Hierarchy of Quadratic Lyapunov Functions for LTV Systems (2401.13128v1)
Abstract: We introduce a new class of quadratic functions based on a hierarchy of linear time-varying (LTV) dynamical systems. These quadratic functions in the higher order space can be also seen as a non-homogeneous polynomial Lyapunov functions for the original system, i.e the first system in the hierarchy. These non-homogeneous polynomials are used to obtain accurate outer approximation for the reachable set given the initial condition and less conservative bounds for the impulse response peak of linear, possibly time-varying systems. In addition, we pose an extension to the presented approach to construct invariant sets that are not necessarily Lyapunov functions. The introduced methods are based on elementary linear systems theory and offer very much flexibility in defining arbitrary polynomial Lyapunov functions and invariant sets for LTV systems.
- SIAM, 1994.
- A. A. Ahmadi and P. A. Parrilo, “Sum of squares certificates for stability of planar, homogeneous, and switched systems,” IEEE Transactions on Automatic Control, vol. 62, no. 10, pp. 5269–5274, 2017.
- P. Mason, U. Boscain, and Y. Chitour, “Common polynomial Lyapunov functions for linear switched systems,” SIAM journal on control and optimization, vol. 45, no. 1, pp. 226–245, 2006.
- Springer, 2003.
- A. Zelentsovsky, “Nonquadratic Lyapunov functions for robust stability analysis of linear uncertain systems,” IEEE Transactions on Automatic control, vol. 39, no. 1, pp. 135–138, 1994.
- M. Abate, C. Klett, S. Coogan, and E. Feron, “Lyapunov differential equation hierarchy and polynomial Lyapunov functions for switched linear systems,” in 2020 American Control Conference (ACC), pp. 5322–5327, IEEE, 2020.
- P. A. Parrilo, “Semidefinite programming relaxations for semialgebraic problems,” Mathematical programming, vol. 96, pp. 293–320, 2003.
- Z. Jarvis-Wloszek, R. Feeley, W. Tan, K. Sun, and A. Packard, “Control applications of sum of squares programming,” Positive polynomials in control, pp. 3–22, 2005.
- P. A. Parrilo, Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. California Institute of Technology, 2000.
- J. Abedor, K. Nagpal, and K. Poolla, “A linear matrix inequality approach to peak-to-peak gain minimization,” International Journal of Robust and Nonlinear Control, vol. 6, no. 9-10, pp. 899–927, 1996.
- F. Blanchini, “Nonquadratic Lyapunov functions for robust control,” Automatica, vol. 31, no. 3, pp. 451–461, 1995.
- M. Abate, C. Klett, S. Coogan, and E. Feron, “Pointwise-in-time analysis and non-quadratic Lyapunov functions for linear time-varying systems,” in 2021 American Control Conference (ACC), pp. 3550–3555, IEEE, 2021.
- H. Abdelraouf, G.-Y. Immanuel, and E. Feron, “Computing bounds on l∞subscript𝑙l_{\infty}italic_l start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT-induced norm for linear time-invariant systems using homogeneous Lyapunov functions,” arXiv preprint arXiv:2203.00716, 2022.
- H. Lin and P. J. Antsaklis, “Stability and stabilizability of switched linear systems: a survey of recent results,” IEEE Transactions on Automatic control, vol. 54, no. 2, pp. 308–322, 2009.
- Springer Science & Business Media, 2009.
- L. Vandenberghe and S. Boyd, “A polynomial-time algorithm for determining quadratic Lyapunov functions for nonlinear systems,” in Eur. Conf. Circuit Th. and Design, pp. 1065–1068, 1993.
- M. Grant and S. Boyd, “Cvx: Matlab software for disciplined convex programming, version 2.1,” 2014.
- E. Feron, “Linear matrix inequalities for the problem of absolute stability of control systems,” Ph.D. Thesis, Stanford University, 1994.
- C. Klett, M. Abate, S. Coogan, and E. Feron, “A numerical method to compute stability margins of switching linear systems,” in 2021 American Control Conference (ACC), pp. 864–869, IEEE, 2021.
- H. Abdelraouf, E. Feron, and J. Shamma, “Algebraic Lyapunov functions for homogeneous dynamic systems,” arXiv preprint arXiv:2303.02185, 2023.