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

The feedback control system with network-connected components is vulnerable to
cyberattacks. We study a problem of attack detection in supervisory control of discrete-event …

In recent years, cybersecurity has received increasing attention due to the demand from a
large class of networked systems for resilience against cyberattacks that may compromise …

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 …

The model of the Ad-hoc on Demand Distance Vector (AODV) routing protocol, being
favorable in several wireless networks (Vehicular Ad-Hoc Networks (VANET), ZigBee etc.) is …

This paper investigates the problem of synthesizing sensor deception attackers against
privacy in the context of supervisory control of discrete-event systems (DES). We consider a …

Cyber-physical systems, such as unmanned aerial vehicles and connected and autonomous
vehicles, are vulnerable to cyber attacks, which can cause significant damage to society …

The connectivity demanded by Industry 4.0 poses new challenges for cyber-physical
systems (CPS), notably bolstering resilience against cyberattacks. In this paper, the authors …

In this paper, we examine the supervisory control problem for cyber-physical systems
vulnerable to actuator jamming attacks, which cause control command loss during …

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 …