Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines
Chao DONG , Yongyi YAN , Huiqin LI , Jumei YUE
Front. Inform. Technol. Electron. Eng ›› 2024, Vol. 25 ›› Issue (10) : 1370 -1377.
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 approach / Algebraic method / Finite-valued systems
Zhejiang University Press
/
| 〈 |
|
〉 |
PDF
(730KB)
