Login / Signup
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems.
Jan Komenda
Tomás Masopust
Jan H. van Schuppen
Published in:
WODES (2010)
Keyphrases
</>
discrete event systems
petri net
discrete event
model based diagnosis
telecommunication networks
complex systems
failure diagnosis
high level
cooperative
timed petri nets
dynamic systems
multi agent systems
multi agent
temporal constraints
steady state
multiagent systems
search space
databases