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

State estimation and verification of detectability and opacity in weighted automata

• Auteur / Autrice : Aiwen Lai
• Direction : Sébastien Lahaye, Alessandro 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 : LARIS. Laboratoire Angevin de Recherche en Ingénierie des Systèmes (EA7315)
• Partenaire(s) de recherche : Laboratoire : Laboratoire Angevin de Recherche en Ingénierie des Systèmes / LARIS
• Jury : Président / Présidente : Isabel Demongodin
• Jury : Examinateurs / Examinatrices : Stéphane Gaubert, Zhiwu Li, Bertrand Cottenceau
• Jury : Rapporteurs / Rapporteuses : Jan Komenda, Stéphane Gaubert

Mots clés

Mots clés contrôlés

Observateurs d'états (mathématiques)

Théorie des automates mathématiques

Systèmes échantillonnés

Mots clés libres

Système évènements discrets

Diagnostic d'erreur

Discrete event system

Weighted automata

State estimation

Fault diagnosis

Detectability

Opacity

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

This thesis focuses on the state estimation, fault diagnosis, and verification of current-state detectability, initial-state detectability and initial-state opacity in the framework of weighted automata.