Supervisory control of hybrid systems
Top Cited Papers
- 1 July 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 88 (7) , 1026-1049
- https://doi.org/10.1109/5.871307
Abstract
In this paper, the supervisory control of hybrid systems is introduced and discussed at length. Such control systems typically arise in the computer control of continuous processes, for example, in manufacturing and chemical processes, in transportation systems, and in communication networks. A functional architecture of hybrid control systems consisting of a continuous plant, a discrete-event controller, and an interface is used to introduce and describe analysis and synthesis concepts and approaches. Our approach highlights the interaction between the continuous and discrete dynamics, which is the cornerstone of any hybrid system study. Discrete abstractions are used to approximate the continuous plant. Properties of the discrete abstractions to be appropriate representations of the continuous plant are presented, and important concepts such as determinism and controllability are discussed. Supervisory control design methodologies are presented to satisfy control specifications described by formal languages. Several examples are used throughout the paper to illustrate our approach.Keywords
This publication has 55 references indexed in Scilit:
- Intelligent ControlPublished by Wiley ,1999
- Basic problems in stability and design of switched systemsIEEE Control Systems, 1999
- Supervisory hybrid systemsIEEE Control Systems, 1999
- Synthesis of supervisory controllers for hybrid systems based on approximating automataIEEE Transactions on Automatic Control, 1998
- Hierarchical hybrid control systems: a lattice theoretic formulationIEEE Transactions on Automatic Control, 1998
- Supervisory control of families of linear set-point controllers - Part I. Exact matchingIEEE Transactions on Automatic Control, 1996
- ε-Approximation of differential inclusionsPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Inductively inferring valid logical models of continuous-state dynamical systemsTheoretical Computer Science, 1995
- On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systemsIEEE Transactions on Automatic Control, 1995