Back to Search
Start Over
Supervisory Control of Hybrid Systems Under Partial Observation Based on $l$-Complete Approximations.
- Source :
- IEEE Transactions on Automatic Control; May2015, Vol. 60 Issue 5, p1404-1409, 6p
- Publication Year :
- 2015
-
Abstract
- This paper addresses a supervisory control problem for time invariant hybrid dynamical systems based on the $l$-complete approximation scheme by Moor and Raisch (“Discrete supervisory control of hybrid systems based on $l$-complete approximations,” 2002) and partial observation. An underlying hybrid plant is realized by a hybrid state machine with an infinite state space, and its external behavior is described by discrete input/output signals with finite range, and some output signal is assumed to be unmeasurable. For the strongest $l$-complete approximation of the plant, which is realized by a finite state machine, we present a method to design a finite state supervisor to achieve a given specification. The supervisor cannot observe the unmeasurable output signal. Finally, we show that the finite state supervisor also meets the specification for the underlying hybrid plant. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00189286
- Volume :
- 60
- Issue :
- 5
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Automatic Control
- Publication Type :
- Periodical
- Accession number :
- 102229130
- Full Text :
- https://doi.org/10.1109/TAC.2014.2353132