扩展有限状态机可控性、可达性和稳定性的半张量积方法
Semi-tensor product approach to controllability,reachability,and stabilizability of extended finite state machines
董超 1闫永义 1李会钦 1岳菊梅2
作者信息
- 1. 河南科技大学信息工程学院,中国 洛阳市,471000
- 2. 河南科技大学农业装备工程学院,中国 洛阳市,471000
- 折叠
摘要
本文利用矩阵的半张量积,采用代数方法研究了扩展有限状态机的可控性、可达性和稳定性.首先,建立扩展有限状态机的双线性动态系统模型,为进一步的研究奠定基础.其次,结合该双线性动态系统模型,给出扩展有限状态机双线性动态系统模型的可控性、可达性和稳定性定理.最后,设计一种算法确定扩展有限状态机的可控性和稳定性.通过算例验证了主要结果的正确性.
Abstract
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.
关键词
半张量积/矩阵方法/代数方法/有限值系统Key words
Semi-tensor product(STP)/Matrix approach/Algebraic method/Finite-valued systems引用本文复制引用
基金项目
National Natural Science Foundation of China(U1804150)
National Natural Science Foundation of China(62073124)
出版年
2024
NETL
NSTL
万方数据