State Estimation and Verification of Detectability and Opacity in Weighted Automata

State Estimation and Verification of Detectability and Opacity in Weighted Automata PDF Author: Aiwen Lai
Publisher:
ISBN:
Category :
Languages : en
Pages : 0

Get Book Here

Book Description
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.