Over the last decade, opacity of discrete event systems (DES) has become a very fertile field
of research. Driven by safety and privacy concerns in network communications and online …

This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

We study the security of Cyber–Physical Systems (CPS) in the context of the supervisory
control layer. Specifically, we propose a general model of a CPS attacker in the framework of …

A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an
intruder who can partially observe system activities. This work addresses the verification of …

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 this paper, we investigate opacity of discrete event systems. We define two types of
opacities: strong opacity and weak opacity. Given a general observation map**, a …

The problem under consideration in this paper is that of enforcement by supervisory control
of a given property on a partially-observed discrete-event system. We present a general …

Opacity is a confidentiality property that captures whether an intruder can infer a “secret” of a
system based on its observation of the system behavior and its knowledge of the system's …

One of the major challenges about cyber–physical systems is how to protect system integrity
from cyber attacks. There has been a large number of different types of attacks discussed in …

In this paper, we formulate and analyze methodologies for verifying the notion of initial-state
opacity in discrete event systems that are modeled as non-deterministic finite automata with …