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
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
