Robust predictability of stochastic discrete-event systems and a polynomial-time verification.

Hui Liao Fuchun Liu Naiqi Wu

Published in: Autom. (2022)

Keyphrases

discrete event systems
timed petri nets
petri net
discrete event
telecommunication networks
complex systems
failure diagnosis
model based diagnosis
special case
optimal solution
multi agent systems
data management
dynamic systems
temporal constraints