Skip to Main content Skip to Navigation
Theses

State Estimation and Verification of Detectability and Opacity in Weighted Automata

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. 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.
Complete list of metadatas

Cited literature [122 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02481561
Contributor : Sébastien Lahaye <>
Submitted on : Monday, February 17, 2020 - 3:25:36 PM
Last modification on : Tuesday, March 31, 2020 - 12:32:08 PM
Long-term archiving on: : Monday, May 18, 2020 - 5:34:25 PM

File

2. Thesis_Aiwen LAI.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02481561, version 1

Citation

Aiwen Lai. State Estimation and Verification of Detectability and Opacity in Weighted Automata. Automatic. Université d'Angers, 2019. English. ⟨tel-02481561⟩

Share

Metrics

Record views

96

Files downloads

75