Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

2004 ◽  
Vol 49 (6) ◽  
pp. 934-945 ◽  
Author(s):  
S. Jiang ◽  
R. Kumar
Keyword(s):  
Temporal Logic ◽  
Discrete Event Systems ◽  
Linear Time ◽  
Discrete Event ◽  
Failure Diagnosis ◽  
Event Systems ◽  
Linear Time Temporal Logic

scholarly journals Failure Diagnosis for Distributed Stochastic Discrete Event Systems

2017 ◽  
Vol 2017 ◽  
pp. 1-12 ◽  
Author(s):  
Xuena Geng ◽  
Dantong Ouyang ◽  
Xiangfu Zhao
Keyword(s):  
Large Scale ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Failure Diagnosis ◽  
Necessary And Sufficient Condition ◽  
Event Systems ◽  
Communication Events ◽  
Probabilistic Structure ◽  
Stochastic Discrete Event Systems ◽  
Necessary And Sufficient

Because of the complexity of the failure diagnosis for large-scale discrete event systems (DESs), DESs with decentralized information have received a lot of attention. DESs with communication events are defined as distributed DESs. Stochastic discrete event systems (SDESs) are DESs with a probabilistic structure. A-diagnosability is an important property in failure diagnosis of SDES. In this paper, we investigate A-diagnosability in distributed SDESs. We define a local model and global model. Moreover, we construct a synchronized stochastic diagnoser to check A-diagnosability in distributed SDESs. We also propose a necessary and sufficient condition for a distributed SDES to be A-diagnosable. Some examples are described to illustrate our algorithms.

Sign in / Sign up

Export Citation Format

Share Document