Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
From MaRDI portal
Publication:2682315
DOI10.1016/j.automatica.2022.110769OpenAlexW4312056393MaRDI QIDQ2682315
João Carlos Basilio, Raphael Julio Barcelos
Publication date: 31 January 2023
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2022.110769
Uses Software
Cites Work
- Unnamed Item
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound
- Computation of minimal diagnosis bases of discrete-event systems using verifiers
- Computation of minimal event bases that ensure diagnosability
- Predictability of event occurrences in partially-observed discrete-event systems
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
- 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
- Robust prognosability for a set of partially observed discrete event systems
- “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal
- Stochastic Failure Prognosability of Discrete Event Systems
- Introduction to Discrete Event Systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Diagnosability of discrete-event systems
- Decentralized Prognosis of Failures in Discrete Event Systems
- Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
- Depth-First Search and Linear Graph Algorithms
This page was built for publication: Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
