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

Goran Frehse Sumit Kumar Jha Bruce H. Krogh

Published in: HSCC (2008)

Keyphrases

hybrid automata
linear model
finite state automata
model checking
transfer function
database
input parameters
closed form solutions
linear systems
program synthesis