Assessment of Multilevel Intransitive Non-Interference for Discrete Event Systems.

Francesco Basile Gianmaria De Tommasi

Published in: IEEE Control. Syst. Lett. (2022)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
discrete event
failure diagnosis
timed petri nets
dynamic systems
multipath
database
temporal constraints
management system
mathematical model
object oriented
data model
high level