Control Software Synthesis for Cyber-Physical Systems with QKS.

Vadim Alimguzhin Federico Mari Igor Melatti

Published in: OVERLAY@AI*IA (2019)

Keyphrases

control software
cyber physical systems
cyber physical
cyber security
physical world
control system
social networks
real time
embedded systems
information technology
low cost
high speed
data collection
intrusion detection
critical infrastructure