Constructing Invariants for Hybrid Systems (2004)

by S Sankaranarayanan, H Sipma, Z Manna
Venue:In Hybrid Systems: Computation and Control, LNCS 2993