Stability Certification of Dynamical Systems: Lyapunov Logic Learning Machine

被引:2
|
作者
Maurizio, Mongelli [1 ]
Vanessa, Orani [1 ]
机构
[1] Natl Res Council Italy CNR, IEIIT Inst, Genoa, Italy
关键词
D O I
10.1007/978-981-33-6173-7_15
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The stability of the dynamical system is associated with the concept of Region of Attraction (ROA), whose accurate estimation opens the door to multidisciplinary approaches involving control theory and machine learning. The Lyapunov theory provides sufficient conditions for stability and it can be applied to derive the ROA. However, finding the appropriate Lyapunov functions for accurate ROA estimation often is a major issue. The inherent region may be overly tight or, in the case of a multi-dimensional dynamical system, be difficult to understand in virtue of the inherent mathematical complexity (e.g., polynomials with high degree). The use of explainable machine learning overcomes this issue, by exploiting the model intelligibility to describe the ROA in terms of states. In this perspective, explainable machine learning and Lyapunov stability theory are jointly studied to let the ROA be intelligible and to simplify the optimization procedure for constructing positively invariant estimates of the ROA. Results on the Van der Pol oscillator show how this may lead to larger ROAs than via traditional methods.
引用
收藏
页码:221 / 235
页数:15
相关论文
共 50 条
  • [1] Lyapunov stability and orbital stability of dynamical systems
    Kalitin, BS
    [J]. DIFFERENTIAL EQUATIONS, 2004, 40 (08) : 1096 - 1105
  • [2] Lyapunov Stability and Orbital Stability of Dynamical Systems
    B. S. Kalitin
    [J]. Differential Equations, 2004, 40 : 1096 - 1105
  • [3] ON THE LYAPUNOV STABILITY THEORY FOR IMPULSIVE DYNAMICAL SYSTEMS
    Bonotto, Everaldo Mello
    Souto, Ginnara M.
    [J]. TOPOLOGICAL METHODS IN NONLINEAR ANALYSIS, 2019, 53 (01) : 127 - 150
  • [4] Lyapunov type stability and Lyapunov exponent for exemplary multiplicative dynamical systems
    Dorota Aniszewska
    Marek Rybaczuk
    [J]. Nonlinear Dynamics, 2008, 54 : 345 - 354
  • [5] Lyapunov type stability and Lyapunov exponent for exemplary multiplicative dynamical systems
    Aniszewska, Dorota
    Rybaczuk, Marek
    [J]. NONLINEAR DYNAMICS, 2008, 54 (04) : 345 - 354
  • [6] Stability of Fuzzy Dynamical Systems via Lyapunov Functions
    El Allaoui, Abdelati
    Melliani, Said
    Chadli, Lalla Saadia
    [J]. INTERNATIONAL JOURNAL OF DIFFERENTIAL EQUATIONS, 2020, 2020
  • [7] Stability of retarded dynamical systems: A Lyapunov function approach
    Xu, BG
    [J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2001, 253 (02) : 590 - 615
  • [8] Lyapunov stability analysis of linear singular dynamical systems
    Chen, CT
    Liu, YQ
    [J]. 1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 635 - 639
  • [9] Initial Application of SONC to Lyapunov Stability of Dynamical Systems
    Heuer, Janin
    de Wolff, Timo
    [J]. PROCEEDINGS OF THE 2024 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2024, 2024, : 361 - 370
  • [10] Machine Learning in Nonlinear Dynamical Systems
    Roy, Sayan
    Rana, Debanjan
    [J]. RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2021, 26 (07): : 953 - 970