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

Chao DONG; Yongyi YAN; Huiqin LI; Jumei YUE

doi:10.1631/FITEE.2300578

PDF(730 KB)

Front. Inform. Technol. Electron. Eng ›› 2024, Vol. 25 ›› Issue (10) : 1370-1377. DOI: 10.1631/FITEE.2300578

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

Author information +

History +

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.

Keywords

Semi-tensor product (STP) / Matrix approach / Algebraic method / Finite-valued systems

Cite this article

EndNote

Ris (Procite)

Bibtex

Download citation ▾

Chao DONG, Yongyi YAN, Huiqin LI, Jumei YUE. Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines. Front. Inform. Technol. Electron. Eng, 2024, 25(10): 1370‒1377 https://doi.org/10.1631/FITEE.2300578