Structural Observability of Boolean Control Networks via Topology-Based Approach

This brief aims to investigate the structural observability of Boolean control networks, followed by the recent research stream, with available topology structure but unknown node dynamics. To begin with, two kinds of structural observability are defined along with two systems. Then, by adopting the dependency graphs, several necessary and sufficient conditions for structurally arbitrary-input and single-input observability are derived, respectively. Instead of employing the algebraic state space representation framework, this graphic-theoretical approach takes full advantage of node-to-node interaction, thus decreasing the time complexity to a great extent.

[1]  L. Glielmo,et al.  Cluster Synchronization of Boolean Networks Under State-Flipped Control With Reinforcement Learning , 2022, IEEE Transactions on Circuits and Systems II: Express Briefs.

[2]  T. Shen,et al.  A logical network approximation to optimal control on a continuous domain and its application to HEV control , 2022, Science China Information Sciences.

[3]  Yujing Yang,et al.  Minimal observability of Boolean control networks , 2022, Syst. Control. Lett..

[4]  Daniel W. C. Ho,et al.  Minimal observability of Boolean networks , 2022, Science China Information Sciences.

[5]  Weihua Gui,et al.  State Estimation of Networked Finite State Machine With Communication Delays and Losses , 2022, IEEE Transactions on Circuits and Systems II: Express Briefs.

[6]  Jinde Cao,et al.  Polynomial-Time Algorithms for Structurally Observable Graphs by Controlling Minimal Vertices , 2021, ArXiv.

[7]  Karl Henrik Johansson,et al.  Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures , 2020, IEEE Transactions on Automatic Control.

[8]  Maria Elena Valcher,et al.  A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems , 2020, ArXiv.

[9]  Maria Elena Valcher,et al.  Formal assessment of some properties of Context-Aware Systems , 2019, Int. J. Next Gener. Comput..

[10]  Jinde Cao,et al.  SensorsDesign for Large-Scale Boolean Networks via Pinning Observability , 2019, IEEE Transactions on Automatic Control.

[11]  Tielong Shen,et al.  Optimal control of Boolean control networks with average cost: A policy iteration approach , 2019, Autom..

[12]  Jinde Cao,et al.  Sampled-Data Control for the Synchronization of Boolean Control Networks , 2019, IEEE Transactions on Cybernetics.

[13]  Jinde Cao,et al.  Further Results on the Controllability of Boolean Control Networks , 2019, IEEE Transactions on Automatic Control.

[14]  Michael Margaliot,et al.  Output Selection and Observer Design for Boolean Control Networks: A Sub-Optimal Polynomial-Complexity Algorithm , 2018, IEEE Control Systems Letters.

[15]  Yuqian Guo,et al.  Observability of Boolean Control Networks Using Parallel Extension and Set Reachability , 2018, IEEE Transactions on Neural Networks and Learning Systems.

[16]  Michael Margaliot,et al.  A Polynomial-Time Algorithm for Solving the Minimal Observability Problem in Conjunctive Boolean Networks , 2017, IEEE Transactions on Automatic Control.

[17]  Yang Liu,et al.  Controllability of probabilistic Boolean control networks based on transition probability matrices , 2015, Autom..

[18]  Michael Margaliot,et al.  Observability of Boolean networks: A graph-theoretic approach , 2013, Autom..

[19]  Ettore Fornasini,et al.  Observability, Reconstructibility and State Observers of Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

[20]  Albert-László Barabási,et al.  Observability of complex systems , 2013, Proceedings of the National Academy of Sciences.

[21]  D. Cheng,et al.  Analysis and control of Boolean networks: A semi-tensor product approach , 2010, 2009 7th Asian Control Conference.

[22]  Daizhan Cheng,et al.  Input-state incidence matrix of Boolean control networks and its applications , 2010, Syst. Control. Lett..

[23]  Daizhan Cheng,et al.  Controllability and observability of Boolean control networks , 2009, Autom..

[24]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[25]  Jianquan Lu,et al.  Strong Structural Controllability of Boolean Networks: Polynomial-Time Criteria, Minimal Node Control, and Distributed Pinning Strategies , 2022, IEEE Transactions on Automatic Control.