Abstract:The state inference problem and fault diagnosis/prediction problem are fundamental topics in many areas. In this paper, we consider discrete-event systems (DESs) modeled by finite-state automata (FSAs). There exist results for decentralized versions of the latter problem but there is almost no result for a decentralized version of the former problem. We propose a decentralized version of strong detectability called co-detectability which implies that once a system satisfies this property, for each generated infinite-length event sequence, at least one local observer can determine the current and subsequent states after a common observation time delay. We prove that the problem of verifying co-detectability of FSAs is coNP-hard. Moreover, we use a unified concurrent-composition method to give PSPACE verification algorithms for co-detectability, co-diagnosability, and co-predictability of FSAs, without any assumption or modifying the FSAs under consideration, where co-diagnosability is firstly studied by [Debouk & Lafortune & Teneketzis 2000], while co-predictability is firstly studied by [Kumar \& Takai 2010]. By our proposed unified method, one can see that in order to verify co-detectability, more technical difficulties will be met compared to verifying the other two properties, because in co-detectability, generated outputs are counted, but in the latter two properties, only occurrences of events are counted. For example, when one output was generated, any number of unobservable events could have occurred. The PSPACE-hardness of verifying co-diagnosability is already known in the literature. In this paper, we prove the PSPACE-hardness of verifying co-predictability.

Three Kinds of Coprognosability for Partially-Observed Discrete Event Systems Via a Matrix Approach

A State Space Approach to Decentralized Fault SE-Coprognosability of Partially Observed Discrete Event Systems

Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification

Z-Reliable SE-Coprognosability of Discrete Event Systems and an Algebraic State Space Approach to Verification

A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems

Strong Fault Prognosability of Partially-Observed Discrete Event Systems

Robust Diagnosability And Robust Prognosability Of Discrete-Event Systems Revisited

Distributed Diagnosis of Discrete-Event Systems under Dynamic Event Observations.

On the Effect of Dynamic Event Observations in Distributed Fault Prognosis of Discrete-event Systems

A New Approach for Verification of Delay Coobservability of Discrete-Event Systems

Fault-prognosability, K -step prognosis and K -step predictive diagnosis in partially observed petri nets by means of algebraic techniques

Robust Predictability in Discrete Event Systems under Sensor Attacks

Semi-Tensor Product of Matrices Approach to the Problem of Fault Detection for Discrete Event Systems (Dess).

Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets

Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness

Robust Fault Diagnosis of Stochastic Discrete Event Systems

Probabilistic Logical Approach for Testing Diagnosability of Stochastic Discrete Event Systems.

I-S Detectability of Partially-Observed Discrete Event Systems: a Novel Matrix-Based Method

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach