Paulo Tabuada
Former Collaborator
This author has not yet filled in any details.
[1] PauloTabuada, George J. Pappas, Pedro Lima, Carlos Silvestre, "Compositional Abstractions of Hybrid Control Systems", Proc. CDC200 - 40th IEEE Conference on Decision and Control, Orlando, FL, USA, 2001 - PDF