Number of the records: 1
Conditions for hierarchical supervisory control under partial observation
- 1.
SYSNO ASEP 0537773 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Conditions for hierarchical supervisory control under partial observation Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Masopust, Tomáš (MU-W) RID, ORCID, SAISource Title 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 Pages s. 303-308 Number of pages 6 s. Publication form Print - P Action 15th Workshop on Discrete Event Systems (WODES 2020). Event date 11.11.2020 - 13.11.2020 VEvent location Rio de Janeiro Country BR - Brazil Event type WRD Language eng - English Country NL - Netherlands Keywords discrete-event system ; hierarchical supervisory control ; normality ; relative observability Subject RIV BA - General Mathematics OECD category Automation and control systems R&D Projects GC19-06175J GA ČR - Czech Science Foundation (CSF) LTAUSA19098 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) Institutional support MU-W - RVO:67985840 UT WOS 000651644000046 EID SCOPUS 85106636488 DOI 10.1016/j.ifacol.2021.04.029 Annotation 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. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2022
Number of the records: 1