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