A cyber physical system (CPS) is a complex system that integrates sensing, computation,
control and networking into physical processes and objects over Internet. It plays a key role …

Information sharing is vital in any communication network environment to enable network
operating services take decisions based on the information collected by several deployed …

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 …

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 …

This paper investigates the cyber resiliency of future power systems with high penetration of
distributed energy resources using advanced distributed and (or) hierarchical control …

In this paper, we shall formulate and address a problem of covert actuator attacker synthesis
for cyber-physical systems that are modeled by discrete-event systems. We assume the …

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

In this paper, we propose and address the problem of supervisor obfuscation against
actuator enablement attack, in a common setting where the actuator attacker can eavesdrop …

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 …

In this article, we study the security of control systems in the context of the supervisory
control layer of stochastic discrete-event systems. Control systems heavily rely on correct …