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

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. Such controll...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on automatic control Vol. 69; no. 6; pp. 3796 - 3807
Main Authors Komenda, Jan, Masopust, Tomas
Format Journal Article
LanguageEnglish
Published New York IEEE 01.06.2024
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects
Behavioral sciences
Closed loop systems
Closed loops
Communication
Complex systems
Controllability
Controllers
Discrete event systems
Discrete-event system (DES)
Feedback control
modular control
Modular systems
Modules
normality
Observability
observation consistency
Observers
Specifications
Supervisors
Supervisory control
Synthesis
Online AccessGet full text

Cover

More Information
Summary: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. Such controllers are called 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. Combining our results for normality with the existing results for controllability yields the local synthesis of 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.
ISSN:0018-9286
1558-2523
DOI:10.1109/TAC.2023.3333792