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

DOI10.1016/J.AUTOMATICA.2012.09.017MaRDI QIDQ1939629zbMATH OpenOpenAlexFDO

Authors J. C. Basilio, Stéphane Lafortune, Lilian Kawakami Carvalho, M. V. Moreira

Publication date 4 March 2013

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2012.09.017

zbMATH Keywords

discrete-event systemsfault diagnosissensor failuresrobust diagnosability

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Discrete event control/observation systems (93C65)

Recommendations

• Robust diagnosis of discrete event systems against intermittent loss of observations
• \(K\)-loss robust codiagnosability of discrete-event systems
• Verification of robust diagnosability for partially observed discrete event systems
• Diagnosability of discrete event systems subject to permanent sensor failures
• A general framework for diagnosis of discrete event systems subject to sensor failures

Cited in

(22)

• Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
• Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
• Diagnosis of discrete-event systems from uncertain temporal observations
• Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks
• \(K\)-loss robust codiagnosability of discrete-event systems
• Discrete event system identification with the aim of fault detection
• Verification of robust diagnosability for partially observed discrete event systems
• Diagnosability of intermittent sensor faults in discrete event systems
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Robust corrective control of asynchronous sequential machines with control input and feedback faults
• Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
• Robust predictability of stochastic discrete-event systems and a polynomial-time verification
• A general framework for diagnosis of discrete event systems subject to sensor failures
• Decentralized diagnosis of discrete event systems subject to permanent sensor failures
• Diagnosability of discrete event systems subject to permanent sensor failures
• Robust prognosability for a set of partially observed discrete event systems
• Decentralized observability of discrete event systems with synchronizations
• A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
• Verification of safe diagnosability of stochastic discrete-event systems
• STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
• Robust diagnosis of discrete event systems against intermittent loss of observations
• Computation of minimal diagnosis bases of discrete-event systems using verifiers

This page was built for publication: Robust diagnosis of discrete-event systems against permanent loss of observations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1939629)