Abstract:Among notions of detectability for a discrete-event system (DES), strong detectability implies that after a finite number of observations to every output/label sequence generated by the DES, the current state can be uniquely determined. This notion is strong so that by using it the current state can be easily determined. In order to keep the advantage of strong detectability and weaken its disadvantage, we can additionally take some "subsequent outputs" into account in order to determine the current state. Such a modified observation will make some DES that is not strongly detectable become "strongly detectable in a weaker sense", which we call "{\it $K$-delayed strong detectability}" if we observe at least $K$ outputs after the time at which the state need to be determined. In this paper, we study $K$-delayed strong detectability for DESs modeled by finite-state automata (FSAs), and give a polynomial-time verification algorithm by using a novel concurrent-composition method. Note that the algorithm applies to all FSAs. Also by the method, an upper bound for $K$ has been found, and we also obtain polynomial-time verification algorithms for $(k_1,k_2)$-detectability and $(k_1,k_2)$-D-detectability of FSAs firstly studied by [Shu and Lin, 2013]. Our algorithms run in quartic polynomial time and apply to all FSAs, are more effective than the sextic polynomial-time verification algorithms given by [Shu and Lin 2013] based on the usual assumptions of deadlock-freeness and having no unobservable reachable cycle. Finally, we obtain polynomial-time synthesis algorithms for enforcing delayed strong detectability, which are more effective than the exponential-time synthesis algorithms in the supervisory control framework in the literature.

Safe diagnosis of pattern faults of stochastic discrete‐event systems and verification algorithm

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

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

Fault diagnosis of discrete-event systems under a general architecture

A New Algorithm for Testing Diagnosability of Fuzzy Discrete Event Systems

Asynchronous Fault Diagnosis of Stochastic Discrete-Event Systems in Industrial Applications

A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic

Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems

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

Robust Fault Diagnosis of Stochastic Discrete Event Systems

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Robust Predictability in Discrete Event Systems under Sensor Attacks

Fault Tolerant Supervisory for Discrete Event Systems Based on Event Observer

Study of Fault Diagnosis Method for Train Control System

Sensor Network Attack Synthesis against Fault Diagnosis of Discrete Event Systems

Iterative Interval Estimation-Based Fault Detection for Discrete Time T-S Fuzzy Systems.

On the verification of detectability for timed discrete event systems

Robust Diagnosability And Robust Prognosability Of Discrete-Event Systems Revisited

Detection, Isolation and Diagnosability Analysis of Intermittent Faults in Stochastic Systems

Revisiting delayed strong detectability of discrete-event systems