Notes on Recent Achievements in Proving Stability using KeYmaeraX

DOI10.18255/1818-1015-2021-4-326-336MaRDI QIDQ5870861zbMATH OpenOpenAlexFDO

Authors Thomas Baar, H. Schulte

Publication date 24 January 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

control theorycyber physical systemimperative programming languageLyapunov function

Mathematics Subject Classification ID

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

Cites work

• Algorithmic Construction of Lyapunov Functions for Power System Stability Analysis
• An axiomatic basis for computer programming
• Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
• Deductive stability proofs for ordinary differential equations
• scientific article; zbMATH DE number 432503 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Local stability analysis using simulations and sum-of-squares programming
• Logical foundations of cyber-physical systems
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
• Stability theory of switched dynamical systems
• Switching in systems and control

This page was built for publication: Notes on Recent Achievements in Proving Stability using KeYmaeraX

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5870861)