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 …

Opacity, a confidentiality property that characterizes whether a “secret” of a system can be
inferred by an outside intruder, is an increasing concern in cyber–physical systems (CPSs) …

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 …

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 …

We consider feedback control systems where sensor readings may be compromised by a
malicious attacker intending on causing damage to the system. We study this problem at the …

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 …