Login / Signup
Opacity of Discrete Event Systems with Active Intruder.
Alireza Partovi
Taeho Jung
Hai Lin
Published in:
CoRR (2020)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
timed petri nets
model based diagnosis
failure diagnosis
discrete event
dynamic systems
model checking