-
Kalman-based approaches for online estimation of bioreactor dynamics from fluorescent reporter measurements
Authors:
Rand Asswad,
Eugenio Cinquemani,
Jean-Luc Gouzé
Abstract:
We address online estimation of microbial growth dynamics in bioreactors from measurements of a fluorescent reporter protein synthesized along with microbial growth. We consider an extended version of standard growth models that accounts for the dynamics of reporter synthesis. We develop state estimation from sampled, noisy measurements in the cases of known and unknown growth rate functions. Leve…
▽ More
We address online estimation of microbial growth dynamics in bioreactors from measurements of a fluorescent reporter protein synthesized along with microbial growth. We consider an extended version of standard growth models that accounts for the dynamics of reporter synthesis. We develop state estimation from sampled, noisy measurements in the cases of known and unknown growth rate functions. Leveraging conservation laws and regularized estimation techniques, we reduce these nonlinear estimation problems to linear time-varying ones, and solve them via Kalman filtering. We establish convergence results in absence of noise and show performance on noisy data in simulation.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Hybrid Control of a Bioreactor with Quantized Measurements: Extended Version
Authors:
Francis Mairet,
Jean-Luc Gouzé
Abstract:
We consider the problem of global stabilization of an unstable bioreactor model (e.g. for anaerobic digestion), when the measurements are discrete and in finite number ("quantized"), with control of the dilution rate. The model is a differential system with two variables, and the output is the biomass growth. The measurements define regions in the state space, and they can be perfect or uncertain…
▽ More
We consider the problem of global stabilization of an unstable bioreactor model (e.g. for anaerobic digestion), when the measurements are discrete and in finite number ("quantized"), with control of the dilution rate. The model is a differential system with two variables, and the output is the biomass growth. The measurements define regions in the state space, and they can be perfect or uncertain (i.e. without or with overlaps). We show that, under appropriate assumptions, a quantized control may lead to global stabilization: trajectories have to follow some transitions between the regions, until the final region where they converge toward the reference equilibrium. On the boundary between regions, the solutions are defined as a Filippov differential inclusion. If the assumptions are not fulfilled, sliding modes may appear, and the transition graphs are not deterministic.
△ Less
Submitted 11 August, 2015;
originally announced August 2015.
-
Qualitative control of periodic solutions in piecewise affine systems; application to genetic networks
Authors:
Etienne Farcot,
Jean-Luc Gouzé
Abstract:
Hybrid systems, and especially piecewise affine (PWA) systems, are often used to model gene regulatory networks. In this paper we elaborate on previous work about control problems for this class of models, using also some recent results guaranteeing the existence and uniqueness of limit cycles, based solely on a discrete abstraction of the system and its interaction structure. Our aim is to cont…
▽ More
Hybrid systems, and especially piecewise affine (PWA) systems, are often used to model gene regulatory networks. In this paper we elaborate on previous work about control problems for this class of models, using also some recent results guaranteeing the existence and uniqueness of limit cycles, based solely on a discrete abstraction of the system and its interaction structure. Our aim is to control the transition graph of the PWA system to obtain an oscillatory behaviour, which is indeed of primary functional importance in numerous biological networks; we show how it is possible to control the appearance or disappearance of a unique stable limit cycle by hybrid qualitative action on the degradation rates of the PWA system, both by static and dynamic feedback, i.e. the adequate coupling of a controlling subnetwork. This is illustrated on two classical gene network modules, having the structure of mixed feedback loops.
△ Less
Submitted 2 December, 2009;
originally announced December 2009.
-
Limit cycles in piecewise-affine gene network models with multiple interaction loops
Authors:
Etienne Farcot,
Jean-Luc Gouzé
Abstract:
In this paper we consider piecewise affine differential equations modeling gene networks. We work with arbitrary decay rates, and under a local hypothesis expressed as an alignment condition of successive focal points. The interaction graph of the system may be rather complex (multiple intricate loops of any sign, multiple thresholds...). Our main result is an alternative theorem showing that, i…
▽ More
In this paper we consider piecewise affine differential equations modeling gene networks. We work with arbitrary decay rates, and under a local hypothesis expressed as an alignment condition of successive focal points. The interaction graph of the system may be rather complex (multiple intricate loops of any sign, multiple thresholds...). Our main result is an alternative theorem showing that, if a sequence of region is periodically visited by trajectories, then under our hypotheses, there exists either a unique stable periodic solution, or the origin attracts all trajectories in this sequence of regions. This result extends greatly our previous work on a single negative feedback loop. We give several examples and simulations illustrating different cases.
△ Less
Submitted 11 March, 2009;
originally announced March 2009.
-
Periodic solutions of piecewise affine gene network models: the case of a negative feedback loop
Authors:
Etienne Farcot,
Jean-Luc Gouzé
Abstract:
In this paper the existence and unicity of a stable periodic orbit is proven, for a class of piecewise affine differential equations in dimension 3 or more, provided their interaction structure is a negative feedback loop. It is also shown that the same systems converge toward a unique stable equilibrium point in dimension 2. This extends a theorem of Snoussi, which showed the existence of these…
▽ More
In this paper the existence and unicity of a stable periodic orbit is proven, for a class of piecewise affine differential equations in dimension 3 or more, provided their interaction structure is a negative feedback loop. It is also shown that the same systems converge toward a unique stable equilibrium point in dimension 2. This extends a theorem of Snoussi, which showed the existence of these orbits only. The considered class of equations is usually studied as a model of gene regulatory networks. It is not assumed that all decay rates are identical, which is biologically irrelevant, but has been done in the vast majority of previous studies. Our work relies on classical results about fixed points of monotone, concave operators acting on positive variables. Moreover, the used techniques are very likely to apply in more general contexts, opening directions for future work.
△ Less
Submitted 8 November, 2006;
originally announced November 2006.
-
Global Stabilization of a Class of Partially Known Positive Systems
Authors:
Jean-Luc Gouzé,
Olivier Bernard,
Ludovic Mailleret
Abstract:
In this report we deal with the problem of global output feedback stabilization of a class of $n$-dimensional nonlinear positive systems possessing a one-dimensional unknown, though measured, part. We first propose our main result, an output feedback control procedure, taking advantage of measurements of the uncertain part, able to globally stabilize the system towards an adjustable equilibrium…
▽ More
In this report we deal with the problem of global output feedback stabilization of a class of $n$-dimensional nonlinear positive systems possessing a one-dimensional unknown, though measured, part. We first propose our main result, an output feedback control procedure, taking advantage of measurements of the uncertain part, able to globally stabilize the system towards an adjustable equilibrium point in the interior of the positive orthant. Though quite general, this result is based on hypotheses that might be difficult to check in practice. Then in a second step, through a Theorem on a class of positive systems linking the existence of a strongly positive equillibrium to its global asymptotic stability, we propose other hypotheses for our main result to hold. These new hypotheses are more restrictive but much simpler to check. Some illustrative examples, highlighting both the potential complex open loop dynamics (multi-stability, limit cycle, chaos) of the considered systems and the interest of the control procedure, conclude this report.
△ Less
Submitted 19 July, 2006;
originally announced July 2006.