Computational techniques for hybrid system verification (2003)

by A Chutinan, B H Krogh
Venue:IEEE Transactions on Automatic Control