The correct behavior of a real-world application is the ultimate requirement, particularly for
systems such as communication protocols, manufacturing and real-time systems. Indeed, a …

This paper proposes a state estimation technique in a decentralized context for time
dependent systems. The plant of the studied system is modeled by P-time labeled Petri nets …

The paper addresses the fault detection problem for discrete event systems in a Petri Net
(PN) framework. Assuming that the structure of the PN model and the initial marking are …

The problem of fault diagnosis of discrete event systems (DESs) concerns the capacity to
detect the occurrence of fault events. In this work, we present a new fault diagnoser that uses …

The paper addresses the fault detection problem for discrete event systems on the basis of a
Petri Net (PN) model. Assuming that the structure of the PN and the initial marking are …

This paper generalizes a previous result on the diagnosis of discrete event systems in a
Petri Net framework and based on Integer Linear Programming problem solutions. In …

In a previous paper we presented an approach to identify a faulty model for timed discrete
event systems when the nominal model is known, given a set of observed timed sequences …

This paper presents a diagnosability technique of a P-time Petri net under partial
observation. Indeed, the set of transitions is partitioned into those labeled with the empty …

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 fault diagnosis in Petri net systems is usually performed by using a diagnoser, which is
a system built off line but usually having a big state space. In this paper it is shown that …