Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems.

Ziyue Ma Yin Tong Carla Seatzu

Published in: IEEE Trans. Autom. Control. (2024)

Keyphrases

discrete event systems
partially observed
pattern matching
petri net
complex systems
model based diagnosis
failure diagnosis
discrete event
dynamic programming
telecommunication networks
timed petri nets
search algorithm
search space
constraint programming
pattern discovery