Verification of safe diagnosability of stochastic discrete-event systems

DOI10.1080/00207179.2020.1795269zbMath1482.93385OpenAlexW3041102273MaRDI QIDQ5027364

Rui Zhao, Pengbiao Yang, Zbigniew Dziong, Fuchun Liu

Publication date: 4 February 2022

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179.2020.1795269

zbMATH Keywords

discrete-event systemsstochastic automatafailure diagnosisverifiersafe diagnosability

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Uses Software

• UMDES

Cites Work

• Polynomial-time verification of diagnosability of fuzzy discrete event systems
• Robust diagnosis of discrete-event systems against permanent loss of observations
• Safe diagnosability for fault-tolerant supervision of discrete-event systems
• Introduction to Discrete Event Systems
• Discrete-event control of nondeterministic systems
• Diagnosability of discrete-event systems
• Decentralized Diagnosis of Stochastic Discrete Event Systems
• Safe Diagnosability of Stochastic Discrete Event Systems
• Robust Fault Diagnosis of Stochastic Discrete Event Systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Global and local consistencies in distributed fault diagnosis for discrete-event systems
• Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems

This page was built for publication: Verification of safe diagnosability of stochastic discrete-event systems