Fault Diagnosis of Labeled Petri Nets Under Attacks Using Integer Linear Programming. - Tengbo Li; Huorong Ren; Ruotian Liu; Maria Pia Fanti; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2025)