Abstract Fault diagnosis of Discrete-Event Systems consists of detecting and isolating the
occurrence of faults within a bounded number of event occurrences. Recently, a new model …

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 composed model …

In this paper, we present a method for discrete event system identification with the aim of
fault detection. The method is based on a new model called Deterministic Automaton with …

Recently, the decentralized synchronous diagnosis (DESD) method has been proposed for
Discrete-Event Systems composed of several modules or subsystems, where the size of the …

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 …

Recently, the centralized and decentralized synchronous diagnosis of discrete-event
systems have been proposed in the literature. In this paper, we propose a different …

Software validation aims to ensure that a particular software product fulfils its intended
purpose, and needs to be performed against both software requirement as well as its …

In this paper, we present a new model for discrete-event system identification that is suitable
for fault detection, called Deterministic Automaton with Outputs and Conditional Transitions …

This thesis deals with fault diagnosis of discrete event systems modeled by labeled Petri
nets (LPN). The monolithic diagnosability and modular diagnosability issues are addressed …

Industrial systems have to support an ever-increasing number of possible configurations.
Machine control applications that determine the behaviour of these systems become …