PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD

LAURENT FRIBOURG, ULRICH KÜHNE
2013 International Journal of Foundations of Computer Science  
Hybrid systems combine continuous and discrete behavior. Hybrid Automata are a powerful formalism for the modeling and verification of such systems. A common problem in hybrid system verification is the good parameters problem, which consists in identifying a set of parameter valuations which guarantee a certain behavior of a system. Recently, a method has been presented for attacking this problem for Timed Automata. In this paper, we show the extension of this methodology for hybrid automata
more » ... th linear and affine dynamics. The method is demonstrated with a hybrid system benchmark from the literature.
doi:10.1142/s0129054113400091 fatcat:qviqf7rwujejfezdw33vgb2cue