Email updates

Keep up to date with the latest news and content from BMC Bioinformatics and BioMed Central.

Open Access Research article

Deterministic global optimization algorithm based on outer approximation for the parameter estimation of nonlinear dynamic biological systems

Anton Miró1, Carlos Pozo1, Gonzalo Guillén-Gosálbez1*, Jose A Egea2 and Laureano Jiménez1

Author affiliations

1 Departament d’Enginyeria Química, Universitat Rovira i Virgili, Tarragona, Spain

2 Departamento de Matemática Aplicada y Estadística, Universidad Politécnica de Cartagena, Cartagena, Spain

For all author emails, please log on.

Citation and License

BMC Bioinformatics 2012, 13:90  doi:10.1186/1471-2105-13-90


The electronic version of this article is the complete one and can be found online at: http://www.biomedcentral.com/1471-2105/13/90


Received:7 November 2011
Accepted:10 May 2012
Published:10 May 2012

© 2012 Miró et al.; licensee BioMed Central Ltd.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Background

The estimation of parameter values for mathematical models of biological systems is an optimization problem that is particularly challenging due to the nonlinearities involved. One major difficulty is the existence of multiple minima in which standard optimization methods may fall during the search. Deterministic global optimization methods overcome this limitation, ensuring convergence to the global optimum within a desired tolerance. Global optimization techniques are usually classified into stochastic and deterministic. The former typically lead to lower CPU times but offer no guarantee of convergence to the global minimum in a finite number of iterations. In contrast, deterministic methods provide solutions of a given quality (i.e., optimality gap), but tend to lead to large computational burdens.

Results

This work presents a deterministic outer approximation-based algorithm for the global optimization of dynamic problems arising in the parameter estimation of models of biological systems. Our approach, which offers a theoretical guarantee of convergence to global minimum, is based on reformulating the set of ordinary differential equations into an equivalent set of algebraic equations through the use of orthogonal collocation methods, giving rise to a nonconvex nonlinear programming (NLP) problem. This nonconvex NLP is decomposed into two hierarchical levels: a master mixed-integer linear programming problem (MILP) that provides a rigorous lower bound on the optimal solution, and a reduced-space slave NLP that yields an upper bound. The algorithm iterates between these two levels until a termination criterion is satisfied.

Conclusion

The capabilities of our approach were tested in two benchmark problems, in which the performance of our algorithm was compared with that of the commercial global optimization package BARON. The proposed strategy produced near optimal solutions (i.e., within a desired tolerance) in a fraction of the CPU time required by BARON.

Background

Elucidation of biological systems has gained wider interest in the last decade. Despite recent advances, fundamental understanding of life processes still requires powerful theoretical tools from mathematics and physical sciences. Particularly, mathematical modelling of biological systems is nowadays becoming an essential partner of experimental work. One of the most challenging tasks in computational modelling of biological systems is the estimation of the model parameters. The aim here is to obtain the set of parameter values that make the model response consistent with the data observed. Parameter estimation can be formulated as an optimization problem in which the sum of squared residuals between the measured and simulated data is minimized. The biological model dictates the type of optimization problem being faced. Many biological systems are described through nonlinear ordinary differential equations (ODEs) that provide the concentration profiles of certain metabolites over time. Recent methodological developments have enabled the generation of some dynamic profiles of gene networks and protein expression data, although the latter are still very rare. In this context, there is a strong motivation for developing systematic techniques for building dynamic biological models from experimental data. The parameter estimation of these models gives rise to dynamic optimization problems which are hard to solve.

Existing approaches to optimize dynamic models can be roughly classified as direct or indirect (also known as variational) [1]. Direct methods make use of gradient-based nonlinear programming (NLP) solvers and can in turn be divided into sequential and simultaneous. In sequential approaches, the optimization of the control variables, which are discretized, is performed by a NLP solver, whereas the ODE is calculated externally, that is, both steps are executed in a sequential manner. In contrast, in simultaneous strategies, both the control and state profiles are approximated using polynomials (e.g., Lagrange polynomials) and discretized in time by means of finite elements [2,3]. In the latter strategy, the ODE system is replaced by a system of algebraic equations that is optimized with a standard gradient-based NLP solver. Simultaneous approaches can handle dynamic systems with unstable modes and with path constraints [1]. Furthermore, they allow performing automatic differentiation with respect to the control and state variables, avoiding the need to calculate the derivatives numerically as is the case in the sequential approach. Unfortunately, the discretization step can lead to large scale NLPs that are difficult to solve.

Models of biological systems are typically highly nonlinear, which gives rise to nonconvex optimization problems with multiple local solutions (i.e., multimodality). Because of this, traditional gradient-based methods used in the sequential and simultaneous approaches may fall in local optima. In the context of parameter estimation, these local solutions should be avoided, since they may lead to inaccurate models that are unable to predict the system’s performance precisely.

Global optimization (GO) algorithms are a special class of techniques that attempt to identify the global optimum in nonconvex problems. These methods can be classified as stochastic and deterministic. Stochastic GO methods are based on probabilistic algorithms that provide near optimal solutions in short CPU times. Despite having shown great potential with large-scale problems like parameter estimation [4], these methods have as major limitation that are unable to guarantee convergence to the global optimum in a finite number of iterations. In other words, they provide solutions whose optimality (i.e., quality) is unknown, and may or may not be globally optimal. In contrast, deterministic global optimization methods ensure global optimality within a desired tolerance, but lead to larger computational burdens. Hence, in addition to the solution itself, these methods provide as output a rigorous interval within which the best possible solution (i.e., global optimum) must fall. Despite recent advances in deterministic global optimization methods [5,6], their application to parameter estimation has been quite scarce. Two main deterministic GO methods exist: spatial branch-and-bound (sBB) [2,5-7], and outer approximation [8]. Both algorithms rely on computing valid lower and upper bounds on the global optimum. These bounds tend to approach as iterations proceed, thus offering a theoretical guarantee of convergence to the global optimum.

A rigorous lower bound on the global optimum of the original nonconvex problem is obtained by solving a valid relaxation that contains its feasible space. To construct this relaxed problem, the nonconvex terms in the original formulation are replaced by convex envelopes that overestimate its feasible region. There are different types of convex envelopes that provide relaxations for a wide variety of nonconvexities. These relaxations are the main ingredient of deterministic GO methods and play a key role in their performance. In general, tighter relaxations provide better bounds (i.e., closer to the global optimum), thereby expediting the overall solution procedure.

To the best of our knowledge, Esposito and Floudas were the first to propose a deterministic method for the global solution of dynamic optimization problems with embedded ODEs [2]. Their approach relies on reformulating the problem as a nonconvex NLP using orthogonal collocation on finite elements. This reformulated NLP was then solved by means of a sBB method. To this end, they constructed a convex relaxation of the reformulated problem following the αBB approach previously proposed by the authors [5-7]. Despite being valid for twice continuous differentiable functions, these relaxations may provide weak bounds in some particular cases and therefore lead to large CPU times when used in the context of a spatial branch and bound framework [9].

This work proposes a computational framework for the deterministic global optimization of parameter estimation problems of nonlinear dynamic biological systems. The main contributions of our work are: (1) the application of deterministic global optimization methods to dynamic models of biological systems, and (2) the use of several known techniques employed in dynamic (i.e., orthogonal collocation on finite elements) and global optimization (i.e., symbolic reformulation of NLPs and piecewise McCormick envelopes) in the context of an outer approximation algorithm. The approach presented relies on discretizing the set of nonlinear ODEs using orthogonal collocation on finite elements, thereby transforming the dynamic system into an equivalent nonconvex NLP problem. A customized outer approximation algorithm that relies on a mixed-integer linear programming (MILP) relaxation is used in an iterative scheme along with the aforementioned NLP to solve the nonconvex model to global optimality. The MILP relaxation is tightened using a special type of cutting plane that exploits the problem structure, thereby expediting the overall solution procedure.

The capabilities of our algorithm are tested through its application to two case studies: the isomerisation of α-Pinene (case study 1) and the inhibition of HIV proteinase (case study 2). The results obtained are compared with those produced by the state-of-art commercial global optimization package BARON (Branch And Reduce Optimization Navigator). Our algorithm is proved from these numerical examples to produce near optimal solutions in a fraction of the CPU time required by BARON.

Methods

Problem statement

The problem addressed in this work can be stated as follows: given is a dynamic kinetic model describing the mechanism of a set of biochemical reactions. The goal is to determine the appropriate values of the model coefficients (e.g., rate constants, initial conditions, etc.), so as to minimize the sum-of-squares of the residuals between the simulated data provided by the model and the experimental observations.

Mathematical formulation

We consider dynamic parameter estimation optimization problems of the following form:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M1">View MathML</a>

(1)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M2">View MathML</a>

(2)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M3','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M3">View MathML</a>

(3)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M4','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M4">View MathML</a>

(4)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M5','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M5">View MathML</a>

(5)

Where <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M6">View MathML</a> represents the state variables (i.e., metabolite concentrations), z0 their initial conditions, <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M7','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M7">View MathML</a> represents the experimental data variables, <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M8','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M8">View MathML</a> are the experimental observations, J is the set of state variables whose derivatives explicitly appear in the model, θ are the parameters to be estimated and tu, is the time associated with the uth experimental data point in the set U.

Our solution strategy relies on reformulating the nonlinear dynamic optimization problem as a finite-dimensional NLP by applying a complete discretization using orthogonal collocation on finite elements. This NLP is next solved using an outer approximation algorithm (see Figure 1). In the sections that follow, we explain in detail the main steps of our algorithm.

thumbnailFigure 1. Solution Strategy. The system of ODEs is first reformulated into a nonconvex NLP using the orthogonal collocation on finite elements approach. This NLP is decomposed into two levels: a master MILP and a slave NLP. The master MILP, which is constructed using piecewise McCormick envelopes and supporting hyper-planes, provides a rigorous lower bound on the global optimum. The slave NLP corresponds to the original nonconvex NLP that is solved using as starting point the solution of the MILP. The algorithm iterates between these two levels until the optimality gap (i.e., the relative difference between the upper and lower bounds) is reduced below a given tolerance.

Orthogonal collocation approach

There is a considerable number of collocation-based discretizations for the solution of differential-algebraic systems [10]. Without loss of generality, we employ herein the so-called orthogonal collocation on finite elements method [11,12]. Consider the following set of ODE’s defined as

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M9','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M9">View MathML</a>

(6)

The state variables are first approximated using Lagrange polynomials as follows:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M10','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M10">View MathML</a>

(7)

These polynomials have the property that at the orthogonal collocation points their coefficients, ξk, take the value of the state profile at that point. Therefore, the collocation coefficients ξk acquire physical meaning which allows to generate bounds for these variables.

Because state variables may present steep variations, the whole solution space is commonly divided into time intervals called finite elements. Hence, the time variable t is divided into NE elements of length Δ ηe and rescaled as τ∈[0,1]. Within each finite element, NK + 1 orthogonal collocation points τ(0), τ(1), τ(2), ⋯ ,τ(NK) are distributed at the shifted (between 0 and 1) roots of the orthogonal Legendre polynomial of NK degree. Recall that the 0th orthogonal collocation point is located at the beginning of each element (Figure 2).

thumbnailFigure 2. Orthogonal collocation discretization over finite elements. The time interval is divided into NE elements which in turn are divided into NK + 1 collocation points evaluated at the shifted orthogonal Legendre polynomials.

Following the collocation method [10], the residual equations arising from the combination of Eqs. 6 and 7, are defined for each element e in the set E and state variable in the set J, giving rise to the following constraints:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M11','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M11">View MathML</a>

(8)

The state variables have to be continuous between elements, so we enforce the following continuity constrains:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M12','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M12">View MathML</a>

(9)

These equations extrapolate the polynomial at element e-1, providing an accurate initial condition for the next element e.

Moreover, initial conditions are enforced for the beginning of the first element using the following equation:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M13','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M13">View MathML</a>

(10)

Recall that collocation points in which time has been discretized will not necessarily match the times at which experimental profiles were registered. Hence, variable <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M14','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M14">View MathML</a> is added to determine the value of the model states profiles at times tu making it possible to fit the model to the experimental points. This is accomplished by adding the following equation:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M15','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M15">View MathML</a>

(11)

Where τu is calculated as follows:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M16">View MathML</a>

(12)

Here, the subscript eu refers to the element where tu falls, that is, eu≡{e:ηetu<ηe + 1}.

NPL formulation

The dynamic optimization problem is finally reformulated into the following NLP:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M17','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M17">View MathML</a>

(13)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M18','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M18">View MathML</a>

(14)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M19','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M19">View MathML</a>

(15)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M20','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M20">View MathML</a>

(16)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M21','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M21">View MathML</a>

(17)

Results and discussion

Optimization approach

The method devised for globally optimizing the NLP that arises from the reformulation of the parameter estimation problem (Eqs. 1317) is based on an outer approximation algorithm [8] used by the authors in previous works [13-17]. This approach relies on decomposing the original NLP into two subproblems at different hierarchical levels: a lower level MILP problem and an upper level slave NLP problem. The master problem is a relaxation of the original NLP (i.e., it overestimates its feasible region) and hence provides a rigorous lower bound on its global optimum. The slave NLP yields a valid upper bound when it is solved locally. The algorithm iterates between these two levels until the optimality gap (i.e., the relative difference between the upper and lower bounds) is reduced below a given tolerance (Figure 3). In the following subsections, we provide a detailed description of the algorithm.

thumbnailFigure 3. Optimization algorithm based on outer approximation. Our approach decomposes the problem into two subproblems: a master MILP, constructed by relaxing the original model using piecewise McCormick envelopes and hyper-planes, that provides a lower bound, and a slave NLP that yields an upper bound. The algorithm iterates between these two levels until a termination criterion is satisfied.

Lower level master problem

Designing efficient and smart strategies for attaining tight bounds is a mayor challenge in deterministic global optimization. Both the quality of the bounds and the time required to generate them drastically influence the overall performance of a deterministic global optimization algorithm.

Any feasible solution of the original NLP is a valid upper bound and can be obtained by means of a local NLP solver. To obtain lower bounds, we require a rigorous convex (linear or nonlinear) relaxation. This relaxation is obtained by replacing the nonconvex terms by convex overestimators. Since the relaxed problem is convex, it is possible to solve it to global optimality using standard local optimizers. Furthermore, since its feasible region contains that of the original problem and its objective function rigorously underestimates the original one, it is guaranteed to provide a lower bound on the global optimum of the original nonconvex model [18].

Androulakis et al. [19] proposed a convex quadratic relaxation for nonconvex functions named αBB underestimator which can be applied to general twice continuously differentiable functions. This technique, which was used in parameter estimation by Esposito and Floudas [2], might lead in some cases to weak relaxations and therefore poor numerical performance [9].

To construct a valid MILP relaxation, we apply the following approach. We first reformulate the NLP using the symbolic reformulation method proposed by Smith and Pantelides [20]. This technique reformulates any system of nonlinear equations into an equivalent canonical form with the only nonlinearities being bilinear products, linear fractional, simple exponentiation and univariate function terms with the following standard form:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M22','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M22">View MathML</a>

(18)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M23','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M23">View MathML</a>

(19)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M24','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M24">View MathML</a>

(20)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M25">View MathML</a>

(21)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M26','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M26">View MathML</a>

(22)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M27">View MathML</a>

(23)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M28','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M28">View MathML</a>

(24)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M29','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M29">View MathML</a>

(25)

where vector w comprises continuous variables x as well as integers y, while the sets <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M30','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M30">View MathML</a>, <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M31','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M31">View MathML</a>, <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M32','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M32">View MathML</a> and <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M33">View MathML</a> are the bilinear product, linear fractional, simple exponentiation and univariate function terms, respectively.

A rigorous relaxation of the original model is constructed by replacing the nonconvex terms in the reformulated model by convex estimators. The solution of the convex relaxation provides a valid lower bound on the global optimum. More precisely, the bilinear terms are replaced by piecewise McCormick relaxations. The fractional terms can be convexified in two different manners. The first is to replace them by tailored convex envelopes that exploit their structure [21]. The second is to express them as bilinear terms by performing a simple algebraic transformation, and then use the McCormick envelopes to relax the associated bilinear term. Univariate functions commonly used in process engineering models (e.g., logarithms, exponentials, and square roots) are purely convex or purely concave, and can be replaced by the exact function-secant pair estimators [22].

The reader is referred to the work by Smith and Pantelides [20] for further details on the symbolic reformulation. We focus next on explaining how the bilinear terms are approximated in the reformulated NLP.

Piecewise McCormick-based relaxation

The bilinear terms appearing in the reformulated model are approximated using McCormick’s envelopes [23-26]. For bilinear terms, this relaxation is tighter than the αBB-based relaxations [18,27].

Each bilinear term xy can be replaced by an auxiliary variable z as follows:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M34">View MathML</a>

(26)

The best known relaxation for approximating a bilinear term is given by the McCormick envelopes, obtained by replacing Eq. 26 by the following linear under (Eqs. 27 and 28), and overestimators (Eqs. 29 and 30):

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M35','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M35">View MathML</a>

(27)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M36">View MathML</a>

(28)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M37','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M37">View MathML</a>

(29)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M38','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M38">View MathML</a>

(30)

In this work we further tighten the McCormick envelopes by adding binary variables [25,28]. Particularly, two additional sets of variables are defined in the piecewise formulation:

Binary switch: <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M39','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M39">View MathML</a>

Continuous switch: <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M40','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M40">View MathML</a>

The binary switch λ is active (i.e., λ(nP)=1) for the segment where x is located <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M41','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M41">View MathML</a> and is otherwise inactive. Therefore, the partitioning scheme activates exactly only one nP∈{1,…,NP} so that the feasible region corresponding to the relaxation of xy is reduced from the parallelogram in Figure 4(a) to a significantly smaller one depicted in Figure 4(b).

thumbnailFigure 4. McCormick convex relaxation over the entire feasible region (subfigure (a)) compared to a piecewise McCormick relaxation over a smaller active region (subfigure (b)) where the tightness of the relaxation is improved. We built the master problem by replacing the bilinear terms by piecewise McCormick envelopes. The relaxation can be further improved by adding binary variables.

Eq. 31 enforces that only one binary variable is active:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M42','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M42">View MathML</a>

(31)

The continuous switch Δy takes on any positive value between 0 and yUyL when the binary switch corresponding to the nPth piecewise λ(nP) is active (i.e., λ(nP)=1) and 0 otherwise. Therefore:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M43','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M43">View MathML</a>

(32)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M44','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M44">View MathML</a>

(33)

Finally, the under and overestimators for the active segment are defined in algebraic terms as follows:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M45','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M45">View MathML</a>

(34)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M46','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M46">View MathML</a>

(35)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M47','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M47">View MathML</a>

(36)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M48','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M48">View MathML</a>

(37)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M49','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M49">View MathML</a>

(38)

Note that the discrete relaxation is tighter than the continuous one over the entire feasible region. The introduction of the binary variables required in the piecewise McCormick reformulation gives rise to a mixed-integer nonlinear programming (MINLP) problem, with the only nonlinearities appearing in the objective function. While this MINLP is convex and can be easily solved to global optimality with standard MINLP solvers, it is more convenient to linearize it in order to obtain an MILP formulation, for which more efficient software packages exist. The section that follows explains how this is accomplished.

Hyper-planes underestimation

The convex MINLP can be further reformulated into an MILP by replacing the objective function by a set of hyper-planes. For this, we define two new variables as <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M50','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M50">View MathML</a> and <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M51','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M51">View MathML</a>. The quadratic terms are then approximated by 1st degree Taylor series. That is, the square terms are replaced by l hyper-planes uniformly distributed between the maximum and minimum desired values of <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M52','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M52">View MathML</a> (Figure 5) so that the objective function is reduced to a summation of quadratic terms as follows:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M53','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M53">View MathML</a>

(39)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M54','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M54">View MathML</a>

(40)

thumbnailFigure 5. x squared function underestimated by a 1st degree Taylor series. The objective function is linearized by a first degree Taylor series with l hyper-planes.

Upper level slave problem

A valid upper bound on the global optimum is obtained by optimizing the original NLP locally. This NLP is initialized using the solution provided by the MILP as starting point. The solution of this NLP is used to tighten the MILP, so the lower and upper bounds tend to converge as iterations proceed.

Algorithm steps

The proposed algorithm comprises the following steps:

1. Set iteration count it = 0, UB = , LB = − and tolerance error = tol.

2. Set it=it + 1. Solve the master problem MILP.

(a) If the MILP is infeasible, stop (since the NLP is also infeasible).

(b) Otherwise, update the current LB making <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M55','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M55">View MathML</a>, where LBit is the value of the objective function of the MILP in the itth iteration.

3. Solve the slave problem NLP.

(a) If the NLP is infeasible add one more piecewise term and hyper-plane to the master MILP and go to step 2 of the algorithm.

(b) Otherwise, update the current UB making UB = <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M56','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M56">View MathML</a> (UBit), where UBit is the value of the objective function of the NLP in the itth iteration.

4. Calculate the optimality gap OG as <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M57','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M57">View MathML</a>.

(a) If OG≤tol, then stop. The current UB is regarded as the global optimum within the desired tolerance.

(b) Otherwise, add one more piecewise section and hyper-plane to the master MILP and go to step 2 of the algorithm.

Remarks:

There are different methods to update the piecewise bilinear approximation. One possible strategy is to update it by dividing the active piecewise (i.e., the piecewise term in which the solution is located) into two equal-length segments.

The new hyper-plane term <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M58','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M58">View MathML</a> is added at the optimal solution of the MILP (solution point <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M59','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M59">View MathML</a>) in the previous iteration.

The univariate convex and concave terms in the reformulated problem can be either approximated by the secant or by a piecewise univariate function similarly as done with the McCormick envelopes.

Our algorithm needs to be tuned prior to its application. This is a common practice in any optimization algorithm. In a previous publication [13], we studied the issue of defining the number of piecewise intervals and supporting hyper-planes in an optimal manner. In practice, however, the optimal number of piecewise terms and hyper-planes is highly dependent on the specific instance being solved, so it is difficult to provide general guidelines on this.

The approach presented might lead to large computational burdens in large-scale models of complex biological systems. Future work will focus on expediting our algorithm through the addition of cutting planes and the use of customized decomposition strategies.

Case studies

We illustrate the performance of the proposed algorithm through its application to two challenging benchmark parameter estimation problems: the isomerisation of α-Pinene (case study 1) and the inhibition of HIV proteinase (case study 2). The objective in these problems is to obtain the set of values of the model parameters such that the model response is as close as possible to the experimental data. For comparison purposes we used the global optimization package BARON (version 8.1.5). BARON is a commercial software for solving nonconvex optimization problems to global optimality. BARON combines constraint propagation, interval analysis, duality, and enhanced "branch and bound" concepts for efficient range reduction with rigorous relaxations constructed by enlarging the feasible region and/or underestimating the objective function. The interested readers have the possibility to evaluate this software on their own for free in this link: http://www.neos-server.org/neos/solvers/go:BARON/GAMS.html webcite. Our algorithm was implemented in GAMS 23.5.2 using CPLEX 12.2.0.0 for the MILPs and SNOPT 4 for the NLPs subproblems. All the calculations were performed in a PC/AMD Athlon II at 2.99 Ghz using a single core. Data about the size of the models can be found in Table 1.

Table 1. Model size in the last iteration

Case study 1: Isomerisation of α-Pinene

In this first case study, five kinetic parameters describing the thermal isomerisation of α-Pinene are estimated. The proposed reaction scheme for this process is depicted in Figure 6. In this homogeneous chemical reaction, α-Pinene (γ1) is thermally isomerised to dipentene (γ2) and allo-ocimene (γ3), which in turn yields α- and β-Pyronene (γ4) and a dimer (γ5). This process was originally studied by Fuguitt and Hawkins [29], which carried out a single experiment reporting the experimental concentrations (mass fraction) of the reactant and the four products measured at eight time intervals.

thumbnailFigure 6. Proposed mechanism describing the thermal isomerization of α-Pinene. In this reaction α-Pinene (γ1) is thermally isomerized to dipentene (γ2) and allo-ocimene (γ3), which in turn yields α- and β-Pyronene (γ4) and a dimer (γ5).

Hunter and McGregor [30] postulated first-order kinetics and proposed the following set of ODE’s describing the dynamic process:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M60','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M60">View MathML</a>

(41)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M61','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M61">View MathML</a>

(42)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M62">View MathML</a>

(43)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M63">View MathML</a>

(44)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M64">View MathML</a>

(45)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M65">View MathML</a>

(46)

Rodriguez-Fernandez et al. [4] addressed this problem by applying a metaheuristic based on the scatter search method. This strategy does not offer any theoretical guarantee of convergence to the global optimum in a finite number of iterations.

Following our approach, the state variables were approximated by Lagrange polynomials using three collocation points evaluated at the shifted roots of orthogonal Legendre polynomials and defining five finite elements of equal length. The nonconvexities in the resulting residual equations are given by the bilinear terms θiξe,k, j which were relaxed using piecewise McCormick approximations as described previously. The objective function was underestimated using supporting hyper-planes.

It is well known that the quality of the lower bound predicted by a relaxation strongly depends on the bounds imposed on its variables [31]. Hence bounds on collocation coefficients (<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M66">View MathML</a> and <a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M67">View MathML</a>, originally set to 0 and 100, respectively) were tightened by performing a bound contraction procedure [21,32]. Particularly, tight lower and upper bounds were estimated for each collocation coefficient by maximizing and minimizing its value while satisfying the constraints contained in the master problem. This is a costly process (i.e., if bounds for n variables are to be estimated, 2n optimization problems should be solved). For this reason, it was only performed recursively 3 times before the initialization of the algorithm. The MILP was further tightened by adding the following constraint:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M68','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M68">View MathML</a>

(47)

which forces the model to find a solution better than the one obtained at the beginning of the search by locally minimizing the original NLP (i.e., 20 is a rigorous upper bound for the objective function). Furthermore, the parameter θi was allowed to take any value within the [0, 1] interval.

The problem was solved with 6 initial hyper-planes. An extra hyper-plane was added in each iteration, but the total number of piecewise terms was kept constant (4 piecewise intervals were considered) in order to keep the MILP in a manageable size. A tolerance of 5% was set as termination criterion.

For comparison purposes, we solved the same problem with the standard global optimization package BARON using its default settings. BARON was able to find the global optimum but failed at reducing the optimality gap below the specified tolerance after 12h of CPU time. In contrast, our algorithm closed the gap in less than 3h (see Table 2). As shown in Table 2, the results obtained agree with those reported in the literature.

Table 2. Global optimization results for the α-Pinene isomerisation problem

Case study 2: Inhibition of HIV proteinase

In this second case study, we considered a much more complex biological dynamic system. Particularly, we studied the reaction mechanism of the irreversible inhibition of HIV proteinase, as originally examined by Kuzmic [33] (Figure 7). Note that this dynamic model has lack of practical identifiability, as reported in Rodriguez-Fernandez et al[4]. Nevertheless, we think that this example is still useful for the purpose of our analysis, since the emphasis here is placed on globally optimizing dynamic models of biological systems rather than analyzing identifiability issues.

thumbnailFigure 7. Proposed mechanism describing the irreversible inhibition of HIV proteinase. The enzyme HIV proteinase (E), which is only active in a dimer form, was added to a solution of an irreversible inhibitor (I) and a fluorogenic substrate (S). The product (P) is a competitive inhibitor for the substrate.

The model can be described mathematically through a set of 9 nonlinear ODE’s with ten parameters:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M69','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M69">View MathML</a>

(48)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M70','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M70">View MathML</a>

(49)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M71','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M71">View MathML</a>

(50)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M72','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M72">View MathML</a>

(51)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M73','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M73">View MathML</a>

(52)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M74">View MathML</a>

(53)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M75','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M75">View MathML</a>

(54)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M76','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M76">View MathML</a>

(55)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M77','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M77">View MathML</a>

(56)

where the following initial conditions and parameters are known:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M78','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M78">View MathML</a>

(57)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M79','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M79">View MathML</a>

(58)

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M80">View MathML</a>

(59)

A series of five experiments where the enzyme HIV proteinase (E) (assay concentration 0.004 μM) was added to a solution of an irreversible inhibitor (I) and a fluorogenic substrate (S) (25 μM) were considered. The five experiments were carried out at four different concentrations of the inhibitor (0, 0.0015, 0.003, and 0.004 μM in replicate).

The fluorescence changes were monitored during one hour. The measured signal is a linear function of the product (P) concentration, as expressed in the following equation:

<a onClick="popup('http://www.biomedcentral.com/1471-2105/13/90/mathml/M81','MathML',630,470);return false;" target="_blank" href="http://www.biomedcentral.com/1471-2105/13/90/mathml/M81">View MathML</a>

(60)

In this fit, the offset (baseline) of the fluorimeter was considered as a degree of freedom. A certain degree of uncertainty (±50%) was assumed for the value of the initial concentrations of substrate and enzyme (titration errors).

The calibration of a total of 20 adjustable parameters was addressed: five rate constants, five initial concentrations of enzyme and substrate and five offset values. Mendes and Kell [34] solved this problem using simulated annealing and reported its first known solution. Later, Rodriguez-Fernandez et al. [4] improved that solution by means of a scatter search metaheuristic, which required a fraction of the time employed by Mendes’ simulated annealing. Recall that, despite producing near optimal solutions in short CPU times, stochastic algorithms provide no information on the quality of the solutions found and are unable to guarantee convergence to the global optimum in a finite number of iterations. On the contrary, the proposed methodology ensures the global optimality of the solution computed within a desired tolerance.

In our study, the state variables were approximated using five orthogonal collocation points and five equal-length finite elements. In this case, the nonconvexities arise from the bilinear terms ξe, k, jξe, k, j and θiξe, k, j.

The parameter bounds θi were set to θi∈[0, 106]. The lower and upper limits for the collocation coefficients ξe, k, j, n were fixed to ξe, k, j, n∈[0, 37.5] except for ξe, k, E, n∈[0.002, 0.006] and ξe, k, S, n∈[12.5,37.5]. The bounds for all the offsets were set to offsetn∈[−0.5, 0.5].

The master problem was further tightened by adding a special type of strengthening cuts. These cuts are generated by temporally decomposing the original full space MILP into a series of MILPs in each of which we fit only a subset of the original dataset, and remove the continuity equations corresponding to the extreme elements included in the sub-problem. The cuts are expressed as inequalities added to the master problem that impose lower bounds on the error of a subset of elements for which the sub-MILPs are solved. These bounds are hence obtained from the solution of a set of MILP sub-problems that optimize the error of only a subset of elements.

This case study was solved with 3 initial piecewise intervals and 6 initial hyper-planes. Two strengthening cuts involving elements 1, 2, 3 and 4, and 2, 3, 4 and 5, respectively, were added as constrains. A tolerance of 20% was used in the calculations. Hyper-planes and piecewise terms were updated at each iteration of the algorithm. In this case, BARON failed to identify any feasible solution after 12h of CPU time.

In contrast, our algorithm was able to obtain the global optimum (Table 3) with a gap of 18.64% in approximately 4,000 CPU s (Table 4). Remarkably, the solution found by our algorithm improves the best known solution reported by Rodriguez-Fernandez et al. [4]. Hence, our algorithm clearly outperformed other parameter estimation methods, improving the best known solution [4,34], and providing a rigorous lower bound on the minimum error that can be attained.

Table 3. Optimal parameters for the HIV proteinase inhibition problem

Table 4. Global optimization results for the HIV proteinase inhibition problem

Conclusions

In this work, we have proposed a novel strategy for globally optimizing parameter estimation problems with embedded nonlinear dynamic systems. The method presented was tested through two challenging benchmark problems: the isomerisation of α-Pinene (case study 1) and the inhibition of HIV proteinase (case study 2).

The proposed algorithm identified the best known solution, which was originally reported by Rodriguez-Fernandez et al. [4], in the case of the α-Pinene, and improved the best known one in the HIV proteinase case study. In both cases, rigorous lower bounds were provided on the global optimum, making it possible to determine the optimality gap of the solutions found.

The method proposed produced promising results, surpassing the capabilities of BARON. Our method requires some knowledge on optimization theory as well as skills using modelling systems. Our final goal is to develop a software to automate the calculations, so our approach can be easily used by a wider community. This is a challenging task, since nonlinear models are hard to handle and typically require customized solution procedures. Particularly, nonlinear models must be initialized carefully to ensure convergence even to a local solution. In this regard, the use of an outer approximation scheme that relies on a master MILP formulation is quite appealing, since the outcome of this MILP can be used to initialize the NLP in a robust manner.

Another key point here is how to construct tight relaxations of the nonconvex terms. An efficient algorithm must exploit the problem structure to obtain high quality relaxations and therefore good bounds close to the global optimum. These relaxations can be further tightened through the addition of cutting planes or the use of customized decomposition methods. As observed, there is still much work to be done in this area, but we strongly believe that such an effort is worthy. Furthermore, recent advances in global optimization theory and software applications are paving the way to develop systematic deterministic tools for the global optimization of parameter estimation problems of increasing size. Our future work will focus on making the approach more efficient through the use of tailored cutting planes and decomposition strategies and also through the hybridization of deterministic methods with stochastic approaches.

Competing interest

The authors declare that they have no competing interests.

Authors’ contributions

G. G-G suggested the need for the approach and J.A. E provided the biological problems. A. M, C. P, G. G-G and L. J developed the optimization algorithms and performed the numerical analysis. All authors evaluated the results, wrote the paper and contributed to its final form.

Acknowledgements

This work was supported by the Spanish Ministry of Science and Innovation through the doctoral research grant FPI-MICINN reference grant BES-2010-037166 and through the project CTQ2009-14420-C02-01.

References

  1. Kameswaran S, Biegler L: Simultaneous dynamic optimization strategies: recent advances and challenges.

    Comput & Chem Eng 2006, 30(10-12):1560-1575. PubMed Abstract | Publisher Full Text OpenURL

  2. Esposito W, Floudas C: Global optimization for the parameter estimation of differential-algebraic systems.

    Ind & Eng Chem Res 2000, 39(5):1291-1310. PubMed Abstract | Publisher Full Text OpenURL

  3. Cizniar M, Salhi D, Fikar M, Latifi M: A MATLAB package for orthogonal collocations on finite elements in dynamic optimisation.

    Proc 15 Int Conference Process Control, Volume 5058f-058f. OpenURL

  4. Rodriguez-Fernandez M, Egea J, Banga J: Novel metaheuristic for parameter estimation in nonlinear dynamic biological systems.

    BMC Bioinf 2006, 7:483. BioMed Central Full Text OpenURL

  5. Esposito W, Floudas C: Deterministic global optimization in nonlinear optimal control problems.

    J Global Optimization 2000, 17:97-126. Publisher Full Text OpenURL

  6. Papamichail I, Adjiman C: A rigorous global optimization algorithm for problems with ordinary differential equations.

    J Global Optimization 2002, 24:1-33. Publisher Full Text OpenURL

  7. Singer A, Barton P: Global solution of optimization problems with parameter-embedded linear dynamic systems.

    J Optimization Theory and Appl 2004, 121(3):613-646. OpenURL

  8. Kesavan P, Allgor R, Gatzke E, Barton P: Outer approximation algorithms for separable nonconvex mixed-integer nonlinear programs.

    Math Programming 2004, 100(3):517-535. OpenURL

  9. Biegler L, Grossmann I: Retrospective on optimization.

    Comput & Chem Eng 2004, 28(8):1169-1192. PubMed Abstract | Publisher Full Text OpenURL

  10. Finlayson B: The method of weighted residuals and variational principles: with application in fluid mechanics, heat and mass transfer, Volume 87. Academic Pr; 1972. OpenURL

  11. Cuthrell J, Biegler L: On the optimization of differential-algebraic process systems.

    AIChE J 1987, 33(8):1257-1270. Publisher Full Text OpenURL

  12. Tieu D, Cluett W, Penlidis A: A comparison of collocation methods for solving dynamic optimization problems.

    Comput & Chem Eng 1995, 19(4):375-381. PubMed Abstract | Publisher Full Text OpenURL

  13. Pozo C, Guillén-Gosálbez G, Sorribas A, Jiménez L: Outer approximation-based algorithm for biotechnology studies in systems biology.

    Comp & Chem Eng 2010, 34(10):1719-1730. PubMed Abstract | Publisher Full Text OpenURL

  14. Carlos P, Alberto M, Rui A, Gonzalo G, Laureano J, Albert S: Steady-state global optimization of metabolic non-linear dynamic models through recasting into power-law canonical models.

    BMC Syst Biol 5:137. OpenURL

  15. Pozo C, Guillén-Gosálbez G, Sorribas A, Jiménez L: A spatial branch-and-bound framework for the global optimization of kinetic models of metabolic networks.

    Ind & Eng Chem Res 2010. PubMed Abstract OpenURL

  16. Sorribas A, Pozo C, Vilaprinyo E, Guillén-Gosálbez G, Jiménez L, Alves R: Optimization and evolution in metabolic pathways: Global optimization techniques in Generalized Mass Action models.

    J Biotechnol 2010, 149(3):141-153. PubMed Abstract | Publisher Full Text OpenURL

  17. Guillén-Gosálbez G, Sorribas A: Identifying quantitative operation principles in metabolic pathways: a systematic method for searching feasible enzyme activity patterns leading to cellular adaptive responses.

    BMC Bioinf 2009, 10:386. BioMed Central Full Text OpenURL

  18. Wicaksono D, Karimi I: Piecewise MILP under-and overestimators for global optimization of bilinear programs.

    AIChE J 2008, 54(4):991-1008. Publisher Full Text OpenURL

  19. Androulakis I, Maranas C, Floudas C: αBB: A global optimization method for general constrained nonconvex problems.

    J Global Optimization 1995, 7(4):337-363. Publisher Full Text OpenURL

  20. Smith E, Pantelides C: A symbolic reformulation/spatial branch-and-bound algorithm for the global optimisation of nonconvex MINLPs.

    Comput & Chem Eng 1999, 23(4-5):457-478. PubMed Abstract | Publisher Full Text OpenURL

  21. Quesada I, Grossmann I: Global optimization algorithm for heat exchanger networks.

    Ind & Eng Chem Res 1993, 32(3):487-499. PubMed Abstract | Publisher Full Text OpenURL

  22. Smith E, Pantelides C: Global optimisation of general process models.

    NONCONVEX OPTIMIZATION APPL 1996, 9:355-384. OpenURL

  23. McCormick G: Computability of global solutions to factorable nonconvex programs: Part I Convex underestimating problems.

    Math Programming 1976, 10:147-175. Publisher Full Text OpenURL

  24. McCormick G: Nonlinear programming: Theory, algorithms, and applications.

    1983.

  25. Misener R, Thompson J, Floudas C: APOGEE: Global optimization of standard, generalized, and extended pooling problems via linear and logarithmic partitioning schemes.

    Comput & Chem Eng 2011, 35:876-892. PubMed Abstract | Publisher Full Text OpenURL

  26. Singer A, Barton P: Bounding the solutions of parameter dependent nonlinear ordinary differential equations.

    SIAM J Sci Comput 2006, 27(6):2167-2184. Publisher Full Text OpenURL

  27. Singer A, Barton P: Global optimization with nonlinear ordinary differential equations.

    J Global Optimization 2006, 34(2):159-190. Publisher Full Text OpenURL

  28. Karuppiah R, Grossmann I: Global optimization for the synthesis of integrated water systems in chemical processes.

    Comput & Chem Eng 2006, 30(4):650-673. PubMed Abstract | Publisher Full Text OpenURL

  29. Fuguitt R, Hawkins J: Rate of the thermal isomerization of α-Pinene in the liquid phase1.

    J Am Chem Soc 1947, 69(2):319-322. Publisher Full Text OpenURL

  30. Hunter W, McGregor J: The estimation of common parameters from several responses: Some actual examples.

    Unpublished Report. 1967. OpenURL

  31. Grossmann I, Biegler L: Part II. Future perspective on optimization.

    Comput & Chem Eng 2004, 28(8):1193-1218. PubMed Abstract | Publisher Full Text OpenURL

  32. Hansen P, Jaumard B, Lu S: An analytical approach to global optimization.

    Math Programming 1991, 52:227-254. Publisher Full Text OpenURL

  33. Kuzmic P: Program DYNAFIT for the analysis of enzyme kinetic data: application to HIV proteinase.

    Anal Biochem 1996, 237(2):260-273. PubMed Abstract | Publisher Full Text OpenURL

  34. Mendes P, Kell D: Non-linear optimization of biochemical pathways: applications to metabolic engineering and parameter estimation.

    Bioinformatics 1998, 14(10):869. PubMed Abstract | Publisher Full Text OpenURL