An Efficient Approach for Online Diagnosis of Discrete Event Systems
From MaRDI portal
Publication:4974517
DOI10.1109/TAC.2009.2014932zbMath1367.93358OpenAlexW2108963340MaRDI QIDQ4974517
Pasquale Chiacchio, Francesco Basile, Gianmaria De Tommasi
Publication date: 8 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2009.2014932
Related Items (22)
Diagnosability of Petri nets with observation graphs ⋮ Stochastic DES fault diagnosis with coloured interpreted Petri nets ⋮ Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach ⋮ \(N\)-diagnosability for active on-line diagnosis in discrete event systems ⋮ Supervisory control of discrete-event systems under external attacks ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Fault diagnosis observer design for discrete-time delayed complex interconnected networks with linear coupling ⋮ Model-based fault identification of discrete event systems using partially observed Petri nets ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Detection of temporal anomalies for partially observed timed PNs ⋮ Model identification of unobservable behavior of discrete event systems using Petri nets ⋮ Fault detection for discrete event systems using Petri nets with unobservable transitions ⋮ On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets ⋮ On-line verification of current-state opacity by Petri nets and integer linear programming ⋮ Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships ⋮ Relative predictability of failure event occurrences and its opacity-based test algorithm ⋮ Diagnosis of Petri Nets ⋮ The On-Line Diagnosis of Time Petri Nets ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets ⋮ Diagnosis on a sliding window for partially observable Petri nets
This page was built for publication: An Efficient Approach for Online Diagnosis of Discrete Event Systems