Conditions for hierarchical supervisory control under partial observation

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F20%3A00537773" target="_blank" >RIV/67985840:_____/20:00537773 - isvavai.cz</a>
Alternative codes found
RIV/61989592:15310/21:73602411
Result on the web
<a href="http://dx.doi.org/10.1016/j.ifacol.2021.04.029" target="_blank" >http://dx.doi.org/10.1016/j.ifacol.2021.04.029</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.ifacol.2021.04.029" target="_blank" >10.1016/j.ifacol.2021.04.029</a>

Result language
angličtina
Original language name
Conditions for hierarchical supervisory control under partial observation
Original language description
The fundamental problem in hierarchical supervisory control under partial observation is to find conditions preserving observability between the original (low-level) and the abstracted (high-level) plants. Two conditions for observable specifications were identified in the literature - observation consistency (OC) and local observation consistency (LOC). However, the decidability of OC and LOC were left open. We show that both OC and LOC are decidable for regular systems. We further show that these conditions do not guarantee that supremal (normal or relatively observable) sublanguages computed on the low level and on the high level always coincide. To solve the issue, we suggest a new condition - modified observation consistency - and show that under this condition, the supremal normal sublanguages are preserved between the levels, while the supremal relatively observable high-level sublanguage is at least as good as the supremal relatively observable low-level sublanguage.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Article name in the collection
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020
ISBN
—
ISSN
2405-8963
e-ISSN
—
Number of pages
6
Pages from-to
303-308
Publisher name
Elsevier
Place of publication
Amsterdam
Event location
Rio de Janeiro
Event date
Nov 11, 2020
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000651644000046

Similar results(10)