Thèse en cours

Abstraction et raffinement formels de systèmes hybrides
FR  |  
EN
Auteur / Autrice : Mariem Hammami
Direction : Catalin DimaRé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

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.