Deductive Verification of Continuous Dynamical Systems
From MaRDI portal
Publication:2920146
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
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
