Author: Aiwen Lai
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
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.