Supervisory control of modular discrete-event systems under partial observation: Normality
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F24%3A00586538" target="_blank" >RIV/67985840:_____/24:00586538 - isvavai.cz</a>
Alternative codes found
RIV/61989592:15310/24:73627228
Result on the web
<a href="https://doi.org/10.1109/TAC.2023.3333792" target="_blank" >https://doi.org/10.1109/TAC.2023.3333792</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/TAC.2023.3333792" target="_blank" >10.1109/TAC.2023.3333792</a>
Alternative languages
Result language
angličtina
Original language name
Supervisory control of modular discrete-event systems under partial observation: Normality
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
20205 - Automation and control systems
Result continuities
Project
<a href="/en/project/LTAUSA19098" target="_blank" >LTAUSA19098: Verification and Control of Networked Discrete-Event Systems</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
IEEE Transactions on Automatic Control
ISSN
0018-9286
e-ISSN
1558-2523
Volume of the periodical
69
Issue of the periodical within the volume
6
Country of publishing house
US - UNITED STATES
Number of pages
12
Pages from-to
3796-3807
UT code for WoS article
001236732100018
EID of the result in the Scopus database
2-s2.0-85178011435