Počet záznamů: 1  

Verification of detectability for unambiguous weighted automata using self-composition

  1. 1.
    SYSNO ASEP0578399
    Druh ASEPC - Konferenční příspěvek (mezinárodní konf.)
    Zařazení RIVD - Článek ve sborníku
    NázevVerification of detectability for unambiguous weighted automata using self-composition
    Tvůrce(i) Miao, S. (CN)
    Lai, A. (CN)
    Yu, X. (CN)
    Lahaye, S. (FR)
    Komenda, Jan (MU-W) RID, SAI, ORCID
    Zdroj.dok.9th International Conference on Control, Decision and Information Technologies (CoDIT). - Los Alamitos : IEEE, 2023 / Califano C. ; Jabeur Telmoud A. ; Herrera Viedma E. - ISBN 979-8-3503-1141-9
    Rozsah strans. 251-256
    Poč.str.6 s.
    Forma vydáníTištěná - P
    Akce9th International Conference on Control, Decision and Information Technologies (CoDIT)
    Datum konání03.07.2023 - 06.07.2023
    Místo konáníRome
    ZeměIT - Itálie
    Typ akceWRD
    Jazyk dok.eng - angličtina
    Země vyd.US - Spojené státy americké
    Klíč. slovadiscrete event system ; unambiguous weighted automaton ; self-composition ; detectability ; polynomial time
    Vědní obor RIVBA - Obecná matematika
    Obor OECDAutomation and control systems
    CEPGC19-06175J GA ČR - Grantová agentura ČR
    Institucionální podporaMU-W - RVO:67985840
    EID SCOPUS85177431807
    DOI10.1109/CoDIT58514.2023.10284082
    AnotaceThis paper aims to explore the problem of verifying detectability for unambiguous weighted automata (UWAs) through the utilization of modified self-composition. Specifically, we focus on two types of detectability: strong periodic detectability (SPD) and strong D-detectability (SDD). The problem involves periodically determining the current state or distinguishing certain state-pairs of the system, based on the occurrence of a finite number of observable events. We introduce a new polynomial-time algorithm different from the detector, called self-composition for UWAs, and prove that it can be used to verify the SPD and SDD for UWAs. Ultimately, we propose necessary and sufficient conditions based on modified self-composition techniques to verify the aforementioned detectabilities for the studied UWA.
    PracovištěMatematický ústav
    KontaktJarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
    Rok sběru2024
    Elektronická adresahttps://doi.org/10.1109/CoDIT58514.2023.10284082
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.