Compositional abstractions of hybrid control systems (0)

by P Tabuada, G J Pappas, P Lima
Venue:J. of Discrete Event Dynamic Systems: Theory and Applications