Complexity of verifying nonblockingness in modular supervisory control
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F18%3A00486267" target="_blank" >RIV/67985840:_____/18:00486267 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1109/TAC.2017.2726582" target="_blank" >http://dx.doi.org/10.1109/TAC.2017.2726582</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/TAC.2017.2726582" target="_blank" >10.1109/TAC.2017.2726582</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Complexity of verifying nonblockingness in modular supervisory control
Popis výsledku v původním jazyce
Complexity analysis becomes a common task in supervisory control. However, many results of interest are spread across different topics. The aim of this paper is to bring several interesting results from complexity theory and to illustrate their relevance to supervisory control by proving new nontrivial results concerning nonblockingness in modular supervisory control of discrete event systems modeled by finite automata.
Název v anglickém jazyce
Complexity of verifying nonblockingness in modular supervisory control
Popis výsledku anglicky
Complexity analysis becomes a common task in supervisory control. However, many results of interest are spread across different topics. The aim of this paper is to bring several interesting results from complexity theory and to illustrate their relevance to supervisory control by proving new nontrivial results concerning nonblockingness in modular supervisory control of discrete event systems modeled by finite automata.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
20205 - Automation and control systems
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2018
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
IEEE Transactions on Automatic Control
ISSN
0018-9286
e-ISSN
—
Svazek periodika
63
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
6
Strana od-do
602-607
Kód UT WoS článku
000423553000028
EID výsledku v databázi Scopus
2-s2.0-85028928831