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 control system, and so the communication delays are represented in terms of time. Based on the proposed framework, a networked plant automaton is achieved, which models the behavior of the plant under the effects of communication delays and disordered observations. Based on the networked plant, the networked supervisor is synthesized, which is guaranteed to be (timed networked) controllable, nonblocking, time-lock free, (timed networked) maximally permissive, and satisfies control requirements for the plant.

Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels

Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels.

Modeling, Analysis and Control of Networked Discrete Event Systems: A Comprehensive Survey

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

Online Supervisory Control of Networked Discrete-Event Systems with Control Delays

Distributed Nonblocking Supervisory Control of Timed Discrete-Event Systems with Communication Delays and Losses

Online State Estimation for Supervisor Synthesis in Discrete-Event Systems With Communication Delays and Losses

Overview of Networked Supervisory Control with Imperfect Communication Channels

Distributed Supervisory Control of Discrete-Event Systems with Communication Delay

Networked Supervisory Control Synthesis of Timed Discrete-Event Systems

Distributed Controller Design and Analysis of Second-Order Signed Networks With Communication Delays.

Modeling and Stabilization of a Wireless Network Control System with Packet Loss and Time Delay

An Overview of Networked Control of Complex Dynamic Systems

Robust Control of Networked Discrete-Event Systems Using Predictive Supervisors

Analysis of Networked Control Systems with Communication Constraints

Modeling and Stabilization of Continuous-Time Packet-Based Networked Control Systems

Checking delay-robustness of distributed supervisors of discrete-event systems

Modeling And Analysis Of Networked Control System With Multi-Delay Based On Ads

Networked Predictive Control Based on State-Space Model

Analysis and Modeling of Multi-Rate Networked Control Systems with Long Time Delay