Computational techniques for hybrid systems verification (0)

by A Chutinan, B H Krogh
Venue:IEEE T. Automatic Control