JZUS - Journal of Zhejiang University SCIENCE

Frontiers of Information Technology & Electronic Engineering

Accepted manuscript available online (unedited version)

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

Author(s): Chao DONG, Yongyi YAN, Huiqin LI, Jumei YUE
Affiliation(s): College of Information Engineering, Henan University of Science and Technology, Luoyang 471000, China; more
Corresponding email(s): dongchao@stu.haust.edu.cn
Key Words: Semi-tensor product; STP approach; STP method; Matrix approach; Algebraic method; Finite-valued systems

Share this article to： More <<< Previous Paper \|Next Paper >>>

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,in press.https://doi.org/10.1631/FITEE.2300578

@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",
year="in press",
publisher="Zhejiang University Press & Springer",
doi="https://doi.org/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 Frontiers of Information Technology & Electronic Engineering
%P
%@ 2095-9184
%D in press
%I Zhejiang University Press & Springer
doi="https://doi.org/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 - Frontiers of Information Technology & Electronic Engineering
SP -
EP -
%@ 2095-9184
Y1 - in press
PB - Zhejiang University Press & Springer
ER -
doi="https://doi.org/10.1631/FITEE.2300578"

Abstract
Chinese Summary
Academic Network
Reviewer Comment

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.

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article

Reference

Open peer comments: Debate/Discuss/Question/Opinion

<1>

- Go to

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article

Reference