State estimation and verification of detectability and opacity in weighted automata - TEL - Thèses en ligne Access content directly
Theses Year : 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

Abstract

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.
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.
Fichier principal
Vignette du fichier
LAI.pdf (1.51 Mo) Télécharger le fichier
Origin Version validated by the jury (STAR)

Dates and versions

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

Identifiers

  • HAL Id : tel-03332051 , version 1

Cite

Aiwen Lai. State estimation and verification of detectability and opacity in weighted automata. Automatic. Université d'Angers, 2019. English. ⟨NNT : 2019ANGE0078⟩. ⟨tel-03332051⟩
251 View
188 Download

Share

Gmail Mastodon Facebook X LinkedIn More