In this work, we shall investigate the problem of covert attacker synthesis in the framework of
supervisory control of discrete-event systems. Intuitively, the covertness property says that …

In this paper, we study the nonblocking supervisor synthesis problem in partially observed
discrete event systems modeled by finite-state automata. We consider a particular type of …

Probabilistic finite automata (PFAs) can exhibit a stochastic behavior, and its stabilization is
the basic and important problem in the control theory. In this paper, the stabilization with a …

In this work, we study the problem of supervisory control of networked discrete event
systems. We consider lossy communication channels with bounded network delays, for both …

In this article, we consider the problem of synthesizing the supremal covert damage-
reachable attacker, in the setup where the model of the supervisor is unknown to the …

This work investigates the existence of fortified supervisors against covert actuator attackers.
For a supervisor that is nonresilient against covert actuator attackers, a fortified supervisor …

This paper surveys recent advances in supervisory control theory since its 30 th anniversary
in 2017. We performed a systematic literature search and selected 272 relevant papers, with …

In this work, we address the problem of synthesis of covert attackers in the setup where the
model of the plant is available, but the model of the supervisor is unknown, to the adversary …