A novel matrix approach to observability analysis of finite automata

被引:15
|
作者
Gao, Na [1 ,2 ]
Han, Xiao-guang [1 ,2 ]
Chen, Zeng-qiang [1 ,2 ,3 ]
Zhang, Qing [3 ]
机构
[1] Nankai Univ, Dept Automat, Coll Comp & Control Engn, Tianjin, Peoples R China
[2] Nankai Univ, Tianjin Key Lab Intelligent Robot, Dept Automat, Tianjin, Peoples R China
[3] Civil Aviat Univ China, Dept Mathemat, Coll Sci, Tianjin, Peoples R China
关键词
Observability; discrete event dynamic systems (DEDSs); finite automata; mealy automata; semi-tensor product (STP) of matrices; BOOLEAN CONTROL NETWORKS; DISCRETE-EVENT SYSTEMS; SEMI-TENSOR PRODUCT; SUPERVISORY CONTROL; CONTROLLABILITY;
D O I
10.1080/00207721.2017.1384964
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, the observability of finite automata (acronym is FA) that contain both deterministic finite automata and non-deterministic finite automata is investigated under the framework of the semi-tensor product of matrices. For both initial state and current state cases, two different observability definitions with or without input information are considered, respectively. First, we show that how the observability problem of initial state of FA can be transformed to the construction problem of an initial state-outputs matrix that presents the relationship between initial state and outputs. Second, a current state-outputs matrix to verify the observability problem of current state is given. When two matrices are obtained, four theorems to verify the observability of initial state and current state are presented, respectively. In particular, compared with the existing approach, the proposed approach not only provides a unified verification for the two types of observability of both initial state and current state but also reduces the computational complexity considerably. An illustrative example is presented to show the theoretical results.
引用
收藏
页码:3558 / 3568
页数:11
相关论文
共 50 条
  • [1] Observability analysis and observer design for finite automata via matrix approach
    Xu Xiangru
    Hong Yiguang
    IET CONTROL THEORY AND APPLICATIONS, 2013, 7 (12): : 1609 - 1615
  • [2] Matrix Approach to Simulation and Bisimulation Analysis of Finite Automata
    Xu, Xiangru
    Hong, Yiguang
    Lin, Hai
    PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 2716 - 2721
  • [3] Finite automata approach to observability of switched Boolean control networks
    Zhang, Kuize
    Zhang, Lijun
    Xie, Lihua
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 19 : 186 - 197
  • [4] Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata
    Zhang, Kuize
    Zhang, Lijun
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (09) : 2733 - 2738
  • [5] ON STATES OBSERVABILITY IN DETERMINISTIC FINITE AUTOMATA
    MATEESCU, A
    PAUN, G
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1987, 21 (01) : 17 - 30
  • [6] Matrix Approach to Stabilizability of Deterministic Finite Automata
    Xu, Xiangru
    Zhang, Yanqiong
    Hong, Yiguang
    2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 3242 - 3247
  • [7] Observability analysis of combined finite automata based upon semi-tensor product of matrices approach
    Chen, Zengqiang
    Zhou, Yingrui
    Zhang, Zhipeng
    Liu, Zhongxin
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2021, 43 (03) : 717 - 727
  • [8] 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
  • [9] Matrix expression and reachability analysis of finite automata
    Xu X.
    Hong Y.
    Journal of Control Theory and Applications, 2012, 10 (2): : 210 - 215
  • [10] Observability of Boolean control networks: A unified approach based on the theories of finite automata and formal languages
    Zhang Kuize
    Zhang Lijun
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 6854 - 6861