In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

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 …

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 …

Networked finite state machine takes into account communication losses in industrial
communication interfaces due to the limited bandwidth. The reachability analysis of …

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 investigate the problem of optimal supervisory control for cyclic tasks in the
context of discrete-event systems (DES). We consider the completion of each single task as …

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 …

Cyber-physical systems (CPSs) integrate computing and communication capabilities to
monitor and control physical processes. In order to do so, communication networks are …

Biosensing by particle motion is a biosensing technology that relies on single-molecule
interactions and enables the continuous monitoring of analytes from picomolar to …