This article begins with an introduction to the modeling of discrete event systems, a class of
dynamical systems with discrete states and event-driven dynamics. It then focuses on logical …

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

We consider a generalized form of the conventional decentralized control architecture for
discrete-event systems where the control actions of a set of supervisors can be “fused” using …

In this paper, we study the verification and enforcement problems of strong infinite-step
opacity and k-step opacity for partially observed discrete-event systems modeled by finite …

We present new results on the synthesis of safe, non-blocking, and maximally permissive
supervisors for partially observed discrete event systems. We consider the case where the …

The aim of this paper is to deal with the problem of fault tolerant control in the framework of
discrete event systems modeled as automata. A fault tolerant controller is a controller able to …

In this paper we tackle the opacity enforcement problem in discrete event systems using
supervisory control theory. In particular, we consider the case where the intruder and the …

We consider feedback control systems where sensor readings and actuator commands may
be compromised by an attacker intending to damage the system. We study this problem at …

We identify a new observability concept, called relative observability, in supervisory control
of discrete-event systems under partial observation. A fixed, ambient language is given …