Login / Signup
Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems.
Xiaoyan Li
Christoforos N. Hadjicostis
Zhi Wu Li
Published in:
IEEE Trans. Autom. Control. (2022)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
failure diagnosis
discrete event
timed petri nets
database
state space
sensor networks
access control
temporal constraints