Distributed computation of supremal conditionally-controllable sublanguages
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F16%3A00453022" target="_blank" >RIV/67985840:_____/16:00453022 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1080/00207179.2015.1079736" target="_blank" >http://dx.doi.org/10.1080/00207179.2015.1079736</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1080/00207179.2015.1079736" target="_blank" >10.1080/00207179.2015.1079736</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Distributed computation of supremal conditionally-controllable sublanguages
Popis výsledku v původním jazyce
In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observations. First, a weaker sufficient condition for the computation of the supremal conditionally controllable sublanguage and conditionally normal sublanguage is presented. Then we show that this condition can be imposed by synthesising a-posteriori supervisors. The paper further generalises the previous study by considering general, non-prefix-closed languages. Moreover, weprove that for prefix-closed languages the supremal conditionally controllable sublanguage and conditionally normal sublanguage can always be computed in the distributed way without any restrictive conditions we have used in the past.
Název v anglickém jazyce
Distributed computation of supremal conditionally-controllable sublanguages
Popis výsledku anglicky
In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observations. First, a weaker sufficient condition for the computation of the supremal conditionally controllable sublanguage and conditionally normal sublanguage is presented. Then we show that this condition can be imposed by synthesising a-posteriori supervisors. The paper further generalises the previous study by considering general, non-prefix-closed languages. Moreover, weprove that for prefix-closed languages the supremal conditionally controllable sublanguage and conditionally normal sublanguage can always be computed in the distributed way without any restrictive conditions we have used in the past.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2016
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ů
Údaje specifické pro druh výsledku
Název periodika
International Journal of Control
ISSN
0020-7179
e-ISSN
—
Svazek periodika
89
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
13
Strana od-do
424-436
Kód UT WoS článku
000366675900017
EID výsledku v databázi Scopus
2-s2.0-84952716511