Supervisory control of modular discrete-event systems under partial observation: Normality

Kód výsledku v 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>

Nalezeny alternativní kódy

RIV/61989592:15310/24:73627228

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Supervisory control of modular discrete-event systems under partial observation: Normality

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Supervisory control of modular discrete-event systems under partial observation: Normality

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

<a href="/cs/project/LTAUSA19098" target="_blank" >LTAUSA19098: Verifikace a řízení síťových diskrétních systémů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2024

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

IEEE Transactions on Automatic Control

ISSN

0018-9286

e-ISSN

1558-2523

Svazek periodika

69

Číslo periodika v rámci svazku

6

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

12

Strana od-do

3796-3807

Kód UT WoS článku

001236732100018

EID výsledku v databázi Scopus

2-s2.0-85178011435