K-Protection of Global Secret in Discrete Event Systems Using Supervisor Control.

Ruotian Liu Wei Duan Agostino Marcello Mangini Maria Pia Fanti

Published in: SMC (2023)

Keyphrases

discrete event systems
discrete event
petri net
complex systems
failure diagnosis
telecommunication networks
timed petri nets
control system
model based diagnosis
control method
response time
image sequences
dynamic systems
information security
data acquisition
state space
low level
database