Computation of minimal diagnosis bases of discrete-event systems using verifiers

DOI10.1016/j.automatica.2016.11.026zbMath1355.93120OpenAlexW2573493234MaRDI QIDQ510094

Leonardo P. M. Santoro, João Carlos Basilio, Marcos Vicente Moreira

Publication date: 16 February 2017

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2016.11.026

zbMATH Keywords

discrete-event systemsfault diagnosisminimal diagnosis basesverifiers

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) System structure simplification (93B11)

Related Items (4)

Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Discrete event system identification with the aim of fault detection ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Computation of minimal event bases that ensure diagnosability
• Diagnosability of discrete event systems with modular structure
• On an optimization problem in sensor selection
• Robust diagnosis of discrete-event systems against permanent loss of observations
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Optimal sensor selection for ensuring diagnosability in labeled Petri nets
• “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal
• A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
• Introduction to Discrete Event Systems
• Active diagnosis of discrete-event systems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Diagnosability of discrete-event systems
• Finding All the Elementary Circuits of a Directed Graph
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Optimal sensor selection for discrete-event systems with partial observation
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

This page was built for publication: Computation of minimal diagnosis bases of discrete-event systems using verifiers