Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures.

Naoki Kanagawa, Shigemasa Takai

Browse the full ETFA paper archive.