Approximated timed reachability graphs for the robust control of discrete event systems.

Dimitri Lefebvre

Published in: Discret. Event Dyn. Syst. (2019)

Keyphrases

discrete event systems
discrete event
petri net
dynamic systems
timed petri nets
complex systems
simulation model
model based diagnosis
failure diagnosis
cooperative
telecommunication networks
graph matching
control method
temporal constraints
graph theory
linear combination
search algorithm
databases