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 SpringerLink Account Menu Find a journal Publish with us Track your research …

In this paper we present a fault detection approach for discrete event systems using Petri
nets. We assume that some of the transitions of the net are unobservable, including all those …

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 …

Opacity is a confidentiality property that captures whether an intruder can infer a “secret” of a
system based on its observation of the system behavior and its knowledge of the system's …

This book addresses the growing need for systematic state estimation and event inference
techniques, as well as efficient verification of related properties, in discrete event systems …

In this paper, we consider the diagnosis of asynchronous discrete event systems. We follow
a so-called true concurrency approach, in which no global state and no global time is …

In this paper an approach to on-line diagnosis of discrete event systems based on labeled
Petri nets is presented. The approach is based on the notion of basis markings and …

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 …