Decidability ofhybrid systems with rectangular di erential inclusions (1994)

by A Puri, P Varaiya
Venue:In Proceedings of CAV: Computer-Aided Veri cation, Lecture Notes in Computer Science 818