Overview of fault diagnosis methods for discrete event systems

J Zaytoon, S Lafortune - Annual Reviews in Control, 2013 - Elsevier
Abstract Fault diagnosis of Discrete Event Systems has become an active research area in
recent years. The research activity in this area is driven by the needs of many different …

On the history of diagnosability and opacity in discrete event systems

S Lafortune, F Lin, CN Hadjicostis - Annual Reviews in Control, 2018 - Elsevier
This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

Review on diagnosis techniques for intermittent faults in dynamic systems

D Zhou, Y Zhao, Z Wang, X He… - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
In the past decades, with the rapid development of modern technologies, a special kind of
fault, the intermittent fault (IF) has become a serious threat to system securities. Although …

Detection and mitigation of classes of attacks in supervisory control systems

LK Carvalho, YC Wu, R Kwong, S Lafortune - Automatica, 2018 - Elsevier
The deployment of control systems with network-connected components has made feedback
control systems vulnerable to attacks over the network. This paper considers the problem of …

Analysis and control for resilience of discrete event systems: Fault diagnosis, opacity and cyber security

JC Basilio, CN Hadjicostis, R Su - Foundations and Trends® …, 2021 - nowpublishers.com
Abstract System resilience captures the ability of the system to withstand a major disruption
within acceptable performance degradation and to recover within an acceptable time frame …

An online diagnosis method for sensor intermittent fault based on data-driven model

K Zhang, B Gou, W **ong… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
The intermittent fault (IF) is usually overlooked in power electronic applications. In this letter,
an intelligent diagnosis method based on a data-driven model is proposed for sensor IFs …

Security against network attacks in supervisory control systems

PM Lima, MVS Alves, LK Carvalho, MV Moreira - IFAC-PapersOnLine, 2017 - Elsevier
Cyber-physical systems (CPSs) integrate computing and communication capabilities to
monitor and control physical processes. In order to do so, communication networks are …

Cybersecurity and supervisory control: A tutorial on robust state estimation, attack synthesis, and resilient control

CN Hadjicostis, S Lafortune, F Lin… - 2022 IEEE 61st …, 2022 - ieeexplore.ieee.org
This tutorial paper studies the effect of deception attacks on compromised sensors and
actuators at the supervisory control layer of cyber-physical control systems. The problem is …

Robust diagnosis of discrete-event systems against permanent loss of observations

LK Carvalho, MV Moreira, JC Basilio, S Lafortune - Automatica, 2013 - Elsevier
We consider the problem of diagnosing the occurrence of a certain unobservable event of
interest, the fault event, in the operation of a partially-observed discrete-event system subject …

On the equivalence of observation structures for Petri net generators

Y Tong, Z Li, A Giua - IEEE Transactions on Automatic Control, 2015 - ieeexplore.ieee.org
Observation structures considered for Petri net generators usually assume that the firing of
transitions may be observed through a static mask and that the marking of some places may …