Marcos V. Moreira, Thiago C. Jesus, João Carlos Basilio. Polynomial time verification of decentralized diagnosability of discrete event systems. In American Control Conference, ACC 2010, Baltimore, Maryland, USA, June 30 - July 2, 2010. pages 3353-3358, IEEE, 2010. [doi]
Abstract is missing.