Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems
Discrete Event Dynamic Systems
Supervisory Control of Dense Real-Time Discrete-Event Systems with Partial Observation
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
| Hi-index | 22.15 |
This paper addresses the problem of nonblocking supervisory control of timed discrete event systems under communication delays based on the framework proposed by Brandin and Wonham. For such a system, a supervisory control command could be applied to the system after some time-delay limited by a finite bound corresponding to the maximal number of tick occurrences, and some uncontrollable events may unexpectedly occur within this time-delay. This paper presents the necessary and sufficient conditions for the existence of a nonblocking supervisor that can achieve a given language specification in consideration of such delayed communications.