Sign in
Secure-by-Construction Synthesis for Control Systems.
Bingzhuo Zhong
Siyuan Liu
Marco Caccamo
Majid Zamani
Published in:
CoRR (2023)
Keyphrases
</>
control system
controller synthesis
security issues
neural network
social networks
closed loop
security requirements
standard model
program synthesis
fault detection and isolation
covert channel