Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

This article provides a comprehensive and illustrative presentation of the young field of
encrypted control. In particular, we survey the evolution of encrypted controllers from their …

This paper devotes itself to the issue of privacy-preserving distributed economic dispatch
(ED) of microgrids. The desired algorithm in a distributed way not only ensures a balance …

This study investigates resilient platoon control for constrained intelligent and connected
vehicles (ICVs) against F-local Byzantine attacks. We introduce a resilient distributed model …

Cloud computing has gained great attention among the individual user and the organization.
Transitioning to the cloud platform is not simple as it involves various cybersecurity and …

In this article, we present a dynamic feedback controller that computes the next state and the
control signal over encrypted data using homomorphic properties of cryptosystems, whose …

In this paper, we consider the privacy preservation problem in continuous-time average
consensus algorithms with strongly connected and balanced graphs, against either internal …

With decentralized optimization having increased applications in various domains ranging
from machine learning, control, to robotics, its privacy is also receiving increased attention …

Dynamic average consensus is a decentralized control/estimation framework where a group
of agents cooperatively track the average of local time-varying reference signals. In this …

Discrete-time consensus plays a key role in multi-agent systems and distributed protocols.
Unfortunately, due to the self-loop dynamics of the agents (an agent's current state depends …