Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method [chapter]

Laurent Fribourg, Ulrich Kühne
2011 Lecture Notes in 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.1007/978-3-642-24288-5_17 fatcat:upf3uyexfjgn7mtq3as3w3bfxu