The discrete time behavior of lazy linear hybrid automata (0)

by M Agrawal, P S Thiagarajan
Venue:In Proceedings of Hybrid Systems: Computation and Control, 8th International Workshop, HSCC, M. Morari and L. Thiele, Eds. Lecture Notes in Computer Science Series