Diagnosability Verification and Enforcement in Labeled Petri Nets Under Sensor Attacks
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"
DOI: 10.1109/tsmc.2025.3545756
Abstract: This article formalizes and solves the problems of diagnosability verification and enforcement in discrete event systems modeled with labeled Petri nets (LPNs) under sensor attacks. Given a plant, attackers work as a group in the… read more here.
Keywords: sensor attacks; diagnosability verification; verification enforcement; labeled petri ... See more keywords