  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.
