Full Text:   <313>

CLC number: 

On-line Access: 2023-12-01

Received: 2023-08-26

Revision Accepted: 2023-10-04

Crosschecked: 0000-00-00

Cited: 0

Clicked: 424

Citations:  Bibtex RefMan EndNote GB/T7714

-   Go to

Article info.
Open peer comments

Journal of Zhejiang University SCIENCE C 1998 Vol.-1 No.-1 P.

http://doi.org/10.1631/FITEE.2300578


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


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.

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

Open peer comments: Debate/Discuss/Question/Opinion

<1>

Please provide your name, email address and a comment





Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE