In this article,a uniform method is provided to investigate the observability decomposition of Boolean control networks (BCNs) under different definitions of observability. Since the observability of BCNs is defined via the distinguishability of states,an algorithm is devised to identify and sort distinguishable states. To find the possible control sequences,a truth matrix reflecting the relationship between state pairs and control inputs is constructed. Using the truth matrix,necessary and sufficient conditions for several types of observability are given. Based on criteria for observability and some matrix discriminants,the realizability of observability decomposition is discussed. Notably,the proposed method is applicable to the observability decomposition under different definitions of observability,while the existing result is valid for only one type of observability. Furthermore,an example is introduced to illustrate the feasibility of the presented results.

Publication:

IEEE Transactions on Automatic Control (Volume: 69, Issue: 2,February 2024) https://doi.org/10.1109/TAC.2023.3300754

Author:

Yiliang Li

School of Mathematics,Shandong University,Jinan,China

Jun-E Feng

School of Mathematics, Shandong University, Jinan, China

Daizhan Cheng

Key Laboratory of Systems and Control,Academy of Mathematics and Systems Sciences,Chinese Academy of Sciences,Beijing,China

Email: dchen@iss.ac.cn

Yingzhe Jia

College of Electrical and Information Engineering,Hunan University,Changsha,China