Compositional Abstractions of Hybrid Control Systems
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) |