We study the security of Cyber–Physical Systems (CPS) in the context of the supervisory
control layer. Specifically, we propose a general model of a CPS attacker in the framework of …

We study the security of Cyber-Physical Systems (CPS) in the context of the supervisory
control layer. Specifically, we propose a general model of a CPS attacker in the framework of …

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

Cyber-physical systems (CPSs) are engineering systems with both computational and
physical components [1]. Typical CPSs include energy systems, transportation systems …

In this article, we present an active diagnosis method to enhance diagnosability of a plant
modeled by a finite-state automaton. Some properties of active diagnosis and silent blocking …

In this paper, we investigate the security approach of synthesizing resilient supervisors
against combined actuator and sensor attacks, for the subclass of cyber-physical systems …

This paper studies the marking diagnosability verification problem in labeled Petri nets.
Marking diagnosability is a property implying the fact that a plant Petri net has ever reached …

We investigate state estimation and safe controller synthesis for networked discrete-event
systems (DESs), where supervisors send control decisions to plants via communication …

We investigate optimal mean payoff supervisory control problems on partially observed
discrete event systems modeled as weighted finite-state automata. The event weights …

This paper investigates attack mitigation problem in supervisory control of discrete event
systems. We consider the scenario where the system is subject to actuator enablement …