Reachability and controllability analysis of probabilistic finite automata via a novel matrix method-Reference-Cited by-同舟云学术

Reachability and controllability analysis of probabilistic finite automata via a novel matrix method

Published:2019-06-20 Issue:6 Volume:21 Page:2578-2586
ISSN:1561-8625
Container-title:Asian Journal of Control
language:en
Short-container-title:Asian J Control

Author:

Zhang Zhipeng¹²^ORCID,Chen Zengqiang²^ORCID,Liu Zhongxin²^ORCID

Affiliation:

1. School of Computer Science and EngineeringTianjin University of Technology Tianjin China

2. College of Artificial IntelligenceNankai University Tianjin China

Funder

National Natural Science Foundation of China

Publisher

Wiley

Subject

Control and Systems Engineering

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/asjc.2160

Reference30 articles.

1. Control of Infinite Behavior of Finite Automata

2. Matrix expression and reachability analysis of finite automata

3. STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS

4. Controllability, reachability, and stabilizability of finite automata: A controllability matrix method;Li Y.;Math. Prob. Eng.,2018

5. On the static output feedback stabilization of deterministic finite automata based upon the approach of semi‐tensor product of matrix;Zhang Z.;Kybernetika,2018

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Delay Synchronization of Drive-Response Boolean Networks and Boolean Control Networks;IEEE Transactions on Control of Network Systems;2023-06

2. Observability of Periodically Switched Boolean Control Networks;Journal of Systems Science and Complexity;2023-05-20

3. A State Space Approach to Decentralized Fault SE-Coprognosability of Partially Observed Discrete Event Systems;IEEE Transactions on Cybernetics;2023-03

4. Survey on applications of algebraic state space theory of logical systems to finite state machines;Science China Information Sciences;2022-12-23

5. Semi-tensor Product of Matrices-based Approach to the Opacity Analysis of Cyber Physical Systems;J ELECTRON INF TECHN;2021