Numerically-robust inductive proof rules for continuous dynamical systems

DOI10.1007/978-3-030-25543-5_9OpenAlexW2962017367MaRDI QIDQ6154877FDOQ6154877

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)

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

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

Mathematics Subject Classification ID

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

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)