Advances in Bioinformatics

Volume 2012 (2012), Article ID 534810, 9 pages

doi:10.1155/2012/534810

Research Article

Intervention in Biological Phenomena via Feedback Linearization

Mohamed Amine Fnaiech,¹ Hazem Nounou,¹ Mohamed Nounou,² and Aniruddha Datta³

¹Electrical and Computer Engineering Program, Texas A&M University at Qatar, P.O. Box 23874, Doha, Qatar

²Chemical Engineering Program, Texas A&M University at Qatar, P.O. Box 23874, Doha, Qatar

³Department of Electrical and Computer Engineering, Texas A&M University, College Station, TX 77843, USA

Received 5 July 2012; Accepted 10 October 2012

Academic Editor: Erchin Serpedin

Copyright © 2012 Mohamed Amine Fnaiech et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The problems of modeling and intervention of biological phenomena have captured the interest of many researchers in the past few decades. The aim of the therapeutic intervention strategies is to move an undesirable state of a diseased network towards a more desirable one. Such an objective can be achieved by the application of drugs to act on some genes/metabolites that experience the undesirable behavior. For the purpose of design and analysis of intervention strategies, mathematical models that can capture the complex dynamics of the biological systems are needed. S-systems, which offer a good compromise between accuracy and mathematical flexibility, are a promising framework for modeling the dynamical behavior of biological phenomena. Due to the complex nonlinear dynamics of the biological phenomena represented by S-systems, nonlinear intervention schemes are needed to cope with the complexity of the nonlinear S-system models. Here, we present an intervention technique based on feedback linearization for biological phenomena modeled by S-systems. This technique is based on perfect knowledge of the S-system model. The proposed intervention technique is applied to the glycolytic-glycogenolytic pathway, and simulation results presented demonstrate the effectiveness of the proposed technique.

1. Introduction

Biological systems are complex processes with nonlinear dynamics. S-systems are proposed in [1, 2] as a canonical nonlinear model to capture the dynamical behavior of a large class of biological phenomena [3, 4]. They are characterized by a good tradeoff between accuracy and mathematical flexibility [5]. In this modeling approach, nonlinear systems are approximated by products of power-law functions which are derived from multivariate linearization in logarithmic coordinates. It has been shown that this type of representation is a valid description of biological processes in a variety of settings. S-systems have been proposed in the literature to mathematically capture the behavior of genetic regulatory networks [6–13]. Moreover, the problem of estimating the S-system model parameters, the rate coefficients and the kinetic orders, has been addressed by several researchers [12, 14–16]. In [17], the authors studied the controllability of S-systems based on feedback linearization approach.

Recently, the authors in [18] developed two different intervention strategies, namely, indirect and direct, for biological phenomena modeled by S-systems. The goal of these intervention strategies is to transfer the target variables from an initial steady-state level to a desired final one by manipulating the control variables. The complexity of the nonlinear biological models led researchers to focus on nonlinear control approaches, such as sliding mode control that was introduced in [19].

A basic problem in control theory is how to use feedback in order to modify the original internal dynamics of nonlinear systems to achieve some prescribed behavior [20]. In particular, feedback linearization can be used for the purpose of imposing, on the associated closed-loop system, a desired behavior of some prescribed autonomous linear system. When the system to be controlled is linear time-invariant system, this is known as the problem of pole placement, while in the more general case of nonlinear systems, this is known as the problem of feedback linearization [21, 22]. Significant advances have been made in the theory of nonlinear state feedback control, such as feedback linearization and input-output decoupling techniques [21, 22]. The state feedback linearization technique has been widely utilized in many applications. For example, the authors in [23] have used feedback linearization in cancer therapy, where full knowledge of the state and parameter vectors is assumed to transform a multiinput multioutput nonlinear system into a linear and controllable one using nonlinear state feedback. Then, linear control techniques can be applied for the resulting system [22, 24].

Hence, in this paper we consider the problem designing a nonlinear intervention strategy based on feedback linearization for biological phenomena modeled by S-systems. In this proposed algorithm, the control variables are designed such that an integral action is added to the system. The main advantage of the integral action is in improving the steady state performance of the closed-loop system. As a case study, the proposed intervention strategy is applied to a glycolytic-glycogenolytic pathway model. The glycolytic-glycogenolytic pathway model is selected as it plays an important role in cellular energy generation when the level of glucose in the blood is low (fasting state) and glycogen has to be broken down to provide the substrate to run glycolysis. By controlling the glycogenolytic reaction, one can exert control over whether glycolysis will run or not under low-glucose conditions.

This paper is organized as follows. In Section 2, the S-system model is presented and the control problem is formulated. In Section 3, some mathematical preliminaries as well as the feedback linearizable control scheme are presented. In Section 4, the glycolytic-glycogenolytic pathway model is considered as a case study. Finally, concluding remarks and possible future research directions are outlined in Section 5.

2. S-System Presentation and Problem Formulation

Consider the following S-system model [25]:

where and are rate coefficients and and are kinetic orders and there exist variables (genes/metabolites) where the first variables are dependent and the remaining variables are independent variables. Assume that out of the dependent variables are target (or output) variables (i.e., genes/metabolites that need to be regulated to some desired final values), where these output variables are defined as

and , where is the set of indices corresponding to the dependent variables that are selected as output variables. The steady-state analysis of the S-system model [1, 18] shows that when the number of dependent variables with prespecified desired values is equal to the number of independent variables (which means that we have enough degrees of freedom), the above S-system model equations will have a unique steady-state solution under the nonsingularity assumption. Hence, in order to control the expressions/concentrations of the target variables, we consider an integral control approach where the following equations are added to the above S-system:

where , where is the set of indices corresponding to the independent variables that are used as control variables. This means that out of the independent variables will be used as control variables, and the overall system will have inputs and outputs. It should be noted that the formulation above can be easily extended to deal with systems having more inputs than outputs. Let us denote by , where corresponds to the indices of all variables except the independent variables that are not used as control variables. Here, it is assumed that the values (expressions/concentrations) of the independent variables that are not used as control variables are known constants (i.e., , , where are known constants) [6].

Figure 1 shows the S-system (1) augmented by the integral control. The S-system with integral control (1)–(3) can be written in the form

where , , , and

which can be expressed as

where , for .

Figure 1: S-system with integral control architecture.

Problem Formulation

Suppose that the outputs of the S-system (1) are initially at the steady-state condition , . Let us denote by , , the desired final steady state values of the output (target) variables. Then, the main goal of the feedback linearizable controller is to determinate the control inputs , , that can guide the target variables from the initial steady-state condition to the final one [18].

3. Feedback Linearizable Intervention

Here, we show how feedback linearization can be utilized to design a nonlinear intervention strategy to control biological phenomena modeled by S-systems. Feedback linearization can be used to obtain a linear relationship between the output vector and a new input vector , by making a right choice of the linearizing law. Once the equivalent model becomes linear, we may design a dynamic control law-based classical linear control theory. Before starting the development of this control technique, it is important to introduce the following mathematical preliminaries [20–22].

3.1. Mathematical Preliminaries

Let the vector function be a vector field in . The vector function is called a smooth vector function if it has continuous partial derivatives of any required order [26]. Given a scalar function and a vector field , we define a new scalar function , called the Lie derivative of with respect to , as follows.

Definition 1 (see [26]). Let be a smooth scalar function, and be a smooth vector field on , then the Lie derivative of with respect to is a scalar function defined by .

Thus, the Lie derivative is simply the directional derivative of along the direction of the vector . Repeated Lie derivatives can be defined recursively as follows:

Similarly, if is another vector field, then the scalar function can be described as

Definition 2 (see [26]). Let and be two vector fields on . The Lie bracket of and is a third vector field defined by

where the Lie bracket is commonly written as (where stands for “adjoint”).

Repeated Lie brackets can then be defined recursively by .

3.2. Feedback Linearizable Controller

Consider the S-system model (6). Differentiating the th output of this system with respect to time, we get

for . Note in (7) that if each of the , then the inputs do not appear in the equation. Define to be the smallest integer such that at least one of the inputs appears in , that is

with at least one of the , for some . Let the matrix be defined as

Based on the above definitions, the relative degree for multiinput multioutput (MIMO) systems is defined next.

Definition 3 (see [27]). The system (6)-(7) is said to have vector relative degree at if , , for and the matrix is nonsingular.

If a system has well-defined vector relative degree, then (12) can be expressed as

where

Since is nonsingular, it follows that is bounded away from nonsingularity for , a neighborhood of . Then, the state feedback control law

yields the linear closed-loop system

The block diagram of the linearized system is shown in Figure 2.

Figure 2: Diagram block of the linearizable system.

Feedback linearization transforms the system into a linear system where linear control approaches can be applied. Here, represents the new input vector of the linearized system.

In the case the system has vector relative degree, where , the nonlinear system can be converted into a controllable linear system, where the feedback control law is defined in (16) and the coordinate transformation is , , . Let the following distributions be defined as [27]

for , then we have the following result.

Proposition 4 (see [27]). Suppose that the matrix has rank . Then, there exist functions , such that the system

has vector relative degree with if

(i)for each the distribution has constant dimension in the neighborhood of ; (ii)the dimension has dimension ; (iii)for each the dimension is involutive.

The proof of this proposition can be found in [27].

The new control vector is designed based on the desired closed-loop response, which can be written as

for , where denotes the desired reference trajectories for the outputs. The proportional gains are chosen such that the following polynomial is a Hurwitz polynomial [28]:

The block diagram of the closed-loop system in the feedback linearizable form is shown in Figure 3.

Figure 3: Closed loop of the linearizable system.

4. Case Study

In this section, we demonstrate the efficacy of the feedback linearizable intervention approach described in this paper by applying it to a well-studied biological pathway model representing the glycolytic-glycogenolytic pathway shown in Figure 4 [17, 29]. Glycolysis is the process of breaking up a six-carbon glucose molecule into two molecules of a three-carbon compound, and glycogenolysis is the process by which the stored glycogen in the body is broken up to meet the needs for glucose. In glycogenolysis, the phosphorylase enzyme acts on the polysaccharide glycogen to reduce its length by one glucose unit. The glucose unit is released as a glucose-1 phosphate. The glycolytic-glycogenolytic pathway can be mathematically represented by the following S-system model:

Figure 4: Glycolytic-glycogenolytic pathway [29].

In this case, , and the parameter are defined as , , , , , , , , , , , , , , , , , , , and . Here, the model variables are defined as follows: is glucose-1-P, is glucose-6-P, is fructose-6-P, is inorganic phosphate ion, is glucose, is phosphorylase , is phosphoglucomutase, is phosphoglucose isomerase, is phosphofructokinase, and is glucokinase.

For this model, the metabolites through are defined as independent variables, which are the variables that are not affected by other variables, and the metabolites through are defined as the dependent variables, which are the primary variables of interest that we wish to control. Here, we choose the independent variables , , and as manipulated or control variables, as shown in Figure 4, as they can affect the production of the dependent variables , , and . Also, we choose to keep the independent variables , , , and fixed ignoring their effect on the controlled variables, and assuming that the controller only uses the independent variables , , and to control the dependent variables , , and . The independent variables have the following values , , , , , , and . Here, we try to control , , and by manipulating , , and , so we have

and all other for , and are kept fixed. The initial values of the outputs , , and are selected as , , and , respectively, and the desired reference outputs are selected as , , and .

Hence, the overall system can be expressed in the form of (6), where

where , , , , , and .

Based on the S-system model describing the glycolytic-glycogenolytic pathway, it can be verified that the outputs need to be differentiated twice with respect to time so that the input variables (, , or ) appear in the expressions of differentiated outputs, as follows:

where

Hence, in this case the system has vector relative degree , and hence we have .

The matrix form of the system of differential equations presented in (25) can be written in the form of (14), where

The matrix is invertible if the following condition is satisfied:

Based on (25), it can be seen that the control variables and appear only in the expressions of and , respectively. However, appears in the expressions of and . Hence, and need to be used to control and , respectively, and both and are needed to control .

Hence, the control laws based on (16) can be expressed as

Substituting the expressions of the control variables (29) in (25), we obtain the following decoupled linear system:

The new control variables , for , need to be designed so that the target variables track some desired reference trajectories, .

Using (20), the new control variables , for , are found to be

The new control components, , , and , are defined in (31), where the parameters are selected as , , , , , and .

Figures 5 and 6 show the output response and the control input signals when the feedback linearizable controller is applied. It is clear from Figure 5 that the system outputs converge to their desired values. Another simulation study is implemented for a different reference trajectory, where the value of the reference signal increases linearly before saturating at the desired final value. The closed-loop output response in this case is shown in Figure 7 and the control signals are shown in Figure 8. It is clear from Figure 7 that the feedback linearizable controller is driving the target variables to track the desired reference trajectories.

Figure 5: Closed-loop outputs for constant reference signals.

Figure 6: Control signals for constant reference signals.

Figure 7: Output response for closed-loop tracking.

Figure 8: Control signals for closed-loop tracking.

To study the robustness properties of the feedback linearizable controller, similar simulation studies have been conducted when the parameters and are varied within 10% of their nominal values. It has been found that the closed-loop system is stable only for parameter variations within 1% and with unacceptable performance. This agrees with our earlier assumption that full system knowledge is needed for proper operation of the feedback linearizable controller.

5. Conclusion

In this paper, feedback linearizable control has been applied for intervention of biological phenomena modeled in the S-system framework. As a case study, the glycogenolytic-glycolytic pathway model has been used to demonstrate the efficacy of feedback linearization in controlling biological phenomena modeled by S-system. One main drawback of this approach is that it assumes full knowledge of the biological system model. Usually, the S-system model does not perfectly represent the actual dynamics of the biological phenomena. Hence, one future research direction is to develop an adaptive intervention strategy that is capable of controlling the biological system even in the presence of model uncertainties. Another future research direction is to develop intervention techniques that take into account additional constraints due to the nature of the drug injection process. Definitely, incorporating such knowledge from medical practitioners would require imposing constraints on the magnitude, duration, and possibly the rate of change of the injected drug into the design of intervention technique.

Acknowledgments

This work was made possible by NPRP Grant NPRP08-148-3-051 from the Qatar National Research Fund (a Member of Qatar Foundation). The statements made herein are solely the responsibility of the authors.

References

M. A. Savageau, “Biochemical systems analysis. I. Some mathematical properties of the rate law for the component enzymatic reactions,” Journal of Theoretical Biology, vol. 25, no. 3, pp. 365–369, 1969.

E. O. Voit, Canonical Nonlinear Modeling: S-System Approach to Understanding Complexity, Van Nostrand/Reinhold, New York, NY, USA, 1991.

E. O. Voit, “A systems-theoretical framework for health and disease: inflammation and preconditioning from an abstract modeling point of view,” Mathematical Biosciences, vol. 217, no. 1, pp. 11–18, 2009.

E. O. Voit, F. Alvarez-Vasquez, and Y. A. Hannun, “Computational analysis of sphingolipid pathway systems,” Advances in Experimental Medicine and Biology, vol. 688, pp. 264–275, 2010.

R. Gentilini, “Toward integration of systems biology formalism: the gene regulatory networks case,” Genome informatics. International Conference on Genome Informatics., vol. 16, no. 2, pp. 215–224, 2005.

E. O. Voit and J. Almeida, “Decoupling dynamical systems for pathway identification from metabolic profiles,” Bioinformatics, vol. 20, no. 11, pp. 1670–1681, 2004.

I. C. Chou, H. Martens, and E. O. Voit, “Parameter estimation in biochemical systems models with alternating regression,” Theoretical Biology and Medical Modelling, vol. 3, article 25, 2006.

T. Kitayama, A. Kinoshita, M. Sugimoto, Y. Nakayama, and M. Tomita, “A simplified method for power-law modelling of metabolic pathways from time-course data and steady-state flux profiles,” Theoretical Biology and Medical Modelling, vol. 3, article 24, 2006.

L. Qian and H. Wang, “Inference of genetic regulatory networks by evolutionary algorithm and H∞ filtering,” in Proceedings of the IEEE/SP 14th WorkShoP on Statistical Signal Processing (SSP '07), pp. 21–25, August 2007.

J. Vera, R. Curto, M. Cascante, and N. V. Torres, “Detection of potential enzyme targets by metabolic modelling and optimization: application to a simple enzymopathy,” Bioinformatics, vol. 23, no. 17, pp. 2281–2289, 2007.

H. Wang, L. Qian, and E. R. Dougherty, “Steady-state analysis of genetic regulatory networks modeled by nonlinear ordinary differential equations,” in Proceedings of the IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB '09), pp. 182–185, April 2009.

H. Wang, L. Qian, and E. Dougherty, “Inference of gene regulatory networks using S-system: a unified approach,” IET Systems Biology, vol. 4, no. 2, pp. 145–156, 2010.

A. Marin-Sanguino, S. K. Gupta, E. O. Voit, and J. Vera, “Biochemical pathway modeling tools for drug target detection in cancer and other complex diseases,” Methods in Enzymology, vol. 487, pp. 319–369, 2011.

O. R. Gonzalez, C. Küper, K. Jung, P. C. Naval, and E. Mendoza, “Parameter estimation using simulated annealing for S-system models of biochemical networks,” Bioinformatics, vol. 23, no. 4, pp. 480–486, 2007.

Z. Kutalik, W. Tucker, and V. Moulton, “S-system parameter estimation for noisy metabolic profiles using Newton-flow analysis,” IET Systems Biology, vol. 1, no. 3, pp. 174–180, 2007.

I. C. Chou and E. O. Voit, “Recent developments in parameter estimation and structure identification of biochemical and genomic systems,” Mathematical Biosciences, vol. 219, no. 2, pp. 57–83, 2009.

A. Ervadi-Radhakrishnan and E. O. Voit, “Controllability of non-linear biochemical systems,” Mathematical Biosciences, vol. 196, no. 1, pp. 99–123, 2005.

N. Meskin, H. N. Nounou, M. Nounou, A. Datta, and E. R. Dougherty, “Intervention in biological phenomena modeled by S-systems,” IEEE Transactions on Biomedical Engineering, vol. 58, no. 5, pp. 1260–1267, 2011.

A. G. Hernández, L. Fridman, A. Levant, Y. Shtessel, S. I. Andrade, and C. R. Monsalve, “High order sliding mode controller for blood glucose in type 1 diabetes, with relative degree fluctuations,” in Proceedings of the 11th International Workshop on Variable Structure Systems (VSS '10), pp. 416–421, June 2010.

A. Isidori, A. J. Krener, C. Gori-Giorgi, and S. Monaco, “Nonlinear decoupling via feedback: a differential geometric approach,” IEEE Transactions on Automatic Control, vol. 26, no. 2, pp. 331–345, 1981.

A. Isidori, Nonlinear Control Systems, Springer, 1989.

A. Isidori and M. D. Benedetto, Feedback Linearization of Nonlinear Systems, Taylor Francis Group-CRC Press, 2010.

T. L. Chien, C. C. Chen, and C. J. Huang, “Feedback linearization control and its application to MIMO cancer immunotherapy,” IEEE Transactions on Control Systems Technology, vol. 18, no. 4, pp. 953–961, 2010.

B. Jakubczyk and W. Respondek, “On linearization of control systems,” Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 28, pp. 517–522, 1980.

E. O. Voit, Computational Analysis of Biochemical Systems. A Practical Guide for Biochemists and Molecular Biologists, Cambridge University Press, 2000.

J. J. E. Slotine and W. Li, Applied Nonlinear Control, Pearson Education, 1991.

S. Sastry, Nonlinear Systems: Analysis, Stability and Control, Springer, 1999.

R. Marino and P. Tomei, “Global adaptive output-feedback control of nonlinear systems, part II. Nonlinear parameterization,” IEEE Transactions on Automatic Control, vol. 38, no. 1, pp. 33–48, 1993.

N. V. Torres, “Modelization and experimental studies on the control of the glycolytic- glycogenolytic pathway in rat liver,” Molecular and Cellular Biochemistry, vol. 132, no. 2, pp. 117–126, 1994.