Počet záznamů: 1
Verification of detectability for unambiguous weighted automata using self-composition
- 1.
SYSNO ASEP 0578399 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Verification 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, ORCIDZdroj.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 stran s. 251-256 Poč.str. 6 s. Forma vydání Tištěná - P Akce 9th 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 akce WRD Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova discrete event system ; unambiguous weighted automaton ; self-composition ; detectability ; polynomial time Vědní obor RIV BA - Obecná matematika Obor OECD Automation and control systems CEP GC19-06175J GA ČR - Grantová agentura ČR Institucionální podpora MU-W - RVO:67985840 EID SCOPUS 85177431807 DOI 10.1109/CoDIT58514.2023.10284082 Anotace This 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 Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2024 Elektronická adresa https://doi.org/10.1109/CoDIT58514.2023.10284082
Počet záznamů: 1