Computation of minimal event bases that ensure diagnosability

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

zbMATH Keywords

fault diagnosisdiscrete event systemssensor selection

Mathematics Subject Classification ID

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

• UMDES

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