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 …

The size of vision models has grown exponentially over the last few years, especially after
the emergence of Vision Transformer. This has motivated the development of parameter …

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 …

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 …

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

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 paper is concerned with the privacy-preserving average consensus problem for
discrete-time multi-agent systems. The main goal of this paper is to develop a privacy …

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

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 …

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