Abstraction et raffinement formels de systèmes hybrides
FR |
EN
Auteur / Autrice : | Mariem Hammami |
Direction : | Catalin Dima, Régine Laleau |
Type : | Projet de thèse |
Discipline(s) : | Informatique |
Date : | Inscription en doctorat le 15/10/2020 |
Etablissement(s) : | Paris 12 |
Ecole(s) doctorale(s) : | École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication |
Partenaire(s) de recherche : | Laboratoire : LACL - Laboratoire d'Algorithmique, Complexité et Logique |
Mots clés
FR |
EN
Mots clés libres
Résumé
FR |
EN
Définir des notions d'abstraction et raffinement sur les automates hybrides. Ensuite, identifier des sous-classes des automates hybrides et des contraintes permettant d'avoir des raffinements décidables. L'objectif est d'appliquer la méthodologie obtenue à la synthèse de contrôleurs discrets pour des systèmes hybrides modélisés par des automates hybrides. La méthodologie sera implémentée dans un prototype et validée sur des études de cas en lien avec le projet ANR Discont.