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 …

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 …

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 …

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 …

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 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 …

Abstract System resilience captures the ability of the system to withstand a major disruption
within acceptable performance degradation and to recover within an acceptable time frame …

In the context of security analysis for information flow properties, where a potentially
malicious observer (intruder) tracks the observed behavior of a given system, infinite-step …

Motivated by security and privacy considerations in a variety of applications of discrete event
systems, we describe and analyze the computational complexity required for verifying the …

We consider a multi-adversary version of the supervisory control problem for discrete-event
systems (DES), in which an adversary corrupts the observations available to the supervisor …