Title :
Compositional abstractions of hybrid control systems
Author :
Tabuada, Paulo ; Pappas, George J. ; Lima, Pedro
Author_Institution :
Instituto de Sistemas e Robotica, Instituto Superior Tecnico, Lisbon, Portugal
Abstract :
Abstraction 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. 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
Keywords :
continuous time systems; control system analysis; control system synthesis; discrete systems; set theory; state-space methods; compositional abstractions; continuous systems; hybrid control systems; parallel composition; purely discrete systems; Automatic control; Computer science; Concurrent computing; Control system analysis; Control systems; Embedded system; Large-scale systems; Logic; Nonlinear control systems; Tail;
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
DOI :
10.1109/.2001.980125
