Computational techniques for hybrid system verification (0)

by A Chutinan, B H Krogh
Venue:IEEE transactions on automatic control