DocumentCode
81929
Title
Enforcing Detectability in Controlled Discrete Event Systems
Author
Shaolong Shu ; Feng Lin
Author_Institution
Sch. of Electron. & Inf. Eng., Tongji Univ., Shanghai, China
Volume
58
Issue
8
fYear
2013
fDate
Aug. 2013
Firstpage
2125
Lastpage
2130
Abstract
In this technical note, we investigate supervisory control that enforces strong detectability and strongly periodic detectability in a discrete event system. The goal of control is to ensure that the current state of the closed-loop system can be determined forever or periodically after some finite observations for all trajectories of the system. We derive necessary and sufficient conditions for the existence of supervisory control and develop algorithms to synthesize such supervisors if they exist.
Keywords
closed loop systems; control system synthesis; controllability; discrete event systems; observability; state estimation; closed loop system; discrete event system control; finite observations; necessary and sufficient conditions; strongly periodic detectability; supervisory control; Controllability; Discrete event systems; Observability; Observers; System recovery; Trajectory; Controllability; detectability; discrete event systems; liveness; observability; state estimation;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/TAC.2013.2251796
Filename
6475156
Link To Document