Semitensor Product Approach to Controllability, Reachability, and Stabilizability of Probabilistic Finite Automata

被引：6
|
作者：
Dou, Wenhui [1 ]
Li, Haitao [1 ]
Alsaadi, Fuad E. [2 ]
机构：
[1] Shandong Normal Univ, Sch Math & Stat, Jinan 250014, Shandong, Peoples R China
[2] King Abdulaziz Univ, Fac Engn, Dept Elect & Comp Engn, Jeddah 21589, Saudi Arabia
来源：
MATHEMATICAL PROBLEMS IN ENGINEERING | 2019年 / 2019卷
基金：
中国国家自然科学基金;
关键词：
BOOLEAN NETWORKS; STABILIZATION; DETECTABILITY;
D O I：
10.1155/2019/8021750
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
This paper proposes a matrix-based approach to investigate the controllability, reachability, and stabilizability of probabilistic finite automata (PFA). Firstly, the state transition probabilistic structure matrix is constructed for PFA, based on which a kind of controllability matrix is defined for PFA. Secondly, some necessary and sufficient conditions are presented for the controllability, reachability, and stabilizability of PFA with positive probability by using the controllability matrix. Finally, an illustrate example is given to validate the obtained new results.
引用
收藏
页数：7
相关论文
共 50 条
  • [1] Controllability, Reachability, and Stabilizability of Finite Automata: A Controllability Matrix Method
    Li, Yalu
    Dou, Wenhui
    Li, Haitao
    Liu, Xin
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2018, 2018
  • [2] Semi-tensor product approach to controllability and stabilizability of finite automata
    Yongyi Yan
    Zengqiang Chen
    Zhongxin Liu
    Journal of Systems Engineering and Electronics, 2015, 26 (01) : 134 - 141
  • [3] Semi-tensor product approach to controllability and stabilizability of finite automata
    Yan, Yongyi
    Chen, Zengqiang
    Liu, Zhongxin
    JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2015, 26 (01) : 134 - 141
  • [4] Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines
    Dong, Chao
    Yan, Yongyi
    Li, Huiqin
    Yue, Jumei
    FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2024, 25 (10) : 1370 - 1377
  • [5] Reachability and controllability analysis of probabilistic finite automata via a novel matrix method
    Zhang, Zhipeng
    Chen, Zengqiang
    Liu, Zhongxin
    ASIAN JOURNAL OF CONTROL, 2019, 21 (06) : 2578 - 2586
  • [6] Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices
    Zhang, Zhipeng
    Chen, Zengqiang
    Liu, Zhongxin
    SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (12)
  • [7] Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices
    Zhipeng ZHANG
    Zengqiang CHEN
    Zhongxin LIU
    ScienceChina(InformationSciences), 2018, 61 (12) : 202 - 204
  • [8] Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices
    Zhipeng Zhang
    Zengqiang Chen
    Zhongxin Liu
    Science China Information Sciences, 2018, 61
  • [9] Matrix Approach to Stabilizability of Deterministic Finite Automata
    Xu, Xiangru
    Zhang, Yanqiong
    Hong, Yiguang
    2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 3242 - 3247
  • [10] A probabilistic approach to controllability/reachability analysis of hybrid systems
    Azuma, SI
    Imura, JI
    2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 485 - 490
12345