Počet záznamů: 1  

Hierarchical supervisory control under partial observation: Normality

  1. 1.
    0579254 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
    Komenda, Jan - Masopust, T.
    Hierarchical supervisory control under partial observation: Normality.
    IEEE Transactions on Automatic Control. Roč. 68, č. 12 (2023), s. 7286-7298. ISSN 0018-9286. E-ISSN 1558-2523
    Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
    Institucionální podpora: RVO:67985840
    Klíčová slova: automata * complexity * discrete-event systems * controllability
    Obor OECD: Automation and control systems
    Impakt faktor: 6.8, rok: 2022
    Způsob publikování: Omezený přístup
    https://doi.org/10.1109/TAC.2023.3257232

    Conditions preserving observability of specifications between the plant and its abstraction are essential for hierarchical supervisory control of discrete-event systems under partial observation. Observation consistency and local observation consistency were identified as such conditions. To preserve normality, only observation consistency is required. Although observation consistency preserves normality between the levels for normal specifications, for specifications that are not normal, observation consistency is insufficient to guarantee that the supremal normal sublanguage computed on the low level and on the high level coincide. We define modified observation consistency, under which the supremal normal sublanguages of different levels coincide. We show that the verification of (modified) observation consistency is -hard for finite automata and undecidable for slightly more expressive models than finite automata. Decidability of (modified) observation consistency is an open problem. Hence we further discuss two stronger conditions that are easy to verify. Finally, we illustrate the conditions on an example of a railroad controller and on a case study of a part of an MRI scanner.
    Trvalý link: https://hdl.handle.net/11104/0348100

     
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda2.pdf31.3 MBVydavatelský postprintvyžádat
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.