State estimation and verification of detectability and opacity in weighted automata - Archive ouverte HAL Accéder directement au contenu
Thèse Année : 2019

State estimation and verification of detectability and opacity in weighted automata

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

Résumé

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. The main work of this thesis is as follows. (1) An online procedure is proposed to deal with the problem of state estimation for weighted automata. (2) The state estimation approach is extended to tackle the fault diagnosis problem. (3) Given an unambiguous weighted automaton, a formal procedure with exponential complexity (resp. polynomial complexity) based on the construction of observer (resp. detector) is introduced to verify its current-state detectability. (4) Given an unambiguous weighted automaton, an approach is proposed to verify its initial-state detectability and initialstate opacity.
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. Le travail principal de cette thèse est le suivant. (1) Une procédure en ligne est proposée pour traiter le problème de l'estimation d'état pour les automates pondérés. (2) L'approche d'estimation d'état est étendue pour résoudre le problème du diagnostic de panne. (3) Soit un automate pondéré non ambigu, une procédure formelle à complexité exponentielle (resp. Complexité polynomiale) basée sur la la construction d’un observateur (ou d’un détecteur) est introduite pour vérifier sa détectabilité à l’état actuel. (4) Étant donné un automate pondéré non ambigu, une approche est proposée pour vérifier sa détectabilité à l'état initial et son opacité initiale.
Fichier principal
Vignette du fichier
LAI.pdf (1.51 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03332051 , version 1 (02-09-2021)

Identifiants

  • HAL Id : tel-03332051 , version 1

Citer

Aiwen Lai. State estimation and verification of detectability and opacity in weighted automata. Automatic. Université d'Angers, 2019. English. ⟨NNT : 2019ANGE0078⟩. ⟨tel-03332051⟩
175 Consultations
155 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More