Stabilization of Probabilistic Finite Automata Based on Semi-Tensor Product of Matrices

Zhipeng Zhang,Zengqiang Chen,Xiaoguang Han,Zhongxin Liu
DOI: https://doi.org/10.1016/j.jfranklin.2020.02.028
IF: 4.246
2020-01-01
Journal of the Franklin Institute
Abstract:Probabilistic finite automata (PFAs) can exhibit a stochastic behavior, and its stabilization is the basic and important problem in the control theory. In this paper, the stabilization with a probability of one for PFAs is investigated under the framework of semi-tensor product (STP) of matrices. First, some specific state is selected to be marked for PFAs, and using the STP of matrices, a necessary and sufficient condition to verify its controllability with a probability of one is derived in a simple and convenient way. Second, based on the controllability condition, a novel sequence of prereachability set is defined, and a necessary and sufficient condition for stabilization with a probability of one is provided by discussing the prereachability set. Meanwhile, an optimal state feedback controller is established by a constructive logical matrix. In the end, an example is illustrated to demonstrate the obtained results.
What problem does this paper attempt to address?