-
Stability Analysis of Biochemical Reaction Networks Linearly Conjugated to complex balanced Systems with Time Delays Added
Authors:
Xiaoyu Zhang,
Shibo He,
Chuanhou Gao,
Denis Dochain
Abstract:
Linear conjugacy offers a new perspective to broaden the scope of stable biochemical reaction networks to the systems linearly conjugated to the well-established complex balanced mass action systems ($\ell$cCBMASs). This paper addresses the challenge posed by time delay, which can disrupt the linear conjugacy relationship and complicate stability analysis for delayed versions of $\ell$cCBMASs (D…
▽ More
Linear conjugacy offers a new perspective to broaden the scope of stable biochemical reaction networks to the systems linearly conjugated to the well-established complex balanced mass action systems ($\ell$cCBMASs). This paper addresses the challenge posed by time delay, which can disrupt the linear conjugacy relationship and complicate stability analysis for delayed versions of $\ell$cCBMASs (D$\ell$cCBMAS). Firstly, we develop Lyapunov functionals tailored to some D$\ell$cCBMASs by using the persisted parameter relationships under time delays. Subsequently, we redivide the phase space as several invariant sets of trajectories and further investigate the existence and uniqueness of equilibriums in each newly defined invariant set. This enables us to determine the local asymptotic stability of some D$\ell$cCBMASs within an updated framework. Furthermore, illustrative examples are provided to demonstrate the practical implications of our approach.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Prescribed Time Dual-Mode Extremum Seeking Control
Authors:
Adam Waterman,
Martin Guay,
Denis Dochain
Abstract:
We propose a dual mode extremum seeking control design technique that achieves real-time optimization of an unknown measured cost function in a prescribed time. The controller is shown to achieve semi-global practical stability of the optimal equilibrium for the state variables and the input variable for a class of nonlinear dynamical control systems with unknown dynamics. The design technique pro…
▽ More
We propose a dual mode extremum seeking control design technique that achieves real-time optimization of an unknown measured cost function in a prescribed time. The controller is shown to achieve semi-global practical stability of the optimal equilibrium for the state variables and the input variable for a class of nonlinear dynamical control systems with unknown dynamics. The design technique proposes a timescale transformation that enables the use of dither signals with increasing frequencies. The proposed timescale transformation is designed to avoid the singularity occurring at the prescribed time. A simulation study is performed to demonstrate the effectiveness of the proposed technique.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Automatic Implementation of Neural Networks through Reaction Networks--Part II: Error Analysis
Authors:
Yuzhen Fan,
Xiaoyu Zhang,
Chuanhou Gao,
Denis Dochain
Abstract:
This paired article aims to develop an automated and programmable biochemical fully connected neural network (BFCNN) with solid theoretical support. In Part I, a concrete design for BFCNN is presented, along with the validation of the effectiveness and exponential convergence of computational modules. In this article, we establish the framework for specifying the realization errors by monitoring t…
▽ More
This paired article aims to develop an automated and programmable biochemical fully connected neural network (BFCNN) with solid theoretical support. In Part I, a concrete design for BFCNN is presented, along with the validation of the effectiveness and exponential convergence of computational modules. In this article, we establish the framework for specifying the realization errors by monitoring the errors generated from approaching equilibrium points in individual modules, as well as their vertical propagation from upstream modules and horizontal accumulation from previous iterations. Ultimately, we derive the general error upper bound formula for any iteration and illustrate its exponential convergence order with respect to the phase length of the utilized chemical oscillator. The numerical experiments, based on the classification examples, reveal the tendency of total errors related to both the phase length and iteration number.
△ Less
Submitted 13 January, 2024;
originally announced January 2024.
-
Controlling the occurrence sequence of reaction modules through biochemical relaxation oscillators
Authors:
Xiaopeng Shi,
Chuanhou Gao,
Denis Dochain
Abstract:
Embedding sequential computations in biochemical environments is challenging because the computations are carried out by chemical reactions, which are inherently disordered. In this paper we apply modular design to specific calculations through chemical reactions and provide a design scheme of biochemical oscillator models in order to generate periodical species for the order regulation of these r…
▽ More
Embedding sequential computations in biochemical environments is challenging because the computations are carried out by chemical reactions, which are inherently disordered. In this paper we apply modular design to specific calculations through chemical reactions and provide a design scheme of biochemical oscillator models in order to generate periodical species for the order regulation of these reaction modules. We take the case of arbitrary multi-module regulation into consideration, analyze the main errors in the regulation process under \textit{mass-action kinetics} and demonstrate our design scheme under existing synthetic biochemical oscillator models.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
Automatic Implementation of Neural Networks through Reaction Networks -- Part I: Circuit Design and Convergence Analysis
Authors:
Yuzhen Fan,
Xiaoyu Zhang,
Chuanhou Gao,
Denis Dochain
Abstract:
Information processing relying on biochemical interactions in the cellular environment is essential for biological organisms. The implementation of molecular computational systems holds significant interest and potential in the fields of synthetic biology and molecular computation. This two-part article aims to introduce a programmable biochemical reaction network (BCRN) system endowed with mass a…
▽ More
Information processing relying on biochemical interactions in the cellular environment is essential for biological organisms. The implementation of molecular computational systems holds significant interest and potential in the fields of synthetic biology and molecular computation. This two-part article aims to introduce a programmable biochemical reaction network (BCRN) system endowed with mass action kinetics that realizes the fully connected neural network (FCNN) and has the potential to act automatically in vivo. In part I, the feedforward propagation computation, the backpropagation component, and all bridging processes of FCNN are ingeniously designed as specific BCRN modules based on their dynamics. This approach addresses a design gap in the biochemical assignment module and judgment termination module and provides a novel precise and robust realization of bi-molecular reactions for the learning process. Through equilibrium approaching, we demonstrate that the designed BCRN system achieves FCNN functionality with exponential convergence to target computational results, thereby enhancing the theoretical support for such work. Finally, the performance of this construction is further evaluated on two typical logic classification problems.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Network Combination to Persistence of High-dimensional Delayed Complex Balanced Mass-action Systems
Authors:
Xiaoyu Zhang,
Chunhou Gao,
Denis Dochain
Abstract:
Complex balanced mass-action systems (CBMASs) are of great importance in the filed of biochemical reaction networks. However analyzing the persistence of these networks with high dimensions and time delays poses significant challenges. To tackle this, we propose a novel approach that combines 1-dimensional (1d) or 2d delayed CBMASs (DeCBMASs) and introduces inheritable combination methods based on…
▽ More
Complex balanced mass-action systems (CBMASs) are of great importance in the filed of biochemical reaction networks. However analyzing the persistence of these networks with high dimensions and time delays poses significant challenges. To tackle this, we propose a novel approach that combines 1-dimensional (1d) or 2d delayed CBMASs (DeCBMASs) and introduces inheritable combination methods based on the relationship between semilocking sets and intersecting species. These methods account for various scenarios, including cases where the set of intersecting species is empty, or there are no common species in non-trivial semilocking sets and the intersecting species set, or when special forms are present. By utilizing these combination methods, we derive sufficient conditions for the persistence of high-dimensional DeCBMASs. This significantly expands the known class of delayed chemical reaction network systems that exhibit persistence. The effectiveness of our proposed approach is also demonstrated through several examples, highlighting its practical applicability in real-world scenarios. This research contributes to advancing the understanding of high-dimensional DeCBMASs and offers insights into their persistent behavior.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Extremum Seeking Nonlinear Regulator with Concurrent Uncertainties in Exosystems and Control Directions
Authors:
Shimin Wang,
Martin Guay,
Dabo Xu,
Denis Dochain
Abstract:
This paper proposes a non-adaptive control solution framework to the practical output regulation problem (PORP) for a class of nonlinear systems with uncertain parameters, unknown control directions and uncertain exosystem dynamics. The concurrence of the unknown control directions and uncertainties in both the system dynamics and the exosystem pose a significant challenge to the problem. In light…
▽ More
This paper proposes a non-adaptive control solution framework to the practical output regulation problem (PORP) for a class of nonlinear systems with uncertain parameters, unknown control directions and uncertain exosystem dynamics. The concurrence of the unknown control directions and uncertainties in both the system dynamics and the exosystem pose a significant challenge to the problem. In light of a nonlinear internal model approach, we first convert the robust PORP into a robust non-adaptive stabilization problem for the augmented system with integral Input-to-State Stable (iISS) inverse dynamics. By employing an extremum-seeking control (ESC) approach, the construction of our solution method avoids the use of Nussbaum-type gain techniques to address the robust PORP subject to unknown control directions with time-varying coefficients. The stability of the non-adaptive output regulation design is proven via a Lie bracket averaging technique where uniform ultimate boundedness of the closed-loop signals is guaranteed. As a result, both the estimation and tracking errors converge to zero exponentially, provided that the frequency of the dither signal goes to infinity. Finally, a simulation example with unknown coefficients is provided to exemplify the validity of the proposed control solution frameworks.
△ Less
Submitted 8 May, 2024; v1 submitted 14 April, 2023;
originally announced April 2023.
-
Capturing persistence of delayed complex balanced chemical reaction systems via decomposition of semilocking sets
Authors:
Xiaoyu Zhang,
Chuanhou Gao,
Denis Dochain
Abstract:
With the increasing complexity of time-delayed systems, the diversification of boundary types of chemical reaction systems poses a challenge for persistence analysis. This paper focuses on delayed complex balanced mass action systems (DeCBMAS) and derives that some boundaries of a DeCBMAS can not contain an $ω$-limit point of some trajectory with positive initial point by using the method of semil…
▽ More
With the increasing complexity of time-delayed systems, the diversification of boundary types of chemical reaction systems poses a challenge for persistence analysis. This paper focuses on delayed complex balanced mass action systems (DeCBMAS) and derives that some boundaries of a DeCBMAS can not contain an $ω$-limit point of some trajectory with positive initial point by using the method of semilocking set decomposition and the property of the facet, further expanding the range of persistence of delayed complex balanced systems. These findings demonstrate the effectiveness of semilocking set decomposition to address the complex boundaries and offer insights into the persistence analysis of delayed chemical reaction network systems.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Chemical relaxation oscillator designed to control molecular computation
Authors:
Xiaopeng Shi,
Chuanhou Gao,
Denis Dochain
Abstract:
Embedding efficient calculation instructions into biochemical system has always been a research focus in synthetic biology. One of the key problems is how to sequence the chemical reaction modules that act as units of computation and make them alternate spontaneously. Our work takes the design of chemical clock signals as a solution and presents a $4$-dimensional chemical oscillator model based on…
▽ More
Embedding efficient calculation instructions into biochemical system has always been a research focus in synthetic biology. One of the key problems is how to sequence the chemical reaction modules that act as units of computation and make them alternate spontaneously. Our work takes the design of chemical clock signals as a solution and presents a $4$-dimensional chemical oscillator model based on relaxation oscillation to generate a pair of symmetric clock signals for two-module regulation. We give detailed dynamical analysis of the model and discuss how to control the period and occurrence order of clock signals. We also demonstrate the loop control of molecular computations and provide termination strategy for them. We can expect that our design for module regulation and loop termination will help advance the embedding of more complicate calculations into biochemical environments.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
A Globally Convergent Estimator of the Parameters of the Classical Model of a Continuous Stirred Tank Reactor
Authors:
Anton Pyrkin,
Alexey Bobtsov,
Romeo Ortega,
Jose Guadalupe Romero,
Denis Dochain
Abstract:
In this paper we provide the first solution to the challenging problem of designing a globally exponentially convergent estimator for the parameters of the standard model of a continuous stirred tank reactor. Because of the presence of non-separable exponential nonlinearities in the system dynamics that appear in Arrhenius law, none of the existing parameter estimators is able to deal with them in…
▽ More
In this paper we provide the first solution to the challenging problem of designing a globally exponentially convergent estimator for the parameters of the standard model of a continuous stirred tank reactor. Because of the presence of non-separable exponential nonlinearities in the system dynamics that appear in Arrhenius law, none of the existing parameter estimators is able to deal with them in an efficient way and, in spite of many attempts, the problem was open for many years. To establish our result we propose a novel procedure to obtain a suitable nonlinearly parameterized regression equation and introduce a radically new estimation algorithm - derived applying the Immersion and Invariance methodology - that is applicable to these regression equations. A further contribution of the paper is that parameter convergence is guaranteed with weak excitation requirements.
△ Less
Submitted 11 February, 2023;
originally announced February 2023.
-
Accurate control to run and stop chemical reactions via relaxation oscillators
Authors:
Xiaopeng Shi,
Chuanhou Gao,
Denis Dochain
Abstract:
Regulation of multiple reaction modules is quite common in molecular computation and deep learning networks construction through chemical reactions, as is always a headache for that sequential execution of modules goes against the intrinsically parallel nature of chemical reactions. Precisely switching multiple reaction modules both on and off acts as the core role in programming chemical reaction…
▽ More
Regulation of multiple reaction modules is quite common in molecular computation and deep learning networks construction through chemical reactions, as is always a headache for that sequential execution of modules goes against the intrinsically parallel nature of chemical reactions. Precisely switching multiple reaction modules both on and off acts as the core role in programming chemical reaction systems. Unlike setting up physical compartments or adding human intervention signals, we adopt the idea of chemical oscillators based on relaxation oscillation, and assign corresponding clock signal components into the modules that need to be regulated. This paper mainly demonstrates the design process of oscillators under the regulation task of three modules, and provides a suitable approach for automatic termination of the modules cycle. We provide the simulation results at the level of ordinary differential equation and ensure that equations can be translated into corresponding chemical reaction networks.
△ Less
Submitted 5 November, 2022;
originally announced November 2022.
-
On Stability of Two Kinds of Delayed Chemical Reaction Networks
Authors:
Xiaoyu Zhang,
Chuanhou Gao,
Denis Dochain
Abstract:
For the networks that are linear conjugate to complex balanced systems, the delayed version may include two classes of networks: one class is still linear conjugate to the delayed complex balanced network, the other is not. In this paper, we prove the existence of the first class of networks, and emphasize the local asymptotic stability relative to a certain defined invariant set. For the second c…
▽ More
For the networks that are linear conjugate to complex balanced systems, the delayed version may include two classes of networks: one class is still linear conjugate to the delayed complex balanced network, the other is not. In this paper, we prove the existence of the first class of networks, and emphasize the local asymptotic stability relative to a certain defined invariant set. For the second class of systems, we define a special subclass and derive the local asymptotic stability for the subclass. Two examples are provided to illustrate our results.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
Adaptive output error feedback for a class of nonlinear infinite-dimensional systems
Authors:
Anthony Hastir,
Joseph J. Winkin,
Denis Dochain
Abstract:
An adaptive funnel control method is considered for the regulation of the output for a class of nonlinear infinite-dimensional systems on real Hilbert spaces. After a decomposition of the state space and some change of variables related to the Byrnes-Isidori form, it is shown that the funnel controller presented in (Berger et al., 2020) achieves the control objective under some assumptions on the…
▽ More
An adaptive funnel control method is considered for the regulation of the output for a class of nonlinear infinite-dimensional systems on real Hilbert spaces. After a decomposition of the state space and some change of variables related to the Byrnes-Isidori form, it is shown that the funnel controller presented in (Berger et al., 2020) achieves the control objective under some assumptions on the nonlinear system dynamics, like well-posedness and Bounded-Input-State Bounded-Output (BISBO) stability. The theory is applied to the regulation of the temperature in a chemical plug-flow tubular reactor whose reaction kinetics are modeled by the Arrhenius nonlinearity. Furthermore a damped sine-Gordon model is shown to fit the required assumptions as well. The theoretical results are illustrated by means of numerical simulations.
△ Less
Submitted 5 April, 2022; v1 submitted 12 November, 2021;
originally announced November 2021.
-
Convex optimization of bioprocesses
Authors:
Josh Taylor,
Alain Rapaport,
Denis Dochain
Abstract:
We optimize a general model of bioprocesses, which is nonconvex due to the microbial growth in the biochemical reactors. We formulate a convex relaxation and give conditions guaranteeing its exactness in both the transient and steady state cases. When the growth kinetics are modeled by the Monod function under constant biomass or the Contois function, the relaxation is a second-order cone program,…
▽ More
We optimize a general model of bioprocesses, which is nonconvex due to the microbial growth in the biochemical reactors. We formulate a convex relaxation and give conditions guaranteeing its exactness in both the transient and steady state cases. When the growth kinetics are modeled by the Monod function under constant biomass or the Contois function, the relaxation is a second-order cone program, which can be solved efficiently at large scales. We implement the model on a numerical example based on a wastewater treatment system.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
Chemical Reaction Network Decomposition Technique for Stability Analysis
Authors:
Yafei Lu,
Chuanhou Gao,
Denis Dochain
Abstract:
This paper develops the concept of decomposition for chemical reaction networks, based on which a network decomposition technique is proposed to capture the stability of large-scale networks characterized by a high number of species, high dimension, high deficiency, and/or non-weakly reversible structure. We present some sufficient conditions to capture the stability of a network (may possess any…
▽ More
This paper develops the concept of decomposition for chemical reaction networks, based on which a network decomposition technique is proposed to capture the stability of large-scale networks characterized by a high number of species, high dimension, high deficiency, and/or non-weakly reversible structure. We present some sufficient conditions to capture the stability of a network (may possess any dimension, any deficiency, and/or any topological structure) when it can be decomposed into a complex balanced subnetwork and a few 1-dimensional subnetworks (and/or a few two-species subnetworks), especially in the case when there are shared species in different subnetworks. The results cover encouraging applications on autocatalytic networks with some frequently-encountered biochemical reactions examples of interest, such as the autophosphorylation of PAK1 and Aurora B kinase, autocatalytic cycles originating from metabolism, etc.
△ Less
Submitted 21 February, 2021;
originally announced February 2021.
-
Generalized Parameter Estimation-based Observers: Application to Power Systems and Chemical-Biological Reactors
Authors:
Romeo Ortega,
Alexey Bobtsov,
Nikolay Nikolaev,
Johannes Schiffer,
Denis Dochain
Abstract:
In this paper we propose a new state observer design technique for nonlinear systems. It consists of an extension of the recently introduced parameter estimation-based observer, which is applicable for systems verifying a particular algebraic constraint. In contrast to the previous observer, the new one avoids the need of implementing an open loop integration that may stymie its practical applicat…
▽ More
In this paper we propose a new state observer design technique for nonlinear systems. It consists of an extension of the recently introduced parameter estimation-based observer, which is applicable for systems verifying a particular algebraic constraint. In contrast to the previous observer, the new one avoids the need of implementing an open loop integration that may stymie its practical application. We give two versions of this observer, one that ensures asymptotic convergence and the second one that achieves convergence in finite time. In both cases, the required excitation conditions are strictly weaker than the classical persistent of excitation assumption. It is shown that the proposed technique is applicable to the practically important examples of multimachine power systems and chemical-biological reactors.
△ Less
Submitted 13 November, 2020; v1 submitted 24 March, 2020;
originally announced March 2020.
-
A Non-equilibrium Approach to Model Flash Dynamics with Interface Transport
Authors:
Aaron Romo-Hernandez,
Nicolas Hudon,
B. Erik Ydstie,
Denis Dochain
Abstract:
This article presents a modeling framework for a class of multiphase chemical systems based on non-equilibrium thermodynamics. Compartmental modeling is used to establish the dynamic properties of liquid-vapor systems operating far from thermodynamic equilibrium. In addition to the bulk-phase molar/energetic dynamics, interface transport processes yield to algebraic constraints in the model descri…
▽ More
This article presents a modeling framework for a class of multiphase chemical systems based on non-equilibrium thermodynamics. Compartmental modeling is used to establish the dynamic properties of liquid-vapor systems operating far from thermodynamic equilibrium. In addition to the bulk-phase molar/energetic dynamics, interface transport processes yield to algebraic constraints in the model description. The irreversible system is thus written as a system of Differential-Algebraic Equations (DAEs). The non-equilibrium liquid-vapor DAE system is proven to be of index one. A local stability analysis for the model shows that the equilibrium state is unstable for non-isobaric operation regimes, whereas numerical evidence shows that isobaric operation regimes are stable. To extend the stability analysis, internal entropy production for the irreversible flash-drum is presented as a Lyapunov function candidate.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
About Transgressive Over-Yielding in the Chemostat
Authors:
Denis Dochain,
Patrick De Leenheer,
Alain Rapaport
Abstract:
We show that for certain configurations of two chemostats fed in parallel, the presence of two different species in each tank can improve the yield of the whole process, compared to the same configuration having the same species in each volume. This leads to a (so-called) "transgressive over-yielding" due to spatialization.
We show that for certain configurations of two chemostats fed in parallel, the presence of two different species in each tank can improve the yield of the whole process, compared to the same configuration having the same species in each volume. This leads to a (so-called) "transgressive over-yielding" due to spatialization.
△ Less
Submitted 31 August, 2012;
originally announced August 2012.
-
Minimal time control of fed-batch processes with growth functions having several maxima
Authors:
Alain Rapaport,
Denis Dochain
Abstract:
We address the issue of minimal time optimal control of fedbatch reactor in presence of complex non monotonic kinetics, that can be typically characterized by the combination of two Haldane models. The optimal synthesis may present several singular arcs. Global optimal trajectory results are provided on the basis of a numerical approach that considers an approximation method with smooth control in…
▽ More
We address the issue of minimal time optimal control of fedbatch reactor in presence of complex non monotonic kinetics, that can be typically characterized by the combination of two Haldane models. The optimal synthesis may present several singular arcs. Global optimal trajectory results are provided on the basis of a numerical approach that considers an approximation method with smooth control inputs.
△ Less
Submitted 24 October, 2010;
originally announced October 2010.