Composing Abstractions of Hybrid Systems
Title: | Composing Abstractions of Hybrid Systems |
---|---|
Kind : | Conference Papers |
Published In: | Proceedings of the Hybrid Systems: Computation and Control, 5th Int. Workshop, Stanford, CA |
Year : | 2002 |
Authors : |
P. Tabuada G. J. Pappas Pedro Manuel Urbano de Almeida Lima |
Lab : | Intelligent Robots and Systems Group (IRSg) |
Publication Partners: | P. Tabuada,G. J. Pappas |
File : | Open File |