Abstract Fault diagnosis of Discrete Event Systems has become an active research area in
recent years. The research activity in this area is driven by the needs of many different …

This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

Introduction to Diagnosis and Fault-Tolerant Control | SpringerLink Skip to main content
Advertisement Springer Nature Link Account Menu Find a journal Publish with us Track your …

The deployment of control systems with network-connected components has made feedback
control systems vulnerable to attacks over the network. This paper considers the problem of …

By decentralized diagnosis we mean diagnosis using multiple diagnosers, each possessing
its own set of sensors, without involving any communication among diagnosers or to any …

Abstract System resilience captures the ability of the system to withstand a major disruption
within acceptable performance degradation and to recover within an acceptable time frame …

In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the
standard notion of diagnosability of languages, requiring that every occurrence of an …

The first step in the diagnosis of failure occurrences in discrete event systems is the
verification of the system diagnosability. Several works have addressed this problem using …

The paper studies failure diagnosis of discrete-event systems (DESs) with linear-time
temporal logic (LTL) specifications. The LTL formulas are used for specifying failures in the …

In this paper, we present a procedure for the state estimation and fault diagnosis of a labeled
Time Petri net system. Starting from the State Class Graph defined by Berthomieu and Diaz …