A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata

DOI10.1007/978-3-540-78929-1_14zbMath1143.68435OpenAlexW1830944000MaRDI QIDQ3523107

Sumit Kumar Jha, Goran Frehse, Bruce H. Krogh

Publication date: 2 September 2008

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-78929-1_14

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (11)

Model measuring for discrete and hybrid systems ⋮ Data-driven and model-based verification via Bayesian identification and reachability analysis ⋮ Symbolic analysis of linear hybrid automata -- 25 years later ⋮ Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata ⋮ PTIME parametric verification of safety properties for reasonable linear hybrid automata ⋮ 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 ⋮ Parameter Synthesis Through Temporal Logic Specifications ⋮ Parameter Synthesis for Hybrid Systems with an Application to Simulink Models ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*

This page was built for publication: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata