Robust codiagnosability of discrete-event systems against permanent loss of observations

Tomola, Jean H. A.; Moreira, Marcos V.; Basilio, João Carlos; Carvalho, Lilian K.

doi:10.1109/coase.2015.7294181

Cited by 2 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Diagnosability analysis for systems subject to permanent sensor failures were studied in [13], [24], [45], [50]. In this context, once a sensor fails, it will never recover, i.e., the underlying event becomes unobservable thereafter.…”

Section: B Literature Review On Diagnosis With Unreliable Sensorsmentioning

confidence: 99%

See 1 more Smart Citation

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

Dong¹,

Yin²,

Li³

2022

Preprint

View full text Add to dashboard Cite

In this paper, we investigate the diagnosability verification problem of partially-observed discrete-event systems (DES) subject to unreliable sensors. In this setting, upon the occurrence of each event, the sensor reading may be nondeterministic due to measurement noises or possible sensor failures. Existing works on this topic mainly consider specific types of unreliable sensors such as the cases of intermittent sensors failures, permanent sensor failures or their combinations. In this work, we propose a novel uniform framework for diagnosability of DES subject to, not only sensor failures, but also a very general class of unreliable sensors. Our approach is to use linear temporal logic (LTL) with semantics on infinite traces to describe the possible behaviors of the sensors. A new notion of ϕ-diagnosability is proposed as the necessary and sufficient condition for the existence of a diagnoser when the behaviors of sensors satisfy the LTL formula ϕ. Effective approach is provided to verify this notion. We show that, our new notion of ϕ-diagnosability subsumes all existing notions of robust diagnosability of DES subject to sensor failures. Furthermore, the proposed framework is user-friendly and flexible since it supports an arbitrary user-defined unreliable sensor type based on the specific scenario of the application. As examples, we provide two new notions of diagnosability, which have never been investigated in the literature, using our uniform framework.

show abstract

Section: B Literature Review On Diagnosis With Unreliable Sensorsmentioning

confidence: 99%

“…This assumption was then relaxed by [24], which allows that permanent sensor failures can happen at any instant. The results in [13] and [24] have also been extended to the decentralized setting by [45] and [50], respectively.…”

Section: B Literature Review On Diagnosis With Unreliable Sensorsmentioning

confidence: 99%