A novel pinning observability strategy for Boolean networks

Observability is of biological and engineering significance for the study of large-scale Boolean networks (BNs), while sensors are commonly impossible or high-cost to be inflicted on all SVs. Taking an unobservable large-scale BNs into account, it is crucial to design an operably effective control strategy under which the controlled system achieves observability. In this paper, a novel pinning control strategy is developed for an unobservable BN. It takes advantage of the network structure (NS) with respect to (w.r.t.) $n$ SVs rather than the traditionary algebraic state space representation w.r.t. $2^n$ states. The application of NS information dramatically reduces the time complexity from $O(2^{2n})$ to $O(n2^{3\omega}+n^3)$, where $\omega$ and $p$ are respectively the largest out-degree of vertices and the number of senors. Moreover, the new approach is of benefit to identify the pinning nodes and concisely compute the corresponding feedback form for every pinning nodes. With regard to simulation, the T-LGL survival network with 18 SVs and T-cell receptor kinetics with 37 SVs and 3 input variables are investigated to demonstrate the availability of our theoretical results.

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

[2]  Tielong Shen,et al.  Policy Iteration Approach to Control Residual Gas Fraction in IC Engines Under the Framework of Stochastic Logical Dynamics , 2017, IEEE Transactions on Control Systems Technology.

[3]  Tianguang Chu,et al.  Bisimulations of Boolean Control Networks , 2018, SIAM J. Control. Optim..

[4]  Shun-ichi Azuma,et al.  Structural Oscillatority Analysis of Boolean Networks , 2019, IEEE Transactions on Control of Network Systems.

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

[6]  Jinde Cao,et al.  On Controllability of Delayed Boolean Control Networks , 2016, SIAM J. Control. Optim..

[7]  Yang Liu,et al.  Feedback Controller Design for the Synchronization of Boolean Control Networks , 2016, IEEE Transactions on Neural Networks and Learning Systems.

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

[9]  Xin Liu,et al.  Dynamical and Structural Analysis of a T Cell Survival Network Identifies Novel Candidate Therapeutic Targets for Large Granular Lymphocyte Leukemia , 2011, PLoS Comput. Biol..

[10]  Jianquan Lu,et al.  A New Framework for Pinning Control of Boolean Networks , 2019, ArXiv.

[11]  Jinling Liang,et al.  Local Synchronization of Interconnected Boolean Networks With Stochastic Disturbances , 2020, IEEE Transactions on Neural Networks and Learning Systems.

[12]  Shun-ichi Azuma,et al.  Structural Monostability of Activation-Inhibition Boolean Networks , 2017, IEEE Transactions on Control of Network Systems.

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

[14]  S. Louis Hakimi,et al.  On Path Cover Problems in Digraphs and Applications to Program Testing , 1979, IEEE Transactions on Software Engineering.

[15]  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.

[16]  Lijun Zhang,et al.  Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata , 2014, IEEE Transactions on Automatic Control.

[17]  Jinde Cao,et al.  On Pinning Controllability of Boolean Control Networks , 2016, IEEE Transactions on Automatic Control.

[18]  Steffen Klamt,et al.  A methodology for the structural and functional analysis of signaling and regulatory networks , 2006, BMC Bioinformatics.

[19]  A. Barabasi,et al.  Lethality and centrality in protein networks , 2001, Nature.

[20]  Daizhan Cheng,et al.  Quadratic form of stable sub-manifold for power systems , 2004 .

[21]  Yuzhen Wang,et al.  Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints , 2015, SIAM J. Control. Optim..

[22]  Gang Feng,et al.  Stability and $l_1$ Gain Analysis of Boolean Networks With Markovian Jump Parameters , 2017, IEEE Transactions on Automatic Control.

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

[24]  Fangfei Li,et al.  Set Stabilization of Probabilistic Boolean Networks Using Pinning Control , 2019, IEEE Transactions on Neural Networks and Learning Systems.

[25]  Zhihua Zhang,et al.  Reduced-Order Observer Design for Boolean Control Networks , 2020, IEEE Transactions on Automatic Control.

[26]  Tianguang Chu,et al.  State Feedback Stabilization for Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

[27]  Jitao Sun,et al.  Stabilization, Controllability and Optimal Control of Boolean Networks With Impulsive Effects and State Constraints , 2015, IEEE Transactions on Automatic Control.

[28]  Jesper Tegnér,et al.  Reverse engineering gene networks using singular value decomposition and robust regression , 2002, Proceedings of the National Academy of Sciences of the United States of America.

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

[30]  Fangfei Li,et al.  Pinning Control Design for the Stabilization of Boolean Networks , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[31]  Ettore Fornasini,et al.  Optimal Control of Boolean Control Networks , 2014, IEEE Transactions on Automatic Control.

[32]  Daizhan Cheng,et al.  Block Decoupling of Boolean Control Networks , 2019, IEEE Transactions on Automatic Control.

[33]  M. Ng,et al.  Control of Boolean networks: hardness results and algorithms for tree structured networks. , 2007, Journal of theoretical biology.

[34]  Weihua Gui,et al.  Stability and Set Stability in Distribution of Probabilistic Boolean Networks , 2019, IEEE Transactions on Automatic Control.

[35]  Madalena Chaves,et al.  Methods for qualitative analysis of genetic networks , 2009, 2009 European Control Conference (ECC).

[36]  H. De Man,et al.  The Use of Threshold Functions and Boolean Controlled Network Elements for Macromodeling of ISI Circuits , 1977, ESSCIRC '77: 3rd European Solid State Circuits Conference.

[37]  Daizhan Cheng,et al.  Observability of Boolean networks via set controllability approach , 2018, Syst. Control. Lett..

[38]  R. Albert,et al.  The large-scale organization of metabolic networks , 2000, Nature.

[39]  Jinde Cao,et al.  Robust Event-Triggered Control Invariance of Probabilistic Boolean Control Networks , 2020, IEEE Transactions on Neural Networks and Learning Systems.

[40]  Steffen Klamt,et al.  A Logical Model Provides Insights into T Cell Receptor Signaling , 2007, PLoS Comput. Biol..

[41]  Michael Margaliot,et al.  Minimum-Time Control of Boolean Networks , 2013, SIAM J. Control. Optim..

[42]  Lihua Xie,et al.  Output Regulation of Boolean Control Networks , 2017, IEEE Transactions on Automatic Control.

[43]  Ettore Fornasini,et al.  Output feedback stabilization of Boolean control networks , 2015, Autom..

[44]  Yuzhen Wang,et al.  Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks , 2017, SIAM J. Control. Optim..

[45]  Weihua Gui,et al.  Set reachability and observability of probabilistic Boolean networks , 2019, Autom..

[46]  Tielong Shen,et al.  A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks , 2018, IEEE Transactions on Automatic Control.

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

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

[49]  Daizhan Cheng,et al.  A note on observability of Boolean control networks , 2015, ASCC.

[50]  Zidong Wang,et al.  State Estimation for Stochastic Time-Varying Boolean Networks , 2020, IEEE Transactions on Automatic Control.

[51]  Zhihua Zhang,et al.  Finite Horizon Tracking Control of Boolean Control Networks , 2018, IEEE Transactions on Automatic Control.

[52]  Daizhan Cheng,et al.  Optimal Control of Logical Control Networks , 2011, IEEE Transactions on Automatic Control.

[53]  Florian Steinke,et al.  Experimental design for efficient identification of gene regulatory networks using sparse Bayesian models , 2006, BMC Systems Biology.

[54]  Chao Zhai,et al.  Controllability of Markovian jump Boolean control networks , 2019, Autom..

[55]  Jinde Cao,et al.  Pinning Control for the Disturbance Decoupling Problem of Boolean Networks , 2017, IEEE Transactions on Automatic Control.