Modeling and qualitative simulation of hybrid systems

Résumé : Les systèmes hybrides sont au cœur des systèmes cyber-physiques. De tels systèmes représentent l’interaction de processus physiques continus modélisant généralement l'environnement avec des décisions discrètes issues d'un système de contrôle commande électronique. La vérification de ces systèmes est cruciale pour assurer leur sûreté dès la phase de modélisation. Les recherches sur les systèmes hybrides ont de nombreux domaines d’application, notamment le transport, l’aéronautique et la biologie. La thèse étudie des principes du raisonnement qualitatif et les applique à la vérification des systèmes hybrides. Le travail consiste à élaborer une méthode pour abstraire le système hybride en utilisant des principes qualitatifs. On recourt à une discrétisation finie de l'espace d'état tout en conservant des caractéristiques qualitatives du système. L'abstraction calculée permet de prouver des propriétés au niveau du système hybride concret et fournit une représentation du comportement global du système. Un outil développé en C++ permet de calculer l'abstraction d'un système hybride donné. Une évaluation de ses performances est établie. On s'intéresse particulièrement à une propriété de sûreté des systèmes appelée diagnosticabilité. Un modèle de système est dit diagnosticable s'il permet d'identifier sans ambiguïté la survenue de toute faute modélisée à partir des seules observations disponibles du système jusqu’à un certain délai après l’occurrence de la faute. Une méthode qui consiste à utiliser l'abstraction établie précédemment pour vérifier la diagnosticabilité d'un système hybride est proposée.
Type de document :
Thèse
Modeling and Simulation. Université Paris-Saclay, 2018. English. 〈NNT : 2018SACLS493〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01947003
Contributeur : Abes Star <>
Soumis le : jeudi 6 décembre 2018 - 14:58:07
Dernière modification le : samedi 8 décembre 2018 - 01:20:49

Fichier

70007_ZAATITI_2018_archivage.p...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01947003, version 1

Citation

Hadi Zaatiti. Modeling and qualitative simulation of hybrid systems. Modeling and Simulation. Université Paris-Saclay, 2018. English. 〈NNT : 2018SACLS493〉. 〈tel-01947003〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

75