A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems.

Jianing Zhao Xiang Yin Shaoyuan Li

Published in: CoRR (2022)

Keyphrases

discrete event systems
partially observed
petri net
complex systems
timed petri nets
model based diagnosis
telecommunication networks
failure diagnosis
discrete event
video sequences
search algorithm
special case
fault diagnosis
model checking
constraint satisfaction
dynamic systems