Deductive verification of continuous dynamical systems

DOI10.4230/LIPICS.FSTTCS.2009.2334zbMATH Open1248.68336OpenAlexW1520660718MaRDI QIDQ2920146FDOQ2920146

Authors: Ankur Taly, Ashish Tiwari 

Publication date: 24 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_ee1b.html

Recommendations

• A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
• A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
• A method for invariant generation for polynomial continuous systems
• Logics of dynamical systems
• Computing Differential Invariants of Hybrid Systems as Fixedpoints

zbMATH Keywords

deductive verificationtheory of realsinductive invariantscontinuous and hybrid dynamical systems

Mathematics Subject Classification ID

Dynamics induced by flows and semiflows (37C10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of dynamical systems (37N99)

Cited In (15)

• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems
• Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
• Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants
• Model verification in dynamics through strict upper error bounds
• Characterizing positively invariant sets: inductive and topological methods
• Formal Modelling, Analysis and Verification of Hybrid Systems
• Proving properties of continuous systems: Qualitative simulation and temporal logic
• Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
• On converse zeroing barrier functions
• Deductive verification of alternating systems
• Barrier certificates revisited
• Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
• Exact safety verification of hybrid systems using sums-of-squares representation
• A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets

This page was built for publication: Deductive verification of continuous dynamical systems

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