State Feedback Stabilization for Boolean Control Networks

State feedback stabilization for Boolean control networks is investigated in this technical note. Based on the algebraic representation of logical dynamics in terms of the semi-tensor product of matrices, a necessary and sufficient condition is derived for the existence of a globally stabilizing state feedback controller, and a general control design approach is proposed when global stabilization is feasible via state feedback. Instead of designing the logical form of a stabilizing feedback law directly, we first construct its algebraic representation and then convert the algebraic representation back to the logical form. An example is worked out to illustrate the proposed design procedure.

[1]  H. Othmer,et al.  The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.

[2]  M. Stern,et al.  Emergence of homeostasis and "noise imprinting" in an evolution model. , 1999, Proceedings of the National Academy of Sciences of the United States of America.

[3]  Georgios B. Giannakis,et al.  Basis expansion models and diversity techniques for blind identification and equalization of time-varying channels , 1998, Proc. IEEE.

[4]  S Bornholdt,et al.  Robustness as an evolutionary principle , 2000, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[5]  Fangfei Li,et al.  Controllability of Boolean control networks with time delays in states , 2011, Autom..

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

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

[8]  L. Wang,et al.  Oscillations and chaos in neural networks: an exactly solvable model. , 1990, Proceedings of the National Academy of Sciences of the United States of America.

[9]  E. D. Weinberger,et al.  The NK model of rugged fitness landscapes and its application to maturation of the immune response. , 1989, Journal of theoretical biology.

[10]  Yuzhen Wang,et al.  Simultaneous stabilization of Boolean control networks via semi-tensor product method , 2011, Proceedings of the 30th Chinese Control Conference.

[11]  William Dale Blair,et al.  Fixed-interval smoothing for Markovian switching systems , 1995, IEEE Trans. Inf. Theory.

[12]  Maciej Niedzwiecki,et al.  Locally Adaptive Cooperative Kalman Smoothing and Its Application to Identification of Nonstationary Stochastic Systems , 2012, IEEE Transactions on Signal Processing.

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

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

[15]  Fangfei Li,et al.  Stability and stabilization of Boolean networks with impulsive effects , 2012, Syst. Control. Lett..

[16]  S. Huang,et al.  Shape-dependent control of cell growth, differentiation, and apoptosis: switching between attractors in cell regulatory networks. , 2000, Experimental cell research.

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

[18]  Maciej Niedzwieckl.  Recursive functional series modelling estimators for adaptive control of time-varying plants , 1987, 26th IEEE Conference on Decision and Control.

[19]  Spilios D. Fassois,et al.  Parametric time-domain methods for non-stationary random vibration modelling and analysis — A critical survey and comparison , 2006 .

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

[21]  Jun-ichi Imura,et al.  Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks , 2010, EURASIP J. Bioinform. Syst. Biol..

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

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

[24]  Y. Bar-Shalom,et al.  The interacting multiple model algorithm for systems with Markovian switching coefficients , 1988 .

[25]  Sumit Kumar Jha,et al.  Symbolic Approaches for Finding Control Strategies in Boolean Networks , 2007, APBC.

[26]  G. Kitagawa,et al.  A smoothness priors time-varying AR coefficient modeling of nonstationary covariance time series , 1985, IEEE Transactions on Automatic Control.

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

[28]  S. Nadarajah.  A generalized normal distribution , 2005 .

[29]  D. Cheng,et al.  Stability and stabilization of Boolean networks , 2011 .

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

[31]  Aniruddha Datta,et al.  Intervention in Context-Sensitive Probabilistic Boolean Networks Revisited , 2009, EURASIP J. Bioinform. Syst. Biol..

[32]  T. Rao.  The Fitting of Non-stationary Time-series Models with Time-dependent Parameters , 1970 .

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

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

[35]  Ettore Fornasini,et al.  Observability and reconstructibility of Boolean control networks , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[36]  Maciej Niedzwiecki,et al.  Identification of time-varying systems with abrupt parameter changes , 1991, Autom..

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

[38]  Madalena Chaves,et al.  Robustness and fragility of Boolean models for genetic regulatory networks. , 2005, Journal of theoretical biology.

[39]  R. Shiller.  A DISTRIBUTED LAG ESTIMATOR DERIVED FROM SMOOTHNESS PRIORS , 1973 .

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

[41]  Kwang-Hyun Cho,et al.  Analysis of feedback loops and robustness in network evolution based on Boolean models , 2007, BMC Bioinformatics.

[42]  Maciej Niedzwiecki,et al.  On noncausal weighted least squares identification of nonstationary stochastic systems , 2011, Autom..

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

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

[45]  Daizhan Cheng,et al.  Realization of Boolean control networks , 2010, Autom..

[46]  Aniruddha Datta,et al.  Intervention in context-sensitive probabilistic Boolean networks , 2005, Bioinform..