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 …

[КНИГА][B] Introduction to discrete event systems

CG Cassandras, S Lafortune - 2008 - Springer
After going through all the previous chapters, it would be natural for readers to conclude that
DES are inherently complex and hard to analyze, regardless of the modeling framework …

[КНИГА][B] Introduction to diagnosis and fault-tolerant control

M Blanke, M Kinnaert, J Lunze, M Staroswiecki… - 2016 - Springer
Introduction to Diagnosis and Fault-Tolerant Control | SpringerLink Skip to main content
Advertisement Springer Nature Link Account Menu Find a journal Publish with us Track your …

Polynomial time verification of decentralized diagnosability of discrete event systems

MV Moreira, TC Jesus, JC Basilio - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
The first step in the diagnosis of failure occurrences in discrete event systems is the
verification of the system diagnosability. Several works have addressed this problem using …

Decentralized diagnosis by Petri nets and integer linear programming

X Cong, MP Fanti, AM Mangini… - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
This paper proposes a novel decentralized on-line fault diagnosis approach based on the
solution of some integer linear programming problems for discrete event systems in a Petri …

Decentralised LTL monitoring

A Bauer, Y Falcone - International Symposium on Formal Methods, 2012 - Springer
Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …

Robust diagnosis of discrete event systems against intermittent loss of observations

LK Carvalho, JC Basilio, MV Moreira - Automatica, 2012 - Elsevier
In the usual approaches to fault diagnosis of discrete event systems it is assumed that not
only all sensors work properly but also all information reported by sensors always reaches …

Decentralised LTL monitoring

A Bauer, Y Falcone - Formal Methods in System Design, 2016 - Springer
Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …

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 …