Computation of minimal diagnosis bases of discrete-event systems using verifiers
From MaRDI portal
Publication:510094
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
Related Items
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
Cites Work
- 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
- Unnamed Item
- Unnamed Item