probabilistic finite automata
Recently Published Documents

TOTAL DOCUMENTS

35
(FIVE YEARS 6)

H-INDEX

7
(FIVE YEARS 1)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stabilization of probabilistic finite automata based on semi-tensor product of matrices

2020 ◽  
Vol 357 (9) ◽  
pp. 5173-5186 ◽  
Author(s):  
Zhipeng Zhang ◽  
Zengqiang Chen ◽  
Xiaoguang Han ◽  
Zhongxin Liu
Keyword(s):  
Tensor Product ◽  
Finite Automata ◽  
Product Of Matrices ◽  
Probabilistic Finite Automata

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

2019 ◽  
Vol 21 (6) ◽  
pp. 2578-2586 ◽  
Author(s):  
Zhipeng Zhang ◽  
Zengqiang Chen ◽  
Zhongxin Liu
Keyword(s):  
Matrix Method ◽  
Finite Automata ◽  
Probabilistic Finite Automata

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

2019 ◽  
Vol 2019 ◽  
pp. 1-7 ◽  
Author(s):  
Wenhui Dou ◽  
Haitao Li ◽  
Fuad E. Alsaadi
Keyword(s):  
State Transition ◽  
Finite Automata ◽  
Sufficient Conditions ◽  
Positive Probability ◽  
Structure Matrix ◽  
Controllability Matrix ◽  
Probabilistic Structure ◽  
Product Approach ◽  
Necessary And Sufficient ◽  
Probabilistic Finite Automata

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.

Verification of detectability in Probabilistic Finite Automata

Automatica ◽  
2017 ◽  
Vol 86 ◽  
pp. 192-198 ◽  
Author(s):  
Christoforos Keroglou ◽  
Christoforos N. Hadjicostis
Keyword(s):  
Finite Automata ◽  
Probabilistic Finite Automata

scholarly journals Behavioral Modeling Based on Probabilistic Finite Automata: An Empirical Study

Sensors ◽  
2016 ◽  
Vol 16 (7) ◽  
pp. 958 ◽  
Author(s):  
Cristina Tîrnăucă ◽  
José Montaña ◽  
Santiago Ontañón ◽  
Avelino González ◽  
Luis Pardo
Keyword(s):  
Empirical Study ◽  
Finite Automata ◽  
Behavioral Modeling ◽  
Probabilistic Finite Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document