Title: Hybrid abstractions that preserve timed languages
Kind : Conference Papers
Published In: in Hybrid Systems: Computation and Control, Fourth International Workshop, Rome, Italy
Year : 2001
Authors : Paulo Tabuada
G. J. Pappas
Lab : Intelligent Robots and Systems Group (IRSg)
Publication Partners: Paulo Tabuada,G. J. Pappas
File : Open File