Diagnosability Verification and Enforcement in Labeled Petri Nets Under Sensor Attacks

Shaopeng Hu, Zhiwu Li 0001, Ding Liu. Diagnosability Verification and Enforcement in Labeled Petri Nets Under Sensor Attacks. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 55(5):3654-3667, May 2025. [doi]

Abstract

Abstract is missing.