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 …

Opacity is an important information-flow security property in the analysis of cyber-physical
systems. It captures the plausible deniability of the system's secret behavior in the presence …

We formulate notions of opacity for cyberphysical systems modeled as discrete-time linear
time-invariant systems. A set of secret states is k-ISO with respect to a set of nonsecret states …

Opacity of a discrete event system is a confidentiality property that characterizes instances
when the secret behavior of the system cannot be revealed. This paper considers current …

The security in information-flow has become a major concern for cyber–physical systems
(CPSs). In this work, we focus on the analysis of an information-flow security property, called …

In this paper, we propose a compositional approach to construct opacity-preserving finite
abstractions (aka symbolic models) for networks of discrete-time nonlinear control systems …

The security issue of switched systems is researched from a noncooperative dynamic game-
theoretic perspective in this paper. A Stackelberg game is developed for the switched …

Cyberphysical systems (CPSs) integrate communication, control, and computation with
physical processes. Examples include power systems, water distribution networks, and on a …

Sequential decision making under uncertainties in a complex and changing environment is
a crucial research area with many practical applications, such as autonomous driving …