Open AccessObservability analysis and observer design for finite automata via matrix approach
Author(s) -
Xiangru Xu,
Yiguang Hong
Publication year - 2013
Publication title -
iet control theory and applications
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.059
H-Index - 108
eISSN - 1751-8652
pISSN - 1751-8644
DOI - 10.1049/iet-cta.2013.0096
Subject(s) - observability , observer (physics) , constructive , automaton , control theory (sociology) , mathematics , matrix (chemical analysis) , state observer , computer science , control (management) , theoretical computer science , artificial intelligence , nonlinear system , physics , materials science , process (computing) , quantum mechanics , composite material , operating system
This study investigates the observability problem and the observer design of partially observed finite automata via a matrix approach. Using semi‐tensor product of matrices, finite automata are modelled in the form of discrete‐time bilinear systems. Matrix‐form necessary and sufficient conditions for both the initial and current state observability, either with or without input information, are first proposed. Based on that, a constructive method for the observer design is provided.