Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Subject to Permanent Sensor Failures. - Akihito Wada; Shigemasa Takai (ECC, 2019)

Decentralized diagnosis of discrete event systems subject to permanent sensor failures. - Akihito Wada; Shigemasa Takai (Discret. Event Dyn. Syst., 2022)