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.
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.
Origine : Version validée par le jury (STAR)