English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this paper, we investigate the diagnosability verification problem ofpartially-observed discrete-event systems (DES) subject to unreliable sensors.In this setting, upon the occurrence of each event, the sensor reading may benon-deterministic due to measurement noises or possible sensor failures.Existing works on this topic mainly consider specific types of unreliablesensors such as the cases of intermittent sensors failures, permanent sensorfailures or their combinations. In this work, we propose a novel \emph{uniformframework} for diagnosability of DES subject to, not only sensor failures, butalso a very general class of unreliable sensors. Our approach is to use lineartemporal logic (LTL) with semantics on infinite traces to describe the possiblebehaviors of the sensors. A new notion of $\varphi$-diagnosability is proposedas the necessary and sufficient condition for the existence of a diagnoser whenthe behaviors of sensors satisfy the LTL formula $\varphi$. Effective approachis provided to verify this notion. We show that, our new notion of$\varphi$-diagnosability subsumes all existing notions of robust diagnosabilityof DES subject to sensor failures. Furthermore, the proposed framework isuser-friendly and flexible since it supports an arbitrary user-definedunreliable sensor type based on the specific scenario of the application. Asexamples, we provide two new notions of diagnosability, which have never beeninvestigated in the literature, using our uniform framework.

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