Abstract:Complex systems are often composed of many small communicating components called modules. We investigate the synthesis of supervisory controllers for modular systems under partial observation that, as the closed-loop system, realize the supremal normal sublanguage of the specification. We call such controllers maximally permissive normal supervisors. The challenge in modular systems is to find conditions under which the global nonblocking and maximally permissive normal supervisor can be achieved locally as the parallel composition of local normal supervisors. We show that a structural concept of hierarchical supervisory control called modified observation consistency (MOC) is such a condition. However, the algorithmic verification of MOC is an open problem, and therefore it is necessary to find easily-verifiable conditions that ensure MOC. We show that the condition that all shared events are observable is such a condition. Considering specifications, we examine both local specifications, where each module has its own specification, and global specifications. We combine our results for normality with the existing results for controllability to locally synthesize the nonblocking and maximally permissive controllable and normal supervisor. Finally, we illustrate the results on an industrial case study of the patient table of an MRI scanner.

A Relaxed Framework for Coordination Control of Discrete-Event Systems

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Coordination Control of Discrete-Event Systems Revisited

Constraint Function Based Hierarchical Control of Discrete Event Systems

Coordination Control for a Class of Multi-Agent Systems under Asynchronous Switching

Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality

Formulae of the Infimal Controllable and Observable Sub‐language and Synthesis of Its Supervisor

An Examination of Coordination for Homogeneous Linear Agents under Arbitrary Network Topology

Consistent Abstractions for the Supervision of Sequential Behaviours

Cooperative Control of Heterogeneous Uncertain Dynamical Networks: an Adaptive Explicit Synchronization Framework

Coordination via Interaction Constraints I: Local Logic

A New Scheme for the Dynamic Control of Discrete Event Systems

Similarity-Based Supervisory Control of Discrete Event Systems

Communicating Processes with Data for Supervisory Coordination

Synthesis of Non-blocking Controllers for Linear Temporal Logic Tasks under Partial Observations⋆

Finite-time coordination under state-dependent communication graphs with inherent links

Reliable Decentralized Supervisory Control of Fuzzy Discrete Event Systems

A Process Algebra for Supervisory Coordination

Maximally Permissive Supervisory Control of Timed Discrete-Event Systems under Partial Observation

Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications

Coordination Of Discrete-Time Multi-Agent Systems Via Relative Output Feedback