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 modular discrete event system is modeled by a set of module automata running
synchronously. In this paper, we investigate the complexity of the verification problems of …

Motivated by safety-critical applications in cyber–physical systems, in this paper we study
the notion of critical observability and design of observers for networks of Finite State …

Diagnosability property ensures that a predefined set of faults are diagnosable by a
centralized diagnoser built using a global model of the system, while co-diagnosability …

In this paper, we study the diagnosability verification for modular discrete-event systems
(DESs), ie, DESs that are composed of multiple components. We focus on a particular …

The diagnosis of possible faults in railway signaling systems is an important issue to provide
safe travel and transportation in railways. Signaling system designers have to consider the …

In general, systems are formed by the composition of several modules, local components or
subsystems, and may exhibit a large number of states. The growth of the global system …

In this paper, we introduce the idea of abstraction-based diagnosability for large-scale
composed discrete event systems that consist of multiple subsystems. To this end, we …

In this paper, we investigate the verification of codiagnosability for discrete event systems
(DES). That is, it is desired to ascertain if the occurrence of system faults can be detected …

Automated systems are subject to failures that can alter their expected behavior, leading to a
decrease in their performance, and possibly causing equipment damages. In this work, we …