Title :
Enforcing Detectability in Controlled Discrete Event Systems
Author :
Shaolong Shu ; Feng Lin
Author_Institution :
Sch. of Electron. & Inf. Eng., Tongji Univ., Shanghai, China
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;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2013.2251796
