A new class of decidable hybrid systems. (1999)

by G LAFFERRIERE, G J PAPPAS, S YOVINE
Venue:In Proceedings of the 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC’99).