Controllability, Reachability, and Stabilizability of Finite Automata: A Controllability Matrix Method
Joint Authors
Li, Haitao
Li, Yalu
Dou, Wenhui
Liu, Xin
Source
Mathematical Problems in Engineering
Issue
Vol. 2018, Issue 2018 (31 Dec. 2018), pp.1-6, 6 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2018-02-28
Country of Publication
Egypt
No. of Pages
6
Main Subjects
Abstract EN
This paper investigates the controllability, reachability, and stabilizability of finite automata by using the semitensor product of matrices.
Firstly, by expressing the states, inputs, and outputs as vector forms, an algebraic form is obtained for finite automata.
Secondly, based on the algebraic form, a controllability matrix is constructed for finite automata.
Thirdly, some necessary and sufficient conditions are presented for the controllability, reachability, and stabilizability of finite automata by using the controllability matrix.
Finally, an illustrative example is given to support the obtained new results.
American Psychological Association (APA)
Li, Yalu& Dou, Wenhui& Li, Haitao& Liu, Xin. 2018. Controllability, Reachability, and Stabilizability of Finite Automata: A Controllability Matrix Method. Mathematical Problems in Engineering،Vol. 2018, no. 2018, pp.1-6.
https://search.emarefa.net/detail/BIM-1208504
Modern Language Association (MLA)
Li, Yalu…[et al.]. Controllability, Reachability, and Stabilizability of Finite Automata: A Controllability Matrix Method. Mathematical Problems in Engineering No. 2018 (2018), pp.1-6.
https://search.emarefa.net/detail/BIM-1208504
American Medical Association (AMA)
Li, Yalu& Dou, Wenhui& Li, Haitao& Liu, Xin. Controllability, Reachability, and Stabilizability of Finite Automata: A Controllability Matrix Method. Mathematical Problems in Engineering. 2018. Vol. 2018, no. 2018, pp.1-6.
https://search.emarefa.net/detail/BIM-1208504
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1208504