Discrete approximation and supervisory control of continuous systems
- 1 April 1998
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 43 (4) , 569-573
- https://doi.org/10.1109/9.664160
Abstract
Addresses the following hybrid control problem: a continuous plant (its state evolving in Euclidean space) is to be controlled via symbolic output feedback-both measurement and control signal "live" on finite sets of symbols. We adopt the following approach: the hybrid problem is first translated into a purely discrete problem by approximating the continuous plant model by a (nondeterministic) finite-state machine. By taking into account past measurement and control symbols, approximation accuracy can be improved and adjusted to the specification requirements. Supervisory control theory for discrete-event systems (DES) is then applied to find the optimal controller which enforces the specifications. As the behavior of the approximating automaton is guaranteed to contain the behavior of the underlying continuous plant model, the controller also forces the latter to obey the specifications.Keywords
This publication has 11 references indexed in Scilit:
- Synthesis of supervisory controllers for hybrid systems based on approximating automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A totally ordered set of discrete abstractions for a given hybrid or continuous systemPublished by Springer Nature ,1997
- A DES approach to control of hybrid dynamical systemsPublished by Springer Nature ,1996
- On dynamically consistent hybrid systemsPublished by Springer Nature ,1995
- Control of continuous plants by symbolic output feedbackPublished by Springer Nature ,1995
- Hybrid Systems IIPublished by Springer Nature ,1995
- Qualitative modelling of linear dynamical systems with quantized state measurementsAutomatica, 1994
- Supervisory control of timed discrete-event systemsIEEE Transactions on Automatic Control, 1994
- Paradigms and puzzles in the theory of dynamical systemsIEEE Transactions on Automatic Control, 1991
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987