Počet záznamů: 1
Conditions for hierarchical supervisory control under partial observation
- 1.
SYSNO ASEP 0537773 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Conditions for hierarchical supervisory control under partial observation Tvůrce(i) Komenda, Jan (MU-W) RID, SAI, ORCID
Masopust, Tomáš (MU-W) RID, ORCID, SAIZdroj.dok. IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. - Amsterdam : Elsevier, 2020 / Basilio J.C. - ISSN 2405-8963 Rozsah stran s. 303-308 Poč.str. 6 s. Forma vydání Tištěná - P Akce 15th Workshop on Discrete Event Systems (WODES 2020). Datum konání 11.11.2020 - 13.11.2020 Místo konání Rio de Janeiro Země BR - Brazílie Typ akce WRD Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova discrete-event system ; hierarchical supervisory control ; normality ; relative observability Vědní obor RIV BA - Obecná matematika Obor OECD Automation and control systems CEP GC19-06175J GA ČR - Grantová agentura ČR LTAUSA19098 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Institucionální podpora MU-W - RVO:67985840 UT WOS 000651644000046 EID SCOPUS 85106636488 DOI 10.1016/j.ifacol.2021.04.029 Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2022
Počet záznamů: 1