|
|
Frontiers of Information Technology & Electronic Engineering
ISSN 2095-9184 (print), ISSN 2095-9230 (online)
2024 Vol.25 No.10 P.1370-1377
Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines
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
1河南科技大学信息工程学院，中国洛阳市，471000
2河南科技大学农业装备工程学院，中国洛阳市，471000
摘要：本文利用矩阵的半张量积，采用代数方法研究了扩展有限状态机的可控性、可达性和稳定性。首先，建立扩展有限状态机的双线性动态系统模型，为进一步的研究奠定基础。其次，结合该双线性动态系统模型，给出扩展有限状态机双线性动态系统模型的可控性、可达性和稳定性定理。最后，设计一种算法确定扩展有限状态机的可控性和稳定性。通过算例验证了主要结果的正确性。
关键词组：
References:
Open peer comments: Debate/Discuss/Question/Opinion
<1>
DOI:
10.1631/FITEE.2300578
CLC number:
TP13
Download Full Text:
Downloaded:
815
Download summary:
<Click Here>Downloaded:
101Clicked:
1353
Cited:
0
On-line Access:
2024-11-08
Received:
2023-08-26
Revision Accepted:
2023-10-04
Crosschecked:
2024-11-08