Relative Observability of Discrete-Event Systems and its Supremal Sublanguages.

Kai Cai Renyuan Zhang Walter Murray Wonham

Published in: CoRR (2013)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis

telecommunication networks
timed petri nets
discrete event
failure diagnosis

temporal constraints
dynamic systems
cooperative

special case
state space
simulation model