Semi-tensor product approach to controllability,reachability,and stabilizability of extended finite state machines
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 approachAlgebraic methodFinite-valued systems
董超、闫永义、李会钦、岳菊梅
展开 >
河南科技大学信息工程学院,中国 洛阳市,471000
河南科技大学农业装备工程学院,中国 洛阳市,471000
半张量积 矩阵方法 代数方法 有限值系统
National Natural Science Foundation of ChinaNational Natural Science Foundation of China
NETL
NSTL
万方数据
