Robust diagnosis of discrete event systems against intermittent loss of observations

DOI10.1016/J.AUTOMATICA.2012.06.042zbMath1258.93077OpenAlexW1981008659MaRDI QIDQ1937482

João Carlos Basilio, Lilian Kawakami Carvalho, Marcos Vicente Moreira

Publication date: 1 March 2013

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

fault diagnosisdiscrete event systemsautomatonintermittent loss of observationslanguage dilationrobust diagnosabilityrobust language

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)

Related Items (23)

Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks ⋮ \(K\)-loss robust codiagnosability of discrete-event systems ⋮ Multi-step prediction of time series with random missing data ⋮ Robust predictability of stochastic discrete-event systems and a polynomial-time verification ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Diagnosability of intermittent sensor faults in discrete event systems ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Information control in networked discrete event systems and its application to battery management systems ⋮ Detection and mitigation of classes of attacks in supervisory control systems ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation ⋮ Discrete event system identification with the aim of fault detection ⋮ Diagnosability of discrete event systems subject to permanent sensor failures ⋮ Opacity of networked discrete event systems ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Diagnosability verification using LTL model checking ⋮ Robust supervisory control of discrete event systems against intermittent loss of observations ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Computation of minimal event bases that ensure diagnosability
• Diagnosability of discrete event systems with modular structure
• Diagnosis of discrete event systems using decentralized architectures
• Diagnosability of discrete event systems and its applications
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Introduction to Discrete Event Systems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Diagnosability of discrete-event systems
• Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
• Fault Diagnosis for Timed Automata

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