Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems.

Shigemasa Takai, Ratnesh Kumar

Browse the full ETFA paper archive.