A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
From MaRDI portal
Recommendations
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Towards efficient exact synthesis for linear hybrid systems
- Counterexample-Guided Refinement of Template Polyhedra
Cited in
(13)- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Model measuring for discrete and hybrid systems
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- Decidability of verification of safety properties of spatial families of linear hybrid automata
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Verification and parameter synthesis for real-time programs using refinement of trace abstraction
- Parameter synthesis through temporal logic specifications
- Parametric verification of weighted systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Hierarchical reasoning for the verification of parametric systems
- Symbolic analysis of linear hybrid automata -- 25 years later
- Membership-based synthesis of linear hybrid automata
This page was built for publication: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523107)
