PI: Anton Cervin (LU), co-PI: Zebo Peng (LiU); with Karl-Erik Årzén (LU), Petru Eles (LiU)
The project will explore how the Cloud, with its virtually infinite compute capacity, can improve the security and performance of feedback control systems. In one part, we will research verifiable computation protocols (VPC) for secure outsourcing of cloud-based control computations. In another part, we will investigate the interplay between local and cloud-based control computations and derive guarantees on robustness and performance. There is an interesting trade-off between security, round-trip delay, and control performance that will also be studied. The design techniques will be verified in experiments, where physical processes are controlled remotely over the Cloud.
Project number: B06