Geodesic
On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices
Kybernetika, Tome 54 (2018) no. 1, pp. 41-60

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

In this paper, the static output feedback stabilization (SOFS) of deterministic finite automata (DFA) via the semi-tensor product (STP) of matrices is investigated. Firstly, the matrix expression of Moore-type automata is presented by using STP. Here the concept of the set of output feedback feasible events (OFFE) is introduced and expressed in the vector form, and the stabilization of DFA is defined in the sense of static output feedback (SOF) control. Secondly, SOFS problem of DFA is investigated within the framework of STP, including single-equilibrium-based SOFS, multi-equilibrium-based SOFS, and further limit cycle-based SOFS. Then the necessary and sufficient conditions for the existence of the three types SOFS are proposed respectively. Meanwhile the efficient and systematic procedures based on the matrix theory to seek the corresponding SOF controller are provided for the three types SOFS problem. Finally, two examples are presented to illustrate the effectiveness of the proposed approach.
DOI : 10.14736/kyb-2018-1-0041
Classification : 93C65, 93D15
Keywords: discrete event dynamic systems; finite automata; static output feedback stabilization; semi-tensor product; output feedback feasible events 
@article{10_14736_kyb_2018_1_0041,
     author = {Zhang, Zhipeng and Chen, Zengqiang and Han, Xiaoguang and Liu, Zhongxin},
     title = {On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices},
     journal = {Kybernetika},
     pages = {41--60},
     publisher = {mathdoc},
     volume = {54},
     number = {1},
     year = {2018},
     doi = {10.14736/kyb-2018-1-0041},
     mrnumber = {3780955},
     zbl = {06861613},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.14736/kyb-2018-1-0041/}
}
TY  - JOUR
AU  - Zhang, Zhipeng
AU  - Chen, Zengqiang
AU  - Han, Xiaoguang
AU  - Liu, Zhongxin
TI  - On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices
JO  - Kybernetika
PY  - 2018
SP  - 41
EP  - 60
VL  - 54
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14736/kyb-2018-1-0041/
DO  - 10.14736/kyb-2018-1-0041
LA  - en
ID  - 10_14736_kyb_2018_1_0041
ER  - 
%0 Journal Article
%A Zhang, Zhipeng
%A Chen, Zengqiang
%A Han, Xiaoguang
%A Liu, Zhongxin
%T On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices
%J Kybernetika
%D 2018
%P 41-60
%V 54
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.14736/kyb-2018-1-0041/
%R 10.14736/kyb-2018-1-0041
%G en
%F 10_14736_kyb_2018_1_0041
Zhang, Zhipeng; Chen, Zengqiang; Han, Xiaoguang; Liu, Zhongxin. On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices. Kybernetika, Tome 54 (2018) no. 1, pp. 41-60. doi: 10.14736/kyb-2018-1-0041

Cité par Sources :