Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem | IEEE Journals & Magazine | IEEE Xplore

Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem


Abstract:

We study the supervisory control of timed discrete event systems (TDESs) communicating via unbounded FIFO channels. We model a local TDES by a finite-state automaton with...Show More

Abstract:

We study the supervisory control of timed discrete event systems (TDESs) communicating via unbounded FIFO channels. We model a local TDES by a finite-state automaton with a special event of the global clock. A local supervisor observes the events generated by the corresponding local TDES, and estimates the current state of the other local TDESs based on the synchronized global clock and the received events. We study the state avoidance problem, and propose a distributed control algorithm for the local supervisors to collectively control the global system not to reach a given set of undesirable states.
Published in: IEEE Control Systems Letters ( Volume: 4, Issue: 1, January 2020)
Page(s): 259 - 264
Date of Publication: 14 June 2019
Electronic ISSN: 2475-1456

Funding Agency:


Contact IEEE to Subscribe

References

References is not available for this document.