Predictive Supervisory Control for Timed Discrete Event Systems under Communication Delays
Chengshi Miao, Shaolong Shu, Feng Lin · 2019
In many cyber-physical systems, controllers and plants are located at different sites. Communications between a controller and a plant are carried out over a wired or wireless communication network. Communication delays in such systems must be addressed when designing controllers. In this paper, we model a cyber-physical system as a timed discrete event system. We investigate predictive supervisory control of timed discrete event systems with communication delays in both observation channel and control channel. We derive a necessary and sufficient condition for the existence of an admissible networked supervisor that ensures the language generated by the closed-loop system equals a given specification language. An example is given to illustrate the results.