Tools for the Analysis of Hybrid Models
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic · 2013
This chapter contains sections titled: Introduction Hybrid automata and reachability Linear hybrid automata Piecewise affine hybrid systems Hybridization techniques for reachability computations Bibliography