Enhancing opacity of stochastic discrete event systems using insertion functions.

Yi-Chin Wu Gil Lederman Stéphane Lafortune

Published in: ACC (2016)

Keyphrases

discrete event systems
timed petri nets
petri net
discrete event
model based diagnosis
complex systems
telecommunication networks
failure diagnosis
dynamic systems
temporal constraints
multi agent
cooperative
multi agent systems
object oriented
monte carlo