Researcher at the (Bio) Process Engineering Group, IIM-CSIC (Vigo-Spain).
Education: - M.Sc. in Physics from the University of Santiago de Compostela (Spain) in 1996. - Ph.D. in Chemical Engineering from the University of Vigo (Spain) in 2001.
Research interests: - mathematical modelling, simulation, optimization and control in the bio-industries and biological systems.
Software development: - AMIGO (Advanced Model Identification Toolbox using Global Optimization)
Abstract: In the present work, a set of generic parameters was proposed for a pharmacokinetic model, with the objective of predicting Cd concentration in the tissues of diverse fish species under different environmental conditions. Cd concentrations in a number of tissues of Oncorhynchus mykiss and Cyprinus carpio were estimated by a structurally identifiable multicompartmental model (unique solution). The 13 generic parameters of the model comprised exchange rates, tissue-blood partition coefficients, and weight-corrected elimination rate constants accounting for the routes of water respiration, excretion and egestion. On the other hand, absorption efficiencies from water and food were considered to be condition-specific and estimated for each experiment. These two parameters reflected the differences in fish exposure to diet (food type and metal concentration) or water (water chemistry and bioavailable metal concentration). A data set of 27 experiments of Cd bioaccumulation in fish tissues was compiled for model calibration. The selected dynamics on trout and carp were performed under very different experimental conditions, involving water and/or food exposure, different fish weights and exposure concentrations and the presence/absence of depuration periods. Model predicted, for most compartments and experiments, the tendency of Cd dynamics. However, accumulation in liver and kidney was underestimated in approximately a half of the experiments, due mainly to a rapid metallothionein (MT) sequestration phenomena and subsequent saturation on liver and kidney produced under high exposure concentrations. On the other hand, both generic and condition-specific parameter values were in accordance with the values reported in literature when available. Therefore, the results obtained in this work are an initial step indicating that a generic global input parameter set could be applied to physiology-based pharmacokinetic (PBPK) models for estimating Cd accumulation in fish in different types of scenarios. (C) 2010 Published by Elsevier Ltd.
Abstract: Background: Mathematical models provide abstract representations of the information gained from experimental observations on the structure and function of a particular biological system. Conferring a predictive character on a given mathematical formulation often relies on determining a number of non-measurable parameters that largely condition the model's response. These parameters can be identified by fitting the model to experimental data. However, this fit can only be accomplished when identifiability can be guaranteed. Results: We propose a novel iterative identification procedure for detecting and dealing with the lack of identifiability. The procedure involves the following steps: 1) performing a structural identifiability analysis to detect identifiable parameters; 2) globally ranking the parameters to assist in the selection of the most relevant parameters; 3) calibrating the model using global optimization methods; 4) conducting a practical identifiability analysis consisting of two (a priori and a posteriori) phases aimed at evaluating the quality of given experimental designs and of the parameter estimates, respectively and 5) optimal experimental design so as to compute the scheme of experiments that maximizes the quality and quantity of information for fitting the model. Conclusions: The presented procedure was used to iteratively identify a mathematical model that describes the NF-kappa B regulatory module involving several unknown parameters. We demonstrated the lack of identifiability of the model under typical experimental conditions and computed optimal dynamic experiments that largely improved identifiability properties.
Abstract: Metal bioaccumulation in fish is influenced by factors specific to the chemical and environmental conditions, the exposure route and the species. Fora better understanding of the main interactions among these factors, models are needed to capture the basic principles driving the dynamics of metal bioaccumulation in fish, taking into account different exposure routes and the distribution among representative organs. There is a significant amount of data in the literature concerning metal bioaccumulation experiments in different species of fish. Quantitative information about rate constants of the processes involved in bioaccumulation (diffusion, uptake and elimination) can be obtained from these data by means of dynamic models, that, once validated, can be used for predictive purposes. In this work, a compartmental model structure is developed aiming, in the first instance, to obtain the maximum amount of information from published experimental data. Once calibrated, the model can be further used to predict metal bioaccumulation under different scenarios. The model structure is able to reproduce the experimental behaviour for those species-metal pairs tested and, in addition, is demonstrated to be robust and identifiable. Then, the complete set of parameters can be estimated uniquely, for a specific species-metal pair by using concentration measures in a reduced number of organs. In this way, the optimal parameter sets obtained for different pairs can be compared, and the parameter specificity with respect to the metal or the species can be investigated. (C) 2009 Elsevier Ltd. All rights reserved.
Abstract: Background: Mathematical optimization aims to make a system or design as effective or functional as possible, computing the quality of the different alternatives using a mathematical model. Most models in systems biology have a dynamic nature, usually described by sets of differential equations. Dynamic optimization addresses this class of systems, seeking the computation of the optimal time-varying conditions (control variables) to minimize or maximize a certain performance index. Dynamic optimization can solve many important problems in systems biology, including optimal control for obtaining a desired biological performance, the analysis of network designs and computer aided design of biological units. Results: Here, we present a software toolbox, DOTcvpSB, which uses a rich ensemble of state-of-the-art numerical methods for solving continuous and mixed-integer dynamic optimization (MIDO) problems. The toolbox has been written in MATLAB and provides an easy and user friendly environment, including a graphical user interface, while ensuring a good numerical performance. Problems are easily stated thanks to the compact input definition. The toolbox also offers the possibility of importing SBML models, thus enabling it as a powerful optimization companion to modelling packages in systems biology. It serves as a means of handling generic black-box models as well. Conclusion: Here we illustrate the capabilities and performance of DOTcvpSB by solving several challenging optimization problems related with bioreactor optimization, optimal drug infusion to a patient and the minimization of intracellular oscillations. The results illustrate how the suite of solvers available allows the efficient solution of a wide class of dynamic optimization problems, including challenging multimodal ones. The toolbox is freely available for academic use.
Abstract: An enhanced scatter search method for the global dynamic optimization of nonlinear processes using the control vector parametrization (CVP) approach is presented. Sharing some features of the scatter search metaheuristic, this new method presents a simpler but more effective design which helps to overcome typical difficulties of nonlinear dynamic systems optimization such as noise, flat areas, nonsmoothness, and/or discontinuities. This new algorithm provides a good balance between robustness and efficiency in the global phase, and couples a local search procedure to accelerate the convergence to optimal solutions. Its application to four multimodal dynamic optimization problems, compared with other state-of-the-art global optimization algorithms, including an advanced scatter search design, proves its efficiency and robustness, showing a very good scalability.
Abstract: Background: Modeling and simulation of cellular signaling and metabolic pathways as networks of biochemical reactions yields sets of non-linear ordinary differential equations. These models usually depend on several parameters and initial conditions. If these parameters are unknown, results from simulation studies can be misleading. Such a scenario can be avoided by fitting the model to experimental data before analyzing the system. This involves parameter estimation which is usually performed by minimizing a cost function which quantifies the difference between model predictions and measurements. Mathematically, this is formulated as a non-linear optimization problem which often results to be multi-modal (non-convex), rendering local optimization methods detrimental. Results: In this work we propose a new hybrid global method, based on the combination of an evolutionary search strategy with a local multiple-shooting approach, which offers a reliable and efficient alternative for the solution of large scale parameter estimation problems. Conclusion: The presented new hybrid strategy offers two main advantages over previous approaches: First, it is equipped with a switching strategy which allows the systematic determination of the transition from the local to global search. This avoids computationally expensive tests in advance. Second, using multiple-shooting as the local search procedure reduces the multi-modality of the non-linear optimization problem significantly. Because multiple-shooting avoids possible spurious solutions in the vicinity of the global optimum it often outperforms the frequently used initial value approach (single-shooting). Thereby, the use of multiple-shooting yields an enhanced robustness of the hybrid approach.
Abstract: Mathematical models are central in systems biology and provide new ways to Understand the function of biological systems, helping in the generation of novel and testable hypotheses, and supporting a rational framework for possible ways of intervention, like in e.g. genetic engineering, drug development or treatment of diseases. Since the amount and quality of experimental 'omics' data continue to increase rapidly, there is great need for methods for proper model building, which can handle this complexity. In the present chapter we review two key steps of the model building process, namely parameter estimation (model calibration) and optimal experimental design. Parameter estimation aims to find the unknown parameters of the model which give the best fit to a set of experimental data. Optimal experimental design aims to devise the dynamic experiments which provide the maximum information content for subsequent non-linear model identification, estimation and/or discrimination. We place emphasis on the need for robust global optimization methods for proper solution of these problems, and we present a motivating example considering a cell signalling model.
Abstract: Due to the importance of coastal areas, is of the highest interest to implement purification systems that with minimum cost are able to assure water quality standards in agreement with the regional legislations. This work addresses the optimal design (outfall locations) and optimal operation (level of oxygen discharges) of a wastewater treatment system. This problem can be mathematically formulated as a two-objective mixed design and optimal control problem with constraints on the states and the design and control variables. The two-objective problem is formulated as a single-objective problem through the use of the weighted sum method. The existence of the optimal solution is then demonstrated for an arbitrary set of weights and a first order optimality condition is obtained to characterize that solution. The numerical solution for a realistic case study posed in the ria of Vigo is also accomplished by using the combination of the control vector parametrization approach with a global non-linear programming (NLP) solver. Remark that, as the problem under consideration is two-objective, there is not an unique solution but a set of equivalent solutions, the Pareto solutions, requiring the involvement of a decision maker to select one solution from the set. (C) 2008 IMACS. Published by Elsevier B.V. All rights reserved.
Abstract: Mathematical models of complex biological systems, such as metabolic or cell-signalling pathways, usually consist of sets of nonlinear ordinary differential equations which depend on several non-measurable parameters that can be hopefully estimated by fitting the model to experimental data. However, the success of this fitting is largely conditioned by the quantity and quality of data. Optimal experimental design (OED) aims to design the scheme of actuations and measurements which will result in data sets with the maximum amount and/or quality of information for the subsequent model calibration. New methods and computational procedures for OED in the context of biological systems are presented. The OED problem is formulated as a general dynamic optimisation problem where the time-dependent stimuli profiles, the location of sampling times, the duration of the experiments and the initial conditions are regarded as design variables. Its solution is approached using the control vector parameterisation method. Since the resultant nonlinear optimisation problem is in most of the cases non-convex, the use of a robust global nonlinear programming solver is proposed. For the sake of comparing among different experimental schemes, a Monte-Carlo-based identifiability analysis is then suggested. The applicability and advantages of the proposed techniques are illustrated by considering an example related to a cell-signalling pathway.
Abstract: In this work a conceptual theory of neural networks (NNs) from the perspective of functional analysis and variational calculus is presented. Within this formulation, the learning problem for the multilayer perceptron lies in terms of finding a function, which is an extremal for some functional. Therefore, a variational formulation for NNs provides a direct method for the solution of variational problems. This proposed method is then applied to distinct types of engineering problems. In particular a shape design, an optimal control and ail inverse problem are considered. The selected examples can be solved analytically, which enables a fair comparison with the NN results. Copyright (C) 2008 John Wiley & Sons, Ltd.
Abstract: A hybrid stochastic-deterministic method, based on the control vector parameterization (CVP) approach, is presented as a reliable and efficient alternative for the solution of dynamic optimization (or open loop optimal control) problems. The problems under consideration are related to free final time single-stage systems and more general multi-stage procecesses that are described by different sets of differential and algebraic equations (DAEs), one for each stage. The operating conditions and the duration of each stage must be computed in order to achieve an overall optimal result for the process subject to constraints in the state and control variables. The solution of three challenging dynamic optimization problems is presented, including a large-scale case study, showing the capabilities of this new strategy.
Abstract: The dynamic optimization of combined lumped and distributed process systems, governed by nonlinear ordinary and partial differential equations (ODEs and PDEs), is considered in this work. The application of a recently developed method based on the combination of the control vector parametrization approach with the calculation of exact gradients and projected Hessians (Hp's), is presented as an alternative for the efficient computation of the control policies needed to optimize a specific performance criterion. The exact first- and second-order information is calculated by means of the solution of an extended initial value problem (IVP) whose particular time-varying Jacobian structure is exploited by a sparse implicit solver to increase efficiency. Finally, the applicability of this method is shown through the solution of a number of case studies demonstrating that a significant speed-up can be obtained through the use of exact second-order information.
Abstract: Dynamic optimization of distributed process systems has received considerable attention over the last couple of years. Most approaches proposed for the solution of these types of problems are based on the use of the control vector parametrization method, which transforms the original dynamic optimization problem into an outer nonlinear programming (NLP) problem. The solution of this NLP problem requires the simulation of the process under consideration for each function evaluation. Unfortunately, this task is usually very demanding for this class of dynamic systems, which calls for reduced-order descriptions of the distributed process system. In this work, we exploit the use of low-order models based on the Gale?rkin projection on a set of proper orthogonal functions as a very efficient alternative to the solution of dynamic optimization problems for nonlinear distributed process systems.
Abstract: The objective of the present research was to establish a combined electromagnetic and heat transfer model to predict the temperature distribution in food loads during microwave and forced air heating in a microwave combination oven. The microwave process was modelled using the finite difference time domain (FDTD) method to numerically solve Maxwell's equations in three dimensions, assuming the food properties to be constant. The power dissipated at each cell in the computational domain was subsequently calculated. Heat transfer was modelled using Fourier's equation for heat conduction with convective boundary conditions. The conduction model was spatially discretised using finite elements. The power dissipation field was transferred to the finite element heat transfer code using interpolation modules to couple the models. Validation experiments were made for comparisons with predicted temperatures inside a model food load with brick-shaped geometry. Good qualitative agreement between predicted and measured temperature profiles was obtained.
Abstract: The dynamic optimization (open-loop optimal control) of bioprocesses is considered. It is shown how these problems can be solved using a recently developed method, based on the control vector parametrization concept, which makes use of second-order sensitivities to obtain exact gradients and Hessians for the objective function of the underlying dynamic process model. A further extension of this scheme, which makes use of restricted second-order information, is also presented. This extension results in an efficient way to solve general dynamic optimization problems, even for high levels of control discretization. This new approach allows the efficient and robust solution of two challenging case studies regarding the optimal control of fed-batch bioreactors taken from the open literature. The dynamic optimization (open-loop optimal control) of bioprocesses is considered. It is shown how these problems can be solved using a recently developed method, based on the control vector parameterization concept, which makes use of second-order sensitivitives to obtain exact gradients and Hessians for the objective function of the underlying dynamic process model. A further extension of this scheme, which makes use of restricted second-order information, is also presented. This extension results in an efficient way to solve general dynamic optimization problems, even for high levels of control discretization. This new approach allows the efficient and robust solution of two challenging case studies regarding the optimal control of fed-batch bioreactors taken from the open literature.
Abstract: The derivation of formulae for second-order parametric sensitivity analysis of differential-algebraic equations is presented in this paper, using tensorial analysis. The proposed formulae derive this information in conjunction with the state and first-order sensitivity evaluation. An original result in this work is the derivation of Hessian matrix-vector product forms which are shown to have the same computational complexity as the evaluation of first-order sensitivities. The theoritical result for second-order sensitivities is shown to be a very effective way to solve optimal control problems. The algorithm constructed is demonstrated to have a fine performance on three standard optimal control problems taken from the chemical engineering literature. The derivation of formulae for second-order parametric sensitivity analysis of differential-algebraic equations is presented in this paper, using tensorial analysis. The proposed formulae derive this information in conjunction with the state and first-order sensitivity evaluation. An original result in this work is the derivation of Hessian matrix-vector product forms which are shown to have the same computational complexity as the evaluation of first-order sensitivities. The theoretical result for second-order sensitivities is shown to be a very effective way to solve optimal control problems. The algorithm constructed is demonstrated to have a fine performance on three standard optimal control problems taken from the chemical engineering literature.
Abstract: In this contribution we study a set of dynamic optimization problems of fed-batch
bioreactors. On account of the highly nonlinear dynamic models of the bioprocesses involved,
the solution of the corresponding optimal control problems becomes a challenging task.
Basically the dynamic optimization consists of calculating the optimal operating policies,
usually the time-varying feed rates, to optimize a certain index. In this regard we apply the
novel MATLAB toolbox NDOT, which combines the control vector parameterization
approach with local and global nonlinear programming solvers and suitable dynamic
simulation methods in order to solve in a robust and efficient way complex problems.
Notes: Please request copies by e-mail: ebalsa@iim.csic.es
Abstract: Abstract: Mathematical models of complex biological systems, such as cell signalling cascades, usually consist of sets of nonlinear ordinary differential equations which depend on several non measurable parameters that must be estimated by fitting the model to experimental data. This model calibration is performed by minimizing the differences between model predictions and measurements. Optimal experimental design (OED) aims to design an scheme of actuations and measurements which will result in data sets with the maximum amount and/or quality of information, as measured by the Fisher Information Matrix, for the subsequent model calibration. This work presents new computational procedures for OED in the context of systems biology, with a focus on cell signalling. The OED problem is formulated as a general dynamic optimization problem and its solution is approached using a combination of the control vector parameterization approach and a robust global non-linear programming solver. The applicability and advantages of using optimal experimental design are illustrated by considering a mitogen-activated protein (MAP) kinase cascade, which is frequently involved in larger cell signalling pathways, and it is known to regulate several cellular processes of major importance.
Notes: Request copies by e-mail to ebalsa@iim.csic.es
Abstract: In this article account is given of some work done in the area of model
reduction of distributed process systems based on mass, energy and momentum first
principles. Reduced order models are derived by projecting the original model on a low
dimensional subspace, which retains the most relevant dynamic features of the system.
This subspace can be obtained from the structure of the parabolic operators, real data or
direct numerical simulation by use of the so-called spectral decomposition techniques or
proper orthogonal decomposition (POD’s). Despite non-linearity or spatial domain
irregularity, the resulting reduced-model consists of a very small set of ordinary
differential and algebraic equations which can be solved very efficiently. As a
consequence, such a reduced description becomes appropriate for on-line simulation (and
thus prediction), real time optimization, identification and control applications. Different
examples related with thermal processing and bioreactors will illustrate the technique as
well as its impact on fast development of optimal control strategies and advanced robust
control
Abstract: Model-based mathematical optimization is a powerful tool for building
decision support systems. Such systems can be used to design and/or operate (control)
food processes in an optimal way, leading to e.g. maximum profit while satisfying safety
and quality constraints. However, most of these problems are very challenging to solve
due to their multimodal nature (existence of multiple optima). Global optimization is a
challenging research area which has started to receive significant attention during the last
decade. Here, we review the state of the art and we also present our experiences
regarding the use of a number of global optimization methods to solve problems arising
in the area of food process engineering. We also outline advanced computational
approaches (e.g. cluster computing) in order to successfully handle realistic problems.
Results for selected case studies are presented and discussed.
Abstract: The extension of a recently developed method for the dynamic optimization (DO) of chemical and biochemical processes is presented. This method is based on the control vector parameterization approach and makes use of the calculation of first and second order sensitivities to obtain exact gradient and projected Hessian information. In order to achieve high discretization levels of the control variables with a moderate computational cost, a mesh refining technique is also presented here. The robustness and efficiency of this strategy is illustrated with the solution of several challenging case studies.
Abstract: The general problem of dynamic optimization of bioprocesses with unspecified final time is considered. Several solution strategies, both deterministic and stochastic, are compared based on their results for three bioprocess case studies. A hybrid (stochastic-deterministic) method is also presented and evaluated, showing significant advantages in terms of robustness and computational effort.