Static output feedback stabilization of deterministic finite automata

详细信息    查看官网全文

• 英文论文题名：Static output feedback stabilization of deterministic finite automata
• 论文作者：Zhang Zhipeng ; Chen Zengqiang ; Han Xiaoguang ; Liu Zhongxin
• 英文论文作者：Zhang Zhipeng ; Chen Zengqiang ; Han Xiaoguang ; Liu Zhongxin ; College of Computer and Control Engineering ; Nankai University ; Tianjin Key Laboratory of Intelligent Robotics ; Nankai University ; College of Science ; Civil Aviation University of China
• 年：2017
• 作者机构：College of Computer and Control Engineering,Nankai University;Tianjin Key Laboratory of Intelligent Robotics,Nankai University;College of Science,Civil Aviation University of China;
• 英文论文关键词：Discrete event dynamic systems ; Finite automata ; Static output feedback stabilization ; Semi-tensor product ; prereachability set
• 会议召开时间：2017-07-26
• 会议录名称：第36届中国控制会议论文集（B）
• 英文会议录名称：Proceedings of the 36th Chinese Control Conference（B）
• 语种：英文
• 分类号：TP13
• 学会代码：KZLL
• 会议名称：第36届中国控制会议
• 会议地点：中国辽宁大连
• 主办单位：中国自动化学会控制理论专业委员会
• 学会名称：中国自动化学会控制理论专业委员会
• 页数：5
• 文件大小：265k
• 原文格式：D
• 会议级别：全国

摘要

In this paper, we investigate the static output feedback stabilization(SOFS) of deterministic finite automata(DFA) by using semi-tensor product(STP) theory. Firstly, the matrix expression of Moore-type automata with states, inputs and outputs is presented by using the algebraic equations. The feasible events matrix(FEM) is given in the matrix form by using STP theory and the transition-state adjacency matrix of DFA is presented through Boolean operation. Secondly, the concept of prereachability set and some corresponding properties are introduced, and then we obtain the necessary and sufficient conditions about the SOFS. In the end, an example is presented to illustrate the effectiveness of the results.
In this paper, we investigate the static output feedback stabilization(SOFS) of deterministic finite automata(DFA) by using semi-tensor product(STP) theory. Firstly, the matrix expression of Moore-type automata with states, inputs and outputs is presented by using the algebraic equations. The feasible events matrix(FEM) is given in the matrix form by using STP theory and the transition-state adjacency matrix of DFA is presented through Boolean operation. Secondly, the concept of prereachability set and some corresponding properties are introduced, and then we obtain the necessary and sufficient conditions about the SOFS. In the end, an example is presented to illustrate the effectiveness of the results.

引文

[1]C.Ozveren,A.Willsky,and P.Antsaklis.Stability and stabilizability of discrete event dynamic systems.Journal of the Acm,38(3):730–752,1991.
    [2]C.Ozveren and A.Willsky.Output stabilizability of discrete event dynamic systems.IEEE Trans.on Automatic Control,36(8):925–935,1991.
    [3]V.Syrmos,C.Abdallah,P Dorato,et al.Static output feedback—a survey.Automatica,33(2):125-137,1997.
    [4]K.Passino,A.Michel and P.Antsaklis.Lyapunov stability of a class of discrete event systems,IEEE Trans.on Automatic Control,39(2):269-279,1994.
    [5]D.Tarraf,M.Dahleh,A.Megretskr.Stability of deterministic finite state machines,Proceedings of American Control Conference,2005:3932-3936.
    [6]D.Cheng,H.Qi.A linear representation of dynamics of Boolean networks.IEEE Trans.On Automatic Control,55(10):2251-2258,2010.
    [7]D.Cheng,H.Qi,A.Xue.A survey on semi-tensor product of matrices.Journal of Systems Science and Complexity,20(2):304-322,2007.
    [8]D.Cheng.Disturbance decoupling of Boolean control networks,IEEE Trans.on Automatic Control,56(1):2-10,2011.
    [9]M.Yang,R.Li,and T.Chu,Controller design for disturbance decoupling of Boolean control networks,Automatica,49(1):273–277,2013.
    [10]D.Cheng,Z.Li,and H Qi,Realization of Boolean control networks,Automatica,46(1):62–69,2010.
    [11]D.Cheng,H.Qi.Controllability and observability of Boolean control networks,Automatica,45(7):1659–1667,2009.
    [12]H.Li,Y.Wang.On reachability and controllability of switched Boolean control networks,Automatica,48(11):2917–2922,2012.
    [13]Z.Li,Y.Qiao,H.Qi,D.Cheng.Stability of switched polynomial systems,Journal of Systems Science and Complexity,21(3):362-377,2008.
    [14]D.Cheng,J.Feng,H.Lv.Solving fuzzy relational equations via semi-tensor product.IEEE trans.on fuzzy systems,20(2):390-396,2012.
    [15]Y.Yan,Z.Chen,Z.Liu.Solving type-2 fuzzy relation equations via semi-tensor product of matrices.Control Theory and Technology,12(2):173-186,2014.
    [16]X.Han,Z.Chen,Z.Liu,et al.Semi-tensor product of matrices approach to stability and stabilization analysis of bounded Petri net systems.Scientia Sinica Informationis,46(11):1542-1553,2016(in Chinese).
    [17]X.Han,Z.Chen,Z.Liu,et al.Calculating basis siphons of Petri nets based on semi-tensor product of matrices,Proceedings of 35th Chinese Control Conference,2016:2331-2336.
    [18]X.Han,Z.Chen,Z.Liu,et al.Calculation of siphons and minimal siphons in Petri nets based on semi-tensor product of matrices.IEEE Trans.on Systems,Man,&Cybernetics:Systems,2015,DOI:10.1109/TSMC.2015.2507162.
    [19]X.Xu and Y.Hong.Matrix expression and reachability analysis of finite automata.Journal of Control Theory and Applications,10(2):210–215,2012.
    [20]X.Xu and Y.Hong.Observability analysis and observer design for finite automata via matrix approach.IET Control Theory and Applications,7(12):1609-1615,2013.
    [21]D.Cheng.On finite potential games.Automatica,50(7):1793–1801,2014.
    [22]D.Cheng,F.He,H.Qi,and T.Xu.Modeling,analysis and control of networked evolutionary games.IEEE Trans.on Automatic Control,60(9):2402-2415,2015.
    [23]H.Li,Y.Wang.Output feedback stabilization control design for BCNs.Automatica,49(12):3641–3645,2013.
    [24]N.Bof,E.Fornasini,M.Valcher.Output feedback stabilization of Boolean control networks.Automatica,57:21-28,2015.
    [25]C.Cassandras and S.Lafortune.Introduction to discrete event system(second Edition).New York:Springer,2008.
    [26]X.Han,Z.Chen,Z.Liu,Q.Zhang.Stability and stabilization of finite automata.Automatica,Minor revision.