-
A Verifiable Computing Scheme for Encrypted Control Systems
Authors:
Francesca Stabile,
Walter Lucia,
Amr Youssef,
Giuseppe Franze
Abstract:
The proliferation of cloud computing technologies has paved the way for deploying networked encrypted control systems, offering high performance, remote accessibility and privacy. However, in scenarios where the control algorithms run on third-party cloud service providers, the control logic might be changed by a malicious agent on the cloud. Consequently, it is imperative to verify the correctnes…
▽ More
The proliferation of cloud computing technologies has paved the way for deploying networked encrypted control systems, offering high performance, remote accessibility and privacy. However, in scenarios where the control algorithms run on third-party cloud service providers, the control logic might be changed by a malicious agent on the cloud. Consequently, it is imperative to verify the correctness of the control signals received from the cloud. Traditional verification methods, like zero-knowledge proof techniques, are computationally demanding in both proof generation and verification, may require several rounds of interactions between the prover and verifier and, consequently, are inapplicable in realtime control system applications. In this paper, we present a novel computationally inexpensive verifiable computing solution inspired by the probabilistic cut-and-choose approach. The proposed scheme allows the plant's actuator to validate the computations accomplished by the encrypted cloud-based networked controller without compromising the control scheme's performance. We showcase the effectiveness and real-time applicability of the proposed verifiable computation scheme using a remotely controlled Khepera IV differential-drive robot.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
HAPD aircraft Uncertain Norm-Bounded Mathematical model
Authors:
Giuseppe Franzè,
Massimiliano Mattei,
Luciano Ollio,
Valerio Scordamaglia
Abstract:
In this paper an uncertain norm-bounded mathematical model for the UAV High Altitude Performance Demonstrator (HAPD) designed by Italian Aerospace Research Center (CIRA) is carried out. The linear state space description aims to describe the non-linear aircraft dynamic inside the operating envelope characterized by the following bounds: true air speed between 17 m/s and 23 m/s and altitude from 30…
▽ More
In this paper an uncertain norm-bounded mathematical model for the UAV High Altitude Performance Demonstrator (HAPD) designed by Italian Aerospace Research Center (CIRA) is carried out. The linear state space description aims to describe the non-linear aircraft dynamic inside the operating envelope characterized by the following bounds: true air speed between 17 m/s and 23 m/s and altitude from 300 m to 700 m.
△ Less
Submitted 5 May, 2019;
originally announced May 2019.
-
A Norm-Bounded based MPC strategy for uncertain systems under partial state availability
Authors:
Giuseppe Franzè,
Massimiliano Mattei,
Luciano Ollio,
Valerio Scordamaglia
Abstract:
A robust model predictive control scheme for a class of constrained norm-bounded uncertain discrete-time linear systems is developed under the hypothesis that only partial state measurements are available for feedback. Off-line calculations are devoted to determining an admissible, though not optimal, linear memoryless controller capable to formally address the input rate constraint; then, during…
▽ More
A robust model predictive control scheme for a class of constrained norm-bounded uncertain discrete-time linear systems is developed under the hypothesis that only partial state measurements are available for feedback. Off-line calculations are devoted to determining an admissible, though not optimal, linear memoryless controller capable to formally address the input rate constraint; then, during the on-line operations, predictive capabilities complement the off-line controller by means of N steps free control actions in a receding horizon fashion. These additive control actions are obtained by solving semi-definite programming problems subject to linear matrix inequalities constraints.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
