Piecewise affine systems approach to control of biological networks

In terms of a piecewise affine system representation, which is a kind of hybrid system model, this article discusses a series of approaches to modelling, analysing and synthesizing a biological network such as a gene-regulatory network. First, the input assignment problem, the controllable state set problem (CSP) and the input trajectory generation problem are emphasized as control problems to be addressed for biological networks. Subsequently, after the modelling issue on biological networks developed in the systems and control community is briefly explained, the CSP is described in detail with reference to control of the quorum-sensing system in the pathogen Pseudomonas aeruginosa. Finally, an optimal control design method to the quorum-sensing system is proposed as a solution to the input trajectory generation problem.

[1]  Patric Nilsson,et al.  The Role of Regulators in the Expression of Quorum-Sensing Signals in Pseudomonas aeruginosa , 2004, Journal of Molecular Microbiology and Biotechnology.

[2]  Jun-ichi Imura,et al.  Controllability Measure of Piecewise Affine Systems and Its Applications to the Luminescence Bacterium , 2007, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[3]  Patric Nilsson,et al.  Modeling the effect of acylated homoserine lactone antagonists in Pseudomonas aeruginosa. , 2005, Bio Systems.

[4]  Jun-ichi Imura,et al.  Lebesgue piecewise affine approximation of nonlinear systems , 2010 .

[5]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[6]  M. Kanat Camlibel,et al.  Algebraic Necessary and Sufficient Conditions for the Controllability of Conewise Linear Systems , 2008, IEEE Transactions on Automatic Control.

[7]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[8]  Alberto Bemporad,et al.  Identification of piecewise affine systems via mixed-integer programming , 2004, Autom..

[9]  Ashish Tiwari,et al.  Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata , 2003, HSCC.

[10]  Giancarlo Ferrari-Trecate,et al.  The Switching Threshold Reconstruction Problem for Piecewise-Affine Models of Genetic Regulatory Networks , 2008, IEEE Transactions on Automatic Control.

[11]  Antoine Girard,et al.  Reachability Analysis of Nonlinear Systems Using Conservative Approximation , 2003, HSCC.

[12]  T. Katayama,et al.  Identification of piecewise affine systems based on statistical clustering technique , 2004 .

[13]  Jun-ichi Imura,et al.  Polynomial-Time Probabilistic Observability Analysis of Sampled-Data Piecewise Affine Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[14]  Calin Belta,et al.  Robustness analysis and tuning of synthetic gene networks , 2007, Bioinform..

[15]  Yatsuka Nakamura,et al.  A Mathematical Model of CPU , 1992 .

[16]  Kiyotsugu Takaba,et al.  Identification of piecewise affine systems based on statistical clustering technique , 2004, Autom..

[17]  Alain Goriely,et al.  A mathematical model of tumor-immune interactions. , 2012, Journal of theoretical biology.

[18]  W. P. M. H. Heemels,et al.  A Bayesian approach to identification of hybrid systems , 2004, IEEE Transactions on Automatic Control.

[19]  Jun-ichi Imura,et al.  Controllability Analysis of Biosystems Based on Piecewise-Affine Systems Approach , 2008, IEEE Transactions on Automatic Control.

[20]  T. Henzinger,et al.  Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.

[21]  S. Molin,et al.  Synthetic furanones inhibit quorum-sensing and enhance bacterial clearance in Pseudomonas aeruginosa lung infection in mice. , 2004, The Journal of antimicrobial chemotherapy.

[22]  Manfred Morari,et al.  A clustering technique for the identification of piecewise affine systems , 2001, Autom..

[23]  D. Kirschner,et al.  A mathematical model of tumor-immune evasion and siRNA treatment , 2003 .

[24]  S. Kjelleberg,et al.  Eukaryotic interference with homoserine lactone-mediated prokaryotic signalling , 1996, Journal of bacteriology.

[25]  Antoine Girard,et al.  Approximate solutions of ODEs using piecewise linear vector fields , 2002 .

[26]  Calin Belta,et al.  Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty , 2008, IEEE Transactions on Automatic Control.

[27]  Jun-ichi Imura,et al.  Polynomial-Time Probabilistic Controllability Analysis of Discrete-Time Piecewise Affine Systems , 2007, IEEE Transactions on Automatic Control.

[28]  James P. Keener,et al.  Comprar Mathematical Physiology · I: Cellular Physiology | Keener, James | 9780387758466 | Springer , 2009 .