Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines  

作　　者：Chao DONG Yongyi YAN Huiqin LI Jumei YUE 

机构地区：[1]College of Information Engineering,Henan University of Science and Technology,Luoyang 471000,China [2]College of Agricultural Equipment Engineering,Henan University of Science and Technology,Luoyang 471000,China

出　　处：《Frontiers of Information Technology & Electronic Engineering》2024年第10期1370-1377,共8页信息与电子工程前沿（英文版）

基　　金：Project supported by the National Natural Science Foundation of China(Nos.U1804150 and 62073124)。

摘　　要：This paper uses the semi-tensor product(STP)of matrices and adopts algebraic methods to study the controllability,reachability,and stabilizability of extended finite state machines(EFSMs).First,we construct the bilinear dynamic system model of the EFSM,laying the foundation for further research.Second,combined with this bilinear dynamic system model,we propose theorems for the controllability,reachability,and stabilizability of the bilinear dynamic system model of the EFSM.Finally,we design an algorithm to determine the controllability and stabilizability of the EFSM.The correctness of the main results is verified through examples.

关 键 词：Semi-tensor product(STP) Matrix approach Algebraic method Finite-valued systems 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程]