Thèse soutenue

Estimation d'état et vérification de la détectabilité et de l'opacité dans les automates pondérés

FR  |  
EN
Auteur / Autrice : Aiwen Lai
Direction : Sébastien LahayeAlessandro Giua
Type : Thèse de doctorat
Discipline(s) : Automatique, signal, productique, robotique
Date : Soutenance le 30/09/2019
Etablissement(s) : Angers
Ecole(s) doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)
Partenaire(s) de recherche : Equipe de recherche : Laboratoire Angevin de Recherche en Ingénierie des Systèmes (EA7315)
Laboratoire : Laboratoire Angevin de Recherche en Ingénierie des Systèmes / LARIS
Jury : Président / Présidente : Isabel Demongodin
Examinateurs / Examinatrices : Stéphane Gaubert, Zhiwu Li, Bertrand Cottenceau
Rapporteurs / Rapporteuses : Jan Komenda, Stéphane Gaubert

Résumé

FR  |  
EN

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´ détectabilité de l'état initial et de l’opacité de l'état initial dans le cadre des automates pondérés.