Deductive Verification of Continuous Dynamical Systems

DOI10.4230/LIPIcs.FSTTCS.2009.2334zbMath1248.68336OpenAlexW1520660718MaRDI QIDQ2920146

Ankur Taly, Ashish Kumar Tiwari

Publication date: 24 October 2012

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

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)

Related Items (10)

Characterizing positively invariant sets: inductive and topological methods ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Exact safety verification of hybrid systems using sums-of-squares representation ⋮ Barrier certificates revisited ⋮ A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets ⋮ Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants

This page was built for publication: Deductive Verification of Continuous Dynamical Systems