State feedback stabilization for probabilistic Boolean networks

Abstract A probabilistic Boolean network (PBN) is a discrete-time system composed of a family of Boolean networks (BNs) between which the PBN switches in a stochastic fashion. Studying control-related problems in PBNs may provide new insights into the intrinsic control in biological systems and enable us to develop strategies for manipulating complex biological systems using exogenous inputs. This paper investigates the problem of state feedback stabilization for PBNs. Based on the algebraic representation of logic functions, a necessary and sufficient condition is derived for the existence of a globally stabilizing state feedback controller, and a control design method is proposed when the presented condition holds. It is shown that the controller designed via the proposed procedure can simultaneously stabilize a collection of PBNs that are composed of the same constituent BNs.

[1]  Edward R. Dougherty,et al.  Steady-State Analysis of Genetic Regulatory Networks Modelled by Probabilistic Boolean Networks , 2003, Comparative and functional genomics.

[2]  Edward R. Dougherty,et al.  Steady-state probabilities for attractors in probabilistic Boolean networks , 2005, Signal Process..

[3]  Xiaoming Hu,et al.  Stabilization of random Boolean networks , 2010, 2010 8th World Congress on Intelligent Control and Automation.

[4]  Daizhan Cheng,et al.  Disturbance Decoupling of Boolean Control Networks , 2011, IEEE Transactions on Automatic Control.

[5]  Reda Alhajj,et al.  Automated Large-Scale Control of Gene Regulatory Networks , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[6]  Michal Linial,et al.  Using Bayesian Networks to Analyze Expression Data , 2000, J. Comput. Biol..

[7]  Daizhan Cheng,et al.  Input-State Approach to Boolean Networks , 2009, IEEE Transactions on Neural Networks.

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

[9]  Fangfei Li,et al.  Stability and stabilization issue of probabilistic Boolean network , 2011, Proceedings of the 30th Chinese Control Conference.

[10]  Ranadip Pal,et al.  Context-Sensitive Probabilistic Boolean Networks: Steady-State Properties, Reduction, and Steady-State Approximation , 2010, IEEE Transactions on Signal Processing.

[11]  C. Charalambous,et al.  Robust control of uncertain context-sensitive probabilistic Boolean networks. , 2009, IET systems biology.

[12]  John Maloney,et al.  Finding Cycles in Synchronous Boolean Networks with Applications to Biochemical Systems , 2003, Int. J. Bifurc. Chaos.

[13]  Michael Margaliot,et al.  Controllability of Boolean control networks via the Perron-Frobenius theory , 2012, Autom..

[14]  Aniruddha Datta,et al.  Robust Intervention in Probabilistic Boolean Networks , 2007, 2007 American Control Conference.

[15]  Koichi Kobayashi,et al.  An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks , 2011, Autom..

[16]  Daizhan Cheng,et al.  A Linear Representation of Dynamics of Boolean Networks , 2010, IEEE Transactions on Automatic Control.

[17]  Aniruddha Datta,et al.  External Control in Markovian Genetic Regulatory Networks , 2004, Machine Learning.

[18]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

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

[20]  D. A. Baxter,et al.  Mathematical Modeling of Gene Networks , 2000, Neuron.

[21]  Yuzhen Wang,et al.  On reachability and controllability of switched Boolean control networks , 2012, Autom..

[22]  Frank Kozin,et al.  A survey of stability of stochastic systems , 1969, Autom..

[23]  T. Zhou,et al.  Optimal control for probabilistic Boolean networks. , 2010, IET systems biology.

[24]  T. Akutsu,et al.  Distribution and enumeration of attractors in probabilistic Boolean networks. , 2009, IET systems biology.

[25]  John Maloney,et al.  Scalar equations for synchronous Boolean networks with biological applications , 2004, IEEE Transactions on Neural Networks.

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

[27]  Daizhan Cheng,et al.  On controllability and stabilizability of probabilistic Boolean control networks , 2012, Science China Information Sciences.

[28]  Maxim Teslenko,et al.  A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks , 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[29]  Richard Banks,et al.  Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach , 2007, Bioinform..

[30]  Daizhan Cheng,et al.  State–Space Analysis of Boolean Networks , 2010, IEEE Transactions on Neural Networks.

[31]  Edward R. Dougherty,et al.  From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.

[32]  K Kobayashi,et al.  Symbolic approach to verification and control of deterministic/probabilistic Boolean networks. , 2012, IET systems biology.

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

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

[35]  T. Mestl,et al.  A mathematical framework for describing and analysing gene regulatory networks. , 1995, Journal of theoretical biology.

[36]  T. Akutsu,et al.  Optimal control policy for probabilistic Boolean networks with hard constraints. , 2009, IET systems biology.

[37]  Aniruddha Datta,et al.  Adaptive intervention in Probabilistic Boolean Networks , 2009, 2009 American Control Conference.

[38]  Michael Margaliot,et al.  A Maximum Principle for Single-Input Boolean Control Networks , 2011, IEEE Transactions on Automatic Control.

[39]  Fangfei Li,et al.  Controllability of probabilistic Boolean control networks , 2011, Autom..

[40]  Michael K. Ng,et al.  Simulation study in Probabilistic Boolean Network models for genetic regulatory networks , 2007, Int. J. Data Min. Bioinform..

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

[42]  Michael K. Ng,et al.  An approximation method for solving the steady-state probability distribution of probabilistic Boolean networks , 2007, Bioinform..

[43]  L. Tournier,et al.  Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics. , 2009, Journal of theoretical biology.

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

[45]  Aniruddha Datta,et al.  External control in Markovian genetic regulatory networks: the imperfect information case , 2004, Bioinform..

[46]  Aniruddha Datta,et al.  Optimal infinite horizon control for probabilistic Boolean networks , 2006, 2006 American Control Conference.

[47]  Tianguang Chu,et al.  Controller design for disturbance decoupling of Boolean control networks , 2013, Autom..

[48]  Stuart A. Kauffman,et al.  The origins of order , 1993 .