Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability

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

zbMATH Keywords

discrete event systemsautomatoncopredictability verificationonline fault prediction

Mathematics Subject Classification ID

Decentralized systems (93A14) Discrete event control/observation systems (93C65)

Uses Software

• UMDES

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