Robust Diagnosability Analysis Using Basis Reachability Graph
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Access"
DOI: 10.1109/access.2023.3236963
Abstract: Fault-freeness is one of the necessary guarantees for healthy and stable operations of discrete event systems. Traditional diagnostic models may fail since sensors may suffer electronic component failures, communication failures, or atmospheric electromagnetic interference. Robust… read more here.
Keywords: reachability graph; basis reachability; reachability; robust diagnosability ... See more keywords
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"
DOI: 10.1109/tsmc.2021.3138266
Abstract: This paper proposes a semi-structural approach to verify the nonblockingness of a Petri net. We construct a structure, called minimax basis reachability graph (minimaxBRG): it provides an abstract description of the reachability set of a… read more here.
Keywords: verification nonblockingness; minimax brg; petri nets; reachability ... See more keywords