Génération automatique de modèles pour la supervision des systèmes dynamiques hybrides : application aux systèmes ferroviaires

Ce travail de thèse présente différentes contributions pour la génération automatique de modèles représentant les Systèmes Dynamiques Hybrides (SDH) caractérisés par plusieurs modes de fonctionnement. Les composants du système (notamment les capteurs) peuvent être manuellement sélectionnée ou automa...

Full description

Bibliographic Details
Main Author: Six, Béranger
Other Authors: Lille 1
Language:fr
Published: 2018
Subjects:
Online Access:http://www.theses.fr/2018LIL1I048