Optimal Control of Boolean Control Networks

In this paper, we address the optimal control problem for Boolean control networks (BCNs). We first consider the problem of finding the input sequences that minimize a given cost function over a finite time horizon. The problem solution is obtained by means of a recursive algorithm that represents the analogue for BCNs of the difference Riccati equation for linear systems. We prove that a significant number of optimal control problems for BCNs can be easily reframed into the present setup. In particular, the cost function can be adjusted so as to include penalties on the switchings, provided that we augment the size of the BCN state variable. In the second part of the paper, we address the infinite horizon optimal control problem and we provide necessary and sufficient conditions for the problem solvability. The solution is obtained as the limit of the solution over the finite horizon [0,T], and it is always achieved in a finite number of steps. Finally, the average cost problem over the infinite horizon, investigated in “Optimal control of logical control networks” (Y. Zhao , IEEE Trans. Autom. Control, vol 56, no. 8, pp. 1766-1776, Aug. 2011), is addressed by making use of the results obtained in the previous sections.

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

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

[3]  Wai-Ki Ching,et al.  On finite-horizon control of genetic regulatory networks with multiple hard-constraints , 2010, BMC Systems Biology.

[4]  Yuzhen Wang,et al.  Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method , 2012, Autom..

[5]  Aniruddha Datta,et al.  Optimal Constrained Stationary Intervention in Gene Regulatory Networks , 2008, EURASIP J. Bioinform. Syst. Biol..

[6]  M. Margaliot,et al.  A Pontryagin Maximum Principle for Multi – Input Boolean Control Networks ⋆ , 2011 .

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

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

[9]  Daizhan Chengy,et al.  Stabilization of Boolean control networks , 2009, CDC 2009.

[10]  Daizhan Cheng,et al.  Analysis and Control of Boolean Networks , 2011 .

[11]  Daizhan Cheng,et al.  Stabilization of Boolean control networks , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

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

[13]  Michael Margaliot,et al.  Symbolic dynamics of Boolean control networks , 2013, Autom..

[14]  W. Feng,et al.  observability ? , 2013 .

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

[16]  Qiuli Liu.  Optimal finite horizon control in gene regulatory networks , 2013 .

[17]  Ettore Fornasini,et al.  On the periodic trajectories of Boolean control networks , 2013, Autom..

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

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

[20]  Aurélien Naldi,et al.  Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle , 2006, ISMB.

[21]  G. Xie,et al.  Finite-Horizon Optimal Control of Discrete-Time Switched Linear Systems , 2012 .

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

[23]  Sean R Eddy,et al.  What is dynamic programming? , 2004, Nature Biotechnology.

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

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

[26]  Tania G. Leishman,et al.  The Emergence of Social Consensus in Boolean Networks , 2007, 2007 IEEE Symposium on Artificial Life.

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

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

[29]  L. Haitao,et al.  Global stability and controllability of switched Boolean networks , 2012, Proceedings of the 31st Chinese Control Conference.

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

[31]  Yuzhen Wang,et al.  Consistent stabilizability of switched Boolean networks , 2013, Neural Networks.

[32]  Richard A. Brualdi,et al.  Combinatorial matrix theory , 1991 .

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