Computational techniques for hybrid system verification. (2003)

by A Chutinan, B H Krogh
Venue:IEEE Trans. Autom. Control,