The incorporation of communication technology with Smart Grid (SG) is proposed as an
optimal solution to fulfill the requirements of the modern power system. A smart grid …

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 …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

Data-driven systems are gathering increasing amounts of data from users, and sensitive
user data requires privacy protections. In some cases, the data gathered is non-numerical or …

This article investigates the attack detection and identification problem for cyber-physical
systems under sparse sensor attacks. A novel candidate set construction algorithm, where …

Opacity, as an important property in information-flow security, characterizes the ability of a
system to keep some secret information from an intruder. In discrete-event systems, based …

This article investigates the secure state estimation problem for cyber–physical systems
(CPSs) under sparse sensor attacks. In the existing results, the secure state estimation is …

Opacity is an information flow property that captures the notion of plausible deniability in
dynamic systems, that is whether an intruder can deduce that “secret” behavior has …

In this paper, we investigate the problem of planning an optimal infinite path for a single
robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that …

Opacity serves as a critical security and confidentiality property, which concerns whether an
intruder can unveil a system's secret based on structural knowledge and observed …