Number of the records: 1
Diagnosability of unambiguous max-plus automata
- 1.
SYSNO ASEP 0562936 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Diagnosability of unambiguous max-plus automata Author(s) Lai, A. (CN)
Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)Source Title IEEE Transactions on Systems Man Cybernetics-Systems . - : Institute of Electrical and Electronics Engineers - ISSN 2168-2216
Roč. 52, č. 11 (2022), s. 7302-7311Number of pages 10 s. Language eng - English Country US - United States Keywords fault diagnosis ; discrete-event systems ; max-plus automata Subject RIV BA - General Mathematics OECD category Automation and control systems R&D Projects GC19-06175J GA ČR - Czech Science Foundation (CSF) Method of publishing Limited access Institutional support MU-W - RVO:67985840 UT WOS 000800807100001 EID SCOPUS 85140292651 DOI 10.1109/TSMC.2022.3176045 Annotation 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. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2023 Electronic address https://doi.org/10.1109/TSMC.2022.3176045
Number of the records: 1