Title: Compositional Abstractions of Hybrid Control Systems
Kind : Journal Papers
Published In: Journal of Discrete Event Dynamic Systems, Volume 14, Issue 2
Year : 2004
Authors : G. J. Pappas
Pedro Manuel Urbano de Almeida Lima
Paulo Jorge Ramalho Oliveira
P. Tabuada
Lab : Intelligent Robots and Systems Group (IRSg)