Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
From MaRDI portal
Recommendations
Cites work
Cited in
(39)- Differential dynamic logic for hybrid systems
- Compositional abstraction refinement for control synthesis
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- Abstraction based verification of stability of polyhedral switched systems
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
- Efficient dynamic error reduction for hybrid systems reachability analysis
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Counterexample-guided predicate abstraction of hybrid systems
- Taylor approximation for hybrid systems
- Abstractions for hybrid systems
- On the relationships between models in protocol verification
- Hybrid control of networked embedded systems
- Deadness and how to disprove liveness in hybrid dynamical systems
- scientific article; zbMATH DE number 1617333 (Why is no real title available?)
- Template-based unbounded time verification of affine hybrid automata
- Incremental computation of succinct abstractions for hybrid systems
- Verification of Hybrid Systems
- Counterexample-Guided Refinement of Template Polyhedra
- GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
- Falsification of LTL Safety Properties in Hybrid Systems
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- Finite abstractions for hybrid systems with stable continuous dynamics
- scientific article; zbMATH DE number 1956581 (Why is no real title available?)
- scientific article; zbMATH DE number 1956582 (Why is no real title available?)
- scientific article; zbMATH DE number 1956618 (Why is no real title available?)
- Counterexample guided abstraction refinement for stability analysis
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
- Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models
- Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
- Language-Based Abstraction Refinement for Hybrid System Verification
- Hybrid Systems: Computation and Control
- A type-based analysis of causality loops in hybrid systems modelers
- Stability analysis of planar probabilistic piecewise constant derivative systems
- The minimum principle of hybrid optimal control theory
- Porous invariants for linear systems
- Porous invariants
- Hybridization methods for the analysis of nonlinear systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
This page was built for publication: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696927)
