Skip to Main content Skip to Navigation
Theses

Détection et diagnostic basés cohérence pour les systèmes à événements discrets : vers la prise en compte des erreurs de modélisation

Carmen Guadalupe Lopez-Varela 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : This thesis proposes a consistency-based detection and diagnosis method for discrete event systems. The method takes into account the possibility of errors within the models that are used as a reference of the correct behaviour of the system. The detection step is carried out by consistency verification between the observed behaviour and the one described in the system models. Since the models may be incorrect, detected inconsistencies can either correspond to failures of the process or to modelling errors. To distinguish between these two cases, it is necessary to determine the joint sub-models. Each observation brings useful information for the configuration identification between models. The on-line identification is based on a search in a graph that exhaustively describes the possible configurations of the models. Finally, the diagnosis principle consists in restoring the consistency with the observations by modifying the models.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00244013
Contributor : Arlette Evrard <>
Submitted on : Thursday, February 7, 2008 - 11:16:30 AM
Last modification on : Friday, January 10, 2020 - 9:10:11 PM
Long-term archiving on: : Tuesday, June 15, 2010 - 4:52:22 PM

Identifiers

  • HAL Id : tel-00244013, version 1

Citation

Carmen Guadalupe Lopez-Varela. Détection et diagnostic basés cohérence pour les systèmes à événements discrets : vers la prise en compte des erreurs de modélisation. Automatique / Robotique. INSA de Toulouse, 2007. Français. ⟨tel-00244013⟩

Share

Metrics

Record views

371

Files downloads

599