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.