References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Diagnosability of labeled $\mathfrak{D_p}$ automata
(Submitted on 15 Sep 2021 (v1), last revised 15 Feb 2024 (this version, v2))
Abstract: In this paper, we formulate a notion of diagnosability for labeled weighted automata over a class of dioids which admit both positive and negative numbers as well as vectors. The weights can represent diverse physical meanings such as time elapsing and position deviations. We also develop an original tool called concurrent composition to verify diagnosability for such automata. These results are fundamentally new compared with the existing ones in the literature.
Submission history
From: Kuize Zhang [view email][v1] Wed, 15 Sep 2021 07:18:24 GMT (39kb)
[v2] Thu, 15 Feb 2024 16:40:52 GMT (37kb)
Link back to: arXiv, form interface, contact.