Une approche efficace pour l’étude de la diagnosticabilité et le diagnostic des SED modélisés par Réseaux de Petri labellisés : contextes atemporel et temporel

Une approche efficace pour l’étude de la diagnosticabilité et le diagnostic des SED modélisés par Réseaux de Petri labellisés : contextes atemporel et temporel

Show other versions (1)

Cette thèse s'intéresse à l'étude des problèmes de diagnostic des fautes sur les systèmes à événements discrets en utilisant les modèles réseau de Petri. Des techniques d'exploration incrémentale et à-la-volée sont développées pour combattre le problème de l'explosion de l'...

Full description

Bibliographic Details
Main Author: Liu, Baisi
Other Authors: Ecole centrale de Lille
Language:en
Published: 2014
Subjects:
Diagnostic de faute
Diagnosticabilité
Système à événement discret
Réseau de Petri labellisé
Analyses à la volée
Approche Incrémentale
Fractionnement des Intervalles de Temps
Sécurité ferroviaire
Fault diagnosis
Diagnosability
Discrete event system
Labeled Petri net
On-the-fly analysis
Incremental Approach
Time interval splitting
Railway safety
Online Access:http://www.theses.fr/2014ECLI0007/document

Internet

http://www.theses.fr/2014ECLI0007/document

Similar Items