Počet záznamů: 1  

Conditions for hierarchical supervisory control under partial observation

  1. 1.
    0537773 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
    Komenda, Jan - Masopust, Tomáš
    Conditions for hierarchical supervisory control under partial observation.
    IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 303-308. ISSN 2405-8963.
    [15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠk(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: discrete-event system * hierarchical supervisory control * normality * relative observability
    Obor OECD: Automation and control systems
    https://doi.org/10.1016/j.ifacol.2021.04.029

    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.
    Trvalý link: http://hdl.handle.net/11104/0315612

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda2.pdf2366.8 KBVydavatelský postprintpovolen
     
Počet záznamů: 1