Counter-example guided predicate abstraction of hybrid systems
From MaRDI portal
Recommendations
- Counterexample-guided predicate abstraction of hybrid systems
- scientific article; zbMATH DE number 2085314
- Progress on reachability analysis of hybrid systems using predicate abstraction
- Verification of hybrid systems based on counterexample-guided abstraction refinement
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
Cited in
(17)- Limit cycle analysis of a class of hybrid gene regulatory networks
- Abstraction based verification of stability of polyhedral switched systems
- Counterexample-guided predicate abstraction of hybrid systems
- Abstractions for hybrid systems
- Counterexample-Guided Refinement of Template Polyhedra
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
- Reachability analysis of delta-notch lateral inhibition using predicate abstraction
- Verification of hybrid systems based on counterexample-guided abstraction refinement
- Counter-example based predicate discovery in predicate abstraction
- scientific article; zbMATH DE number 2085314 (Why is no real title available?)
- Competent predicate abstraction in model checking
- Formal Methods in Computer-Aided Design
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Hybrid Systems: Computation and Control
- Stability analysis of planar probabilistic piecewise constant derivative systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Change-of-bases abstractions for non-linear hybrid systems
This page was built for publication: Counter-example guided predicate abstraction of hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417924)
