Robust diagnosis of discrete event systems against intermittent loss of observations
From MaRDI portal
Publication:1937482
DOI10.1016/J.AUTOMATICA.2012.06.042zbMATH Open1258.93077OpenAlexW1981008659MaRDI QIDQ1937482FDOQ1937482
Authors: J. C. Basilio, Lilian Kawakami Carvalho, M. V. 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
Recommendations
- Robust diagnosis of discrete-event systems against permanent loss of observations
- \(K\)-loss robust codiagnosability of discrete-event systems
- Diagnosability of intermittent sensor faults in discrete event systems
- Robust supervisory control of discrete event systems against intermittent loss of observations
- Verification of robust diagnosability for partially observed discrete event systems
automatondiscrete event systemsfault diagnosisintermittent loss of observationslanguage dilationrobust diagnosabilityrobust language
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Cites Work
- Introduction to Discrete Event Systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- Title not available (Why is that?)
- Diagnosability of discrete-event systems
- Diagnosability of stochastic discrete-event systems
- Diagnosis of discrete event systems using decentralized architectures
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Diagnosability of discrete event systems and its applications
- Diagnosability of discrete event systems with modular structure
- Computation of minimal event bases that ensure diagnosability
- Fault diagnosis for timed automata
- Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
Cited In (27)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- Opacity of networked discrete event systems
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- Robust diagnosis of discrete-event systems against permanent loss of observations
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- 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
- 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
- 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
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
- Enforcing current-state opacity through shuffle and deletions of event observations
- Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
- Robust Fault Diagnosis of Stochastic Discrete Event Systems
- Diagnosability verification using LTL model checking
- Information control in networked discrete event systems and its application to battery management systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Robust supervisory control of discrete event systems against intermittent loss of observations
- Detection and mitigation of classes of attacks in supervisory control systems
Uses Software
This page was built for publication: Robust diagnosis of discrete event systems against intermittent loss of observations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1937482)
