Počet záznamů: 1
Diagnosability of unambiguous max-plus automata
- 1.
SYSNO ASEP 0562936 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Diagnosability of unambiguous max-plus automata Tvůrce(i) Lai, A. (CN)
Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)Zdroj.dok. IEEE Transactions on Systems Man Cybernetics-Systems . - : Institute of Electrical and Electronics Engineers - ISSN 2168-2216
Roč. 52, č. 11 (2022), s. 7302-7311Poč.str. 10 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova fault diagnosis ; discrete-event systems ; max-plus automata Vědní obor RIV BA - Obecná matematika Obor OECD Automation and control systems CEP GC19-06175J GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora MU-W - RVO:67985840 UT WOS 000800807100001 EID SCOPUS 85140292651 DOI 10.1109/TSMC.2022.3176045 Anotace This article investigates diagnosability and T-diagnosability for discrete-event systems modeled by unambiguous max-plus automata (UMPAs). More precisely, diagnosability requires that the occurrence of any fault can be detected within a finite number of events after the fault has occurred. T-diagnosability requires that the occurrence of any fault can be detected within a delay of at most T time units after its occurrence. First, we propose a polynomial-time algorithm based on the construction of a nondeterministic finite automaton over a weighted alphabet for diagnosability verification of a UMPA. Second, we prove that T-diagnosability of a UMPA can be studied by reducing it to the problem of diagnosability. Third, we introduce an approach to calculate the upper on the time needed for detecting fault occurrence for a diagnosable UMPA, and its complexity is of sixth order in the number of states of the UMPA. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2023 Elektronická adresa https://doi.org/10.1109/TSMC.2022.3176045
Počet záznamů: 1