Skip to main content
Article
Composing Abstractions of Hybrid Systems
Departmental Papers (ESE)
  • Paulo Tabuada, Instituto Superior Técnico
  • George J Pappas, University of Pennsylvania
  • Pedro Lima, Instituto Superior Técnico
Document Type
Conference Paper
Date of this Version
3-25-2002
Comments
Postprint version. Published in Lecture Notes in Computer Science, Volume 2289, Hybrid Systems: Computation and Control: Proceedings of the 5th International Workshop, HSCC 2002, pages 436-450.
Publisher URL: http://springerlink.metapress.com/link.asp?id=105633
Abstract

The analysis and design of hybrid systems must exploit their hierarchical and compositional nature of in order to tackle complexity. In previous work, we presented a hierarchical abstraction framework for hybrid control systems based on the notions of simulation and bisimulation. In this paper, we build upon our previous work and investigate the compositionality of our abstraction framework. We present a composition operator that allows synchronization on inputs and states of hybrid systems. We then show that the composition operator is compatible with our abstraction framework in the sense that abstracting subsystems will the result in an abstraction of the overall system.

Citation Information
Paulo Tabuada, George J Pappas and Pedro Lima. "Composing Abstractions of Hybrid Systems" (2002)
Available at: http://works.bepress.com/george_pappas/22/