Diagnosability of labeled ${\mathfrak{D}}_{\mathfrak{p}}$ automata

Kuize Zhang, Joerg Raisch

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 w…