The Image Computation Problem in Hybrid Systems Model Checking
From MaRDI portal
Publication:3612995
DOI10.1007/978-3-540-71493-4_37zbMath1221.93118OpenAlexW2154128151MaRDI QIDQ3612995
André Platzer, Edmund M. Clarke
Publication date: 11 March 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_37
Application models in control theory (93C95) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Superposition Modulo Non-linear Arithmetic, Verification of Hybrid Systems, Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems, Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes, Exact safety verification of hybrid systems using sums-of-squares representation, Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space, Computing Differential Invariants of Hybrid Systems as Fixedpoints, Verifiably safe exploration for end-to-end reinforcement learning, Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces, Quantifier-free encoding of invariants for hybrid systems, ModelPlex: verified runtime validation of verified cyber-physical system models, Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems, A formal framework for Hybrid Event B, Computing differential invariants of hybrid systems as fixed points, Differential dynamic logic for hybrid systems