We investigate the problem of synthesizing dynamic masks that preserve the infinite-step
opacity in the context of discrete-event systems. Dynamic mask is an information acquisition …

We study the problem of dynamic sensor activation for centralized partially-observed
discrete event systems. The sensors can be turned on/off online dynamically according to a …

Opacity is important in investigating secrecy, privacy, and other properties in general
systems that can be modeled as discrete event systems. To ensure opacity, a controller may …

Initial-state estimation is an important problem in discrete-event systems. In this problem, the
initial-state of the system is unknown and one wants to determine the initial-state of the …

This article studies the minimal reconstructibility of Boolean control networks (BCNs) based
on the semi-tensor product (STP). Two effective criteria for the reconstructibility of BCNs …

We investigate the problem of dynamic sensor activation for decentralized decision making
in partially observed discrete-event systems, where the system is monitored by a set of …

This paper considers fault-tolerant control that ensures the safety of a discrete-event system.
We consider multiple faulty modes. Each faulty mode is modeled by an automaton. These …

Detectability describes the property of a system to uniquely determine, after a finite number
of observations, the current and the subsequent states. Different notions of detectability have …

In recent years, opacity has received increasing attention in terms of analyzing security and
privacy problems. Opacity is a confidentiality property that characterizes a system's ability to …

This paper is an overview of the current research on minimal sensor activation and minimal
communication in discrete-event systems. In problems of sensor activation agents observing …