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 …

Reliably diagnosing faults and malfunctions has become increasingly challenging in
modern technical systems because of their growing complexity as well as increasingly …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

We address the problem of failure diagnosis in discrete event systems with decentralized
information. We propose a coordinated decentralized architecture consisting of local sites …

In this paper, we investigate opacity of discrete event systems. We define two types of
opacities: strong opacity and weak opacity. Given a general observation map**, a …

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 …

The problem under consideration in this paper is that of enforcement by supervisory control
of a given property on a partially-observed discrete-event system. We present a general …

Autonomous robots operating in uncertain or hazardous environments subject to state safety
constraints must be able to identify and isolate faulty components in a time-optimal manner …

A state-based approach for online passive fault diagnosis in systems modeled as finite-state
automata is presented. In this framework, the system and the diagnoser (the fault detection …

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 …