Abstract:
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 wir...Show MoreMetadata
Abstract:
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.
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC)
Date of Conference: 11-13 December 2019
Date Added to IEEE Xplore: 12 March 2020
ISBN Information: