Full Text:
<560>
CLC number:
On-line Access: 2023-12-01
Received: 2023-08-26
Revision Accepted: 2023-10-04
Crosschecked: 0000-00-00
Cited: 0
Clicked: 882
Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines
| |||||||||||||
Chao DONG, Yongyi YAN, Huiqin LI, Jumei YUE. Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines[J]. Frontiers of Information Technology & Electronic Engineering, 1998, -1(-1): .
@article{title="Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines",
author="Chao DONG, Yongyi YAN, Huiqin LI, Jumei YUE",
journal="Frontiers of Information Technology & Electronic Engineering",
volume="-1",
number="-1",
pages="",
year="1998",
publisher="Zhejiang University Press & Springer",
doi="10.1631/FITEE.2300578"
}
%0 Journal Article
%T Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines
%A Chao DONG
%A Yongyi YAN
%A Huiqin LI
%A Jumei YUE
%J Journal of Zhejiang University SCIENCE C
%V -1
%N -1
%P
%@ 2095-9184
%D 1998
%I Zhejiang University Press & Springer
%DOI 10.1631/FITEE.2300578
TY - JOUR
T1 - Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines
A1 - Chao DONG
A1 - Yongyi YAN
A1 - Huiqin LI
A1 - Jumei YUE
J0 - Journal of Zhejiang University Science C
VL - -1
IS - -1
SP -
EP -
%@ 2095-9184
Y1 - 1998
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/FITEE.2300578
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). Firstly, we construct the bilinear dynamic system model of the EFSM, laying the foundation for further research. Secondly, 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 was verified through examples.
Open peer comments: Debate/Discuss/Question/Opinion
<1>