175 citations · 192 across the 19 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2021
Diagnosability of labeled 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…
cs.FL2020
Detectability of labeled weighted automata over monoids
Kuize Zhang
In this paper, we for the first time obtain characterization of four fundamental notions of detectability for general labeled weighted automata over monoids (denoted by $\mathcal{A…