Verifying O-observability for Discrete Event Systems under Nondeterministic Observations.

Lei Zhou Shaolong Shu Hao Fang

Published in: ICCA (2020)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
discrete event
failure diagnosis
timed petri nets
model checking
temporal constraints
finite state
dynamic systems
partially observable
partial observability
dynamic programming
lower bound
multi agent systems