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 …

A discrete event system (DES) is a dynamic system that evolves in accordance with the
abrupt occurrence, at possibly unknown irregular intervals, of physical events. Such systems …

Fault detection and isolation is a crucial and challenging task in the automatic control of
large complex systems. We propose a discrete-event system (DES) approach to the problem …

As man-made systems become more and more complex, diagnostics of component failures
is no longer an easy task that can be performed based on experience and intuition …

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 mapping, a …

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 …

A finite state automaton is adopted as a model for Discrete Event Dynamic Systems (DEDS).
Observations are assumed to be a subset of the event alphabet. Observability is defined as …

A methodology for the design of dynamical observers for hybrid plants is proposed. The
hybrid observer consists of two parts: a location observer and a continuous observer. The …

We analyze the observability of the continuous and discrete states of continuous-time linear
hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient …

Discrete-event systems (DESs) usually consist of discrete states and transitions between
them caused by spontaneous occurrences of labeled events. In this review article, we study …