State estimation and verification of detectability and opacity in weighted automata
Aiwen Lai · 2019
Estimation d'état et vérification de la détectabilité et de l'opacité dans les automates pondérés 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.