Nondeterminism avoidance in compositional synthesis of discrete event systems.

Sahar Mohajerani Robi Malik Martin Fabian

Published in: CASE (2011)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
timed petri nets
discrete event
failure diagnosis
temporal constraints
dynamic systems
multi agent
dynamic programming
situation calculus
texture synthesis
planning domains