Computation of minimal event bases that ensure diagnosability
From MaRDI portal
Publication:692381
DOI10.1007/s10626-012-0129-zzbMath1252.93082OpenAlexW2020045686MaRDI QIDQ692381
João Carlos Basilio, Marcos Vicente Moreira, Stéphane Lafortune, Saulo Telles Souza Lima
Publication date: 5 December 2012
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-012-0129-z
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65) Observability (93B07)
Related Items (8)
Diagnosability of intermittent sensor faults in discrete event systems ⋮ Robust diagnosis of discrete event systems against intermittent loss of observations ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Diagnosability verification using LTL model checking
Uses Software
Cites Work
- Unnamed Item
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Diagnosis of discrete event systems using decentralized architectures
- Optimal sensor activation for diagnosing discrete event systems
- Diagnosability of discrete event systems and its applications
- Distributed monitoring of concurrent and asynchronous systems
- Model-based detection of routing events in discrete flow networks
- On an optimization problem in sensor selection
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Introduction to Discrete Event Systems
- Covering Graphs by Simple Circuits
- Template languages for fault monitoring of timed discrete event processes
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Diagnosability of discrete-event systems
- Optimal sensor selection for discrete-event systems with partial observation
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- NP-completeness of sensor selection problems arising in 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
This page was built for publication: Computation of minimal event bases that ensure diagnosability
