The Image Computation Problem in Hybrid Systems Model Checking
DOI10.1007/978-3-540-71493-4_37zbMATH Open1221.93118OpenAlexW2154128151MaRDI QIDQ3612995FDOQ3612995
Authors: André Platzer, Edmund 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
Recommendations
- Computer Aided Verification
- Efficient image computation in infinite state model checking.
- scientific article; zbMATH DE number 1670789
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 1303060
- Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
- Improving HyLTL model checking of hybrid systems
- A compositional approach to the verification of hybrid systems
- Computational techniques for hybrid system verification
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) Application models in control theory (93C95)
Cited In (16)
- Differential dynamic logic for hybrid systems
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Computing differential invariants of hybrid systems as fixed points
- Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Verification of Hybrid Systems
- Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems
- Efficient image computation in infinite state model checking.
- Quantifier-free encoding of invariants for hybrid systems
- Verifiably safe exploration for end-to-end reinforcement learning
- Superposition modulo non-linear arithmetic
- A formal framework for Hybrid Event B
- Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems
- 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
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for publication: The Image Computation Problem in Hybrid Systems Model Checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612995)
