A joint diagnoser approach for diagnosability of discrete event systems under attack - Kang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro (Automatica (Oxford), 2025)
Keywords: Attack detection; Diagnosability verification; Discrete event system; Sensor attack; Diagnosability verification; Sensor attack; Attack detection; Discrete event system