Decentralized Diagnosis of Stochastic Discrete Event Systems

DOI10.1109/TAC.2007.915172zbMath1367.93621OpenAlexW2146566646WikidataQ62049447 ScholiaQ62049447MaRDI QIDQ4974152

Zhujun Fan, Hongyan Xing, Fuchun Liu, Dao Wen Qiu

Publication date: 8 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2007.915172

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Related Items

A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization, Robust predictability of stochastic discrete-event systems and a polynomial-time verification, Correctability of fault-tolerant stochastic discrete-event systems, A necessary and sufficient condition for diagnosability of stochastic discrete event systems, Polynomial-time verification of diagnosability of fuzzy discrete event systems, Decentralized diagnosis of fuzzy discrete-event systems, A new algorithm for testing diagnosability of fuzzy discrete event systems, Failure diagnosis for distributed stochastic discrete event systems, Nonblocking check in fuzzy discrete event systems based on observation equivalence, Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm, Reliable supervisory control for general architecture of decentralized discrete event systems, Analysis and control of fuzzy discrete event systems using bisimulation equivalence, Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence, Verification of safe diagnosability of stochastic discrete-event systems