Automatic Verification of Stability and Safety for Delay Differential Equations
Abstract elided by the publisher.
Related papers
- Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations CAV 2019
- Deductive Stability Proofs for Ordinary Differential Equations TACAS 2021
- Inner and Outer Approximating Flowpipes for Delay Differential Equations CAV 2018
- Verifying Safety Properties of Differential Equations CAV 1996
- Unbounded-Time Safety Verification of Stochastic Differential Dynamics CAV 2020
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017
- Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE 2023
- VeriPhy: verified controller executables from verified cyber-physical system models PLDI 2018