Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
From MaRDI portal
Publication:2058490
DOI10.1007/s10626-020-00324-yzbMath1478.93382OpenAlexW3084305799MaRDI QIDQ2058490
João Carlos Basilio, Abderraouf Boussif, Mohamed Ghazel
Publication date: 9 December 2021
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-020-00324-y
Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Observability (93B07)
Related Items
Probabilistic verification of diagnosability for a certain class of timed stochastic systems, \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Computation of minimal diagnosis bases of discrete-event systems using verifiers
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
- Computation of minimal event bases that ensure diagnosability
- Diagnosis of intermittent faults
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
- State observer for DES under partial observation with time Petri nets
- On observability of discrete-event systems
- Diagnosability of discrete event systems and its applications
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Model-based detection of routing events in discrete flow networks
- Diagnosability of repairable faults
- Shortest paths algorithms: Theory and experimental evaluation
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Diagnosability of intermittent sensor faults in discrete event systems
- “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal
- Comments on “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” versus “Decentralized Failure Diagnosis of Discrete Event Systems”: Complexity Clarification
- Diagnosability Analysis of Discrete Event Systems with Autonomous Components
- Introduction to Discrete Event Systems
- Control problems in a temporal logic framework
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Scaling Algorithms for the Shortest Paths Problem
- Diagnosability of discrete-event systems
- Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults
- Finding All the Elementary Circuits of a Directed Graph
- Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
- Diagnosability of stochastic discrete-event systems
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
