Compositional Abstractions of Hybrid Control SystemsDepartmental Papers (ESE)
AbstractAbstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts an abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. In this paper we present a framework for abstraction that applies to abstract control systems capturing discrete, continuous, and hybrid systems. Parallel composition is presented in a categorical framework and an algorithm is proposed to construct abstractions of hybrid control systems. Finally, we show that our abstractions of hybrid systems are compositional.
Document TypeConference Paper
Date of this Version12-4-2001
Citation InformationPaulo Tabuada, George J Pappas and Pedro Lima. "Compositional Abstractions of Hybrid Control Systems" (2001)
Available at: http://works.bepress.com/george_pappas/92/