Skip to Main content Skip to Navigation
Theses

Estimation et diagnostic de réseaux de Petri partiellement observables

Abstract : With the evolution of technology, humans have made available systems increasingly complex but also increasingly sensitive to faults that may affect it. A diagnostic procedure which contributes to the smooth running of the process is thus necessary. In this context, the aim of this thesis is the diagnosis of discrete event systems modeled by partially observed Labeled Petri Nets (LPNs). Under the assumption that each defect is modeled by the firing of an unobservable transition, two diagnostic approaches based on state estimation are developed. A first approach is to estimate the set of basis markings on a sliding elementary horizon. This approach is carried out in two steps. The first step is to determine a set of candidate vectors from an algebraic approach. The second step is to eliminate the calculated candidate solutions that are not associated with a possible trajectory of the LPN. As the set of basis markings can also be huge, a second diagnostic approach will avoid this pitfall by not estimating the markings. A relaxation technique of Integer Linear Programming (ILP) problems on a receding horizon is used to have a diagnosis in polynomial time.
Document type :
Theses
Complete list of metadatas

Cited literature [106 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02316020
Contributor : Abes Star :  Contact
Submitted on : Tuesday, October 15, 2019 - 9:23:07 AM
Last modification on : Tuesday, March 31, 2020 - 3:25:13 PM
Long-term archiving on: : Thursday, January 16, 2020 - 12:57:55 PM

File

these_CHOUCHANE_DARDOUR.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02316020, version 1

Citation

Amira Dardour. Estimation et diagnostic de réseaux de Petri partiellement observables. Automatique. Université d'Angers; École nationale d'ingénieurs de Sfax (Tunisie), 2018. Français. ⟨NNT : 2018ANGE0054⟩. ⟨tel-02316020⟩

Share

Metrics

Record views

70

Files downloads

54