Accès direct au contenu

Lurpa

Version anglaise

aide

LURPA > Historique > Équipe ISA

Identification Comportementale "Boîte-noire" des Systèmes à Evénements Discrets par Réseaux de Petri Interprétés

le 30 juin 2016

Thèse de Jérémie SAIVES (LURPA) Domaine : Electronique - Electrotechnique - Automatique

Jérémie SAIVES

Jérémie SAIVES

Jury

Mots-clés : Identification, Systèmes à Evénements Discrets, Systèmes réactifs, Réseaux de Petri Interprétés, Rétro-ingénierie

Résumé : Cette thèse contribue à l'identification de modèles compacts et expressifs de Systèmes à Evénements Discrets (SED) réactifs, à des fins de rétro-conception ou de certification. L'identification est passive, et boîte-noire, la connaissance se limitant aux signaux d'entrées/sorties du système. Les Réseaux de Petri Interprétés (RdPI) permettent de modéliser à la fois le comportement observable (causalités entrées/sorties observées directement), et le comportement non observable du système (évolutions de variables internes). Cette thèse vise à identifier des modèles RdPI à partir d'une séquence observée de vecteurs entrées/sorties. Notamment, l'enjeu étant de traiter des systèmes concurrents de taille réaliste, l'approche développée permet le passage à l'échelle de résultats précédents.

La construction de la partie observable est d'abord améliorée par l'ajout d'un filtre. Celui-ci détecte et supprime les synchronisations parasites causées par le contrôleur en présence de systèmes concurrents. Une nouvelle approche est ensuite proposée pour découvrir la partie non observable, basée sur l'utilisation de projections, et garantissant la reproductibilité du comportement observé malgré la concurrence. Une heuristique permet de construire un modèle satisfaisant pour la rétro-ingénierie, à coût de calcul limité. Enfin, une approche distribuée est proposée pour réduire davantage le coût de calcul, en partitionnant automatiquement le système en sous-systèmes. L'effet cumulatif de ces contributions est illustré par l'identification de RdPI sur un système de taille raisonnable, validant leur efficacité.


Jérémie SAIVES
Type :
Thèses - HDR

Laboratoire d'accueil

Mémoire de thèse

  • Version diffusée via l'archive ouverte [pas encore publiée]
TamponHal

Recherche d'une actualité

Recherche d'une actualité