Approximate reachability analysis of piecewise-linear dynamical systems,” in (2000)

by E Asarin, O Bournez, T Dang, O Maler
Venue:Proc. Hybrid Syst.: Computat. Control,