Numerically-robust inductive proof rules for continuous dynamical systems

DOI10.1007/978-3-030-25543-5_9MaRDI QIDQ6154877zbMATH OpenOpenAlexFDO

Authors Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong

Publication date 16 February 2024

Published in Computer Aided Verification (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-25543-5_9

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Lyapunov and storage functions (93D30)

Recommendations

• Deductive verification of continuous dynamical systems
• A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
• A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
• Proofs from simulations and modular annotations
• Numerically-aided deductive safety proof for a powertrain control system

This page was built for publication: Numerically-robust inductive proof rules for continuous dynamical systems

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