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