Notes on Recent Achievements in Proving Stability using KeYmaeraX

DOI10.18255/1818-1015-2021-4-326-336OpenAlexW4200018055MaRDI QIDQ5870861

Thomas Baar, Horst Schulte

Publication date: 24 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais755

zbMATH Keywords

Lyapunov functioncontrol theoryimperative programming languagecyber physical system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Stability theory of switched dynamical systems
• Local stability analysis using simulations and sum-of-squares programming
• Switching in systems and control
• Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
• Deductive stability proofs for ordinary differential equations
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
• Logical Foundations of Cyber-Physical Systems
• Algorithmic Construction of Lyapunov Functions for Power System Stability Analysis
• Hybrid Systems: Computation and Control
• An axiomatic basis for computer programming
• Hybrid Systems: Computation and Control