Computationally Efficient Sampling-Based Algorithm for Stability Analysis of Nonlinear Systems (2405.13750v1)
Abstract: For complex nonlinear systems, it is challenging to design algorithms that are fast, scalable, and give an accurate approximation of the stability region. This paper proposes a sampling-based approach to address these challenges. By extending the parametrization of quadratic Lyapunov functions with the system dynamics and formulating an $\ell_1$ optimization to maximize the invariant set over a grid of the state space, we arrive at a computationally efficient algorithm that estimates the domain of attraction (DOA) of nonlinear systems accurately by using only linear programming. The scalability of the Lyapunov function synthesis is further improved by combining the algorithm with ADMM-based parallelization. To resolve the inherent approximative nature of grid-based techniques, a small-scale nonlinear optimization is proposed. The performance of the algorithm is evaluated and compared to state-of-the-art solutions on several numerical examples.
- P. A. Parillo, “Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization,” Ph.D. dissertation, California Institute of Technology, 2000.
- A. Trofino and T. Dezuo, “LMI stability conditions for uncertain rational nonlinear systems,” International Journal of Robust and Nonlinear Control, vol. 24, no. 18, pp. 3124–3169, 2014.
- P. Polcz, “Computational analysis of nonlinear uncertain systems,” Ph.D. dissertation, Pázmány Péter Catholic University, 2021.
- D. Ahmed, A. Peruffo, and A. Abate, “Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers,” in Tools and Algorithms for the Construction and Analysis of Systems, 2020, pp. 97–114.
- R. Bobiti and M. Lazar, “A sampling approach to finding Lyapunov functions for nonlinear discrete-time systems,” in Proc. of the European Control Conference, 2016, pp. 561–566.
- L. L. Fernandes, M. Jones, L. Alberto, M. Peet, and D. Dotta, “Combining Trajectory Data With Analytical Lyapunov Functions for Improved Region of Attraction Estimation,” IEEE Control Systems Letters, vol. 7, pp. 271–276, 2023.
- H. Ravanbakhsh and S. Sankaranarayanan, “Learning Control Lyapunov Functions from Counterexamples and Demonstrations,” Autonomous Robots, vol. 43, no. 2, pp. 275–307, 2019.
- S. Chen, M. Fazlyab, M. Morari, G. J. Pappas, and V. M. Preciado, “Learning region of attraction for nonlinear systems,” in Proc. of the 60th IEEE Conference on Decision and Control, 2021, pp. 6477–6484.
- A. A. Ahmadi and P. A. Parrilo, “Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems,” in Proc. of the 47th IEEE Conference on Decision and Control, 2008, pp. 614–621.
- A. A. Ahmadi, “Non-monotonic Lyapunov Functions for Stability of Nonlinear and Switched Systems: Theory and Computation,” Master’s thesis, Massachusetts Institute of Technology, 2008.
- C. Dawson, S. Gao, and C. Fan, “Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control,” IEEE Transactions on Robotics, vol. 39, no. 3, pp. 1749–1767, 2023.
- N. Gaby, F. Zhang, and X. Ye, “Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation,” in Proc. of the 61st IEEE Conference on Decision and Control, 2022, pp. 2091–2096.
- S. M. Richards, F. Berkenkamp, and A. Krause, “The Lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems,” in Proc. of the Conference on Robot Learning, 2018, pp. 466–476.
- L. Grüne and M. Sperl, “Examples for separable control Lyapunov functions and their neural network approximation,” in Proc. of the 12th IFAC Symposium on Nonlinear Control Systems, 2023, pp. 19–24.
- J. A. E. Andersson, J. Gillis, G. Horn, J. B. Rawlings, and M. Diehl, “CasADi – A software framework for nonlinear optimization and optimal control,” Mathematical Programming Computation, vol. 11, no. 1, pp. 1–36, 2019.
- S. Boyd, “Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers,” Foundations and Trends in Machine Learning, vol. 3, no. 1, pp. 1–122, 2010.