{"id":"arxiv/2606.07701","url":"https://arxiv.org/abs/2606.07701","tags":["cs.FL","math.OC"],"score":0,"title":"A remark on diagnosability verification","domain":"cs.FL","source":"arxiv","authors":["Kuize Zhang"],"reviews":0,"subject":"cs.FL","summary":"We point out three inaccuracies in paper [M.V. Moreira, T.C. Jesus, and J.C. Basilio. Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 56(7):1679-1684, July 2011]. First, the authors wrongly claimed that their algorithm for verifying (co-)diagnosability of labeled finite-state automata (LFSAs) did not depend on assumptions. We give an LFSA that is not deadlock-free or divergence-free such that their algorithm cannot correctly verify its diagnosability. Because diagnosability is a special case of co-diagnosability,…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-05","reactions":{}}