Generating polynomial invariants for hybrid systems (2005)

by E Rodŕıguez-Carbonell, A Tiwari
Venue:In HSCC 2005, volume 3414 of LNCS