Sign in
On opacity and diagnosability in discrete event systems modeled by pushdown automata.
Koichi Kobayashi
Kunihiko Hiraishi
Published in:
CASE (2012)
Keyphrases
</>
discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
timed petri nets
failure diagnosis
discrete event
cellular automata
temporal constraints
finite state
finite automata
regular expressions
cost effective
model checking
finite state machines
data streams