Networked Supervisory Control Synthesis of Timed Discrete-Event Systems
Aida Rashidinejad, Michel Reniers, Martin Fabian

TL;DR
This paper develops a method to synthesize supervisors for timed discrete-event systems over networks with communication delays and disorder, ensuring correct control despite non-ideal communication conditions.
Contribution
It introduces a framework for networked supervisory control that accounts for delays and non-FIFO observation channels, enabling correct supervisor synthesis under realistic network conditions.
Findings
Synthesizes networked supervisors that are controllable and nonblocking.
Models plant behavior under communication delays and disorder.
Guarantees maximally permissive control satisfying system requirements.
Abstract
Conventional supervisory control theory assumes full synchronization between the supervisor and the plant. This assumption is violated in a networked-based communication setting due to the presence of delays, and this may result in incorrect behavior of a supervisor obtained from conventional supervisory control theory. This paper presents a technique to synthesize a networked supervisor handling communication delays. For this purpose, first, a networked supervisory control framework is provided, where the supervisor interacts with the plant through control and observation channels, both of which introduce delays. The control channel is FIFO, but the observation channel is assumed to be non-FIFO so that the observation of events may not necessarily be received by the supervisor in the same order as they occurred in the plant. It is assumed that a global clock exists in the networked…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPetri Nets in System Modeling · Formal Methods in Verification · Real-Time Systems Scheduling
