Computation of minimal event bases that ensure diagnosability
From MaRDI portal
Publication:692381
DOI10.1007/s10626-012-0129-zzbMath1252.93082MaRDI 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
90B25: Reliability, availability, maintenance, inspection in operations research
93C65: Discrete event control/observation systems
93B07: Observability
Related Items
Computation of minimal diagnosis bases of discrete-event systems using verifiers, Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications, Robust diagnosis of discrete event systems against intermittent loss of observations, Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches, Diagnosability verification using LTL model checking, Diagnosability of intermittent sensor faults in discrete event systems, Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability, Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems
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