Soutenance de thèse de Monsieur Aiwen LAI

10h00 | Amphi E | Polytech Angers | 62, avenue Notre-Dame du Lac 49000 ANGERS

Le 30 septembre 2019

Sujet : State estimation, verification of detectability and opacity in weighted automata

Directeur de thèse : Monsieur Sébastien LAHAYE

Résumé

Cette thèse porte sur l’estimation d’état, le diagnostic d’erreur et la vérification de la détectabilité de l’état actuel, de la détectabilité de l’état initial et de l’opacité de l’état initial dans le cadre des automates pondérés.