Performance safety enforcement in strongly connected timed event graphs.

Zhou He Ziyue Ma Wei Tang

Published in: Autom. (2021)

Keyphrases

strongly connected
directed graph
undirected graph
optimum path forest
event detection
petri net
random walk
access control
event recognition
objective function
lower bound
probabilistic model
directed acyclic graph
timed automata