arXiv subjects

Denis Dochain

Publications and source records attributed to Denis Dochain.

At least 19 recordsLinked to original sources

arXiv2026

Input-to-state stability of chemical reaction networks with application to molecular computation

Input-to-state stability (ISS) provides a useful tool for analyzing the robustness of time-varying chemical reaction networks (CRNs). This paper investigates the ISS property for CRNs in two cases: one is for weakly reversible CRNs with nonzero deficiency and multiple linkage classes, which is beyond the limit of existing results requesting a weakly reversible CRN to be zero-deficiency and single-linkage-class; the other is for non-weakly reversible CRNs by leveraging the notion of linear conjugacy. These results, on the one hand enrich the studies of the ISS property of broader classes of CRNs, on the other hand serve for designing CRN-based molecular computing systems. The latter application suggests the ISS theory can justify the parallel mechanism of biomolecular computations. We use some CRNs of practical relevance to demonstrate our results, including the p53 signaling and dimerization network, the p21-activated kinase 1 network, etc.

math.DS↗

arXiv2025

Structure-conditioned input-to-state stability for layer-by-layer molecular computations in parallel chemical reaction networks

Molecular computation in chemical reaction networks (CRNs) now constitutes a foundational framework for designing programmable biological systems. However, prevailing design methodologies primarily treat parallelism of chemical reactions as a liability, consequently motivating researchers to redirect research focus toward leveraging parallelism to implement layer-by-layer computations of composite functions in coupled mass-action systems (MASs). MASs exhibiting this property are termed composable. Present composability verification for MASs mainly depends on input-to-state stability (ISS) conditions, with structural characteristics of networks remaining underexplored. This paper investigates the structural conditions under which two MASs are composable. By leveraging ISS-Lyapunov functions, we identify a class of CRN architectures, whose reduced systems have zero deficiency, that guarantee composability with other networks. We also extend our conclusions to encompass some CRN architectures possessing nonzero deficiency. Some examples are presented to demonstrate the validity of our theoretical results. Finally, we employ our methods to devise an algorithm for constructing MASs capable of executing specified molecular computations.

q-bio.MN↗

arXiv2025

Structure and input-to-state stability for composable computations in chemical reaction networks

In the field of molecular computation based on chemical reaction networks (CRNs), leveraging parallelism to enable coupled mass-action systems (MASs) to retain predefined computational functionality has been a research focus. MASs exhibiting this property are termed composable. This paper investigates the structural conditions under which two MASs are composable. By leveraging input-to-state stability (ISS) property, we identify a specific class of CRN architectures that guarantee composability with other networks. A concrete example demonstrates the validity of this conclusion and illustrates the application of composability in computing composite functions.

math.DS↗

arXiv2025

Input-to-state stability-based chemical reaction networks composition for molecular computations

Molecular computation based on chemical reaction networks (CRNs) has emerged as a promising paradigm for designing programmable biochemical systems. However, the implementation of complex computations still requires excessively large and intricate network structures, largely due to the limited understanding of composability, that is, how multiple subsystems can be coupled while preserving computational functionality. Existing composability frameworks primarily focus on rate-independent CRNs, whose computational capabilities are severely restricted. This article aims to establish a systematic framework for composable CRNs governed by mass-action kinetics, a common type of rate-dependent CRNs. Drawing upon the concepts of composable rate-independent CRNs, we introduce the notions of mass-action chemical reaction computers (msCRCs), dynamic computation and dynamic composability to establish a rigorous mathematical framework for composing two or more msCRCs to achieve layer-by-layer computation of composite functions. Further, we derive several sufficient conditions based on the notions of input-to-state stability (ISS) to characterize msCRCs that can be composed to implement desired molecular computations, thereby providing theoretical support for this framework. Some examples are presented to illustrate the efficiency of our method. Finally, comparative results demonstrate that the proposed method exhibits notable advantages in both computational ability and accuracy over the state-of-the-art methods.

q-bio.MN↗

arXiv2024

Stability Analysis of Biochemical Reaction Networks Linearly Conjugated to complex balanced Systems with Time Delays Added

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.

math.DS↗

arXiv2024

Prescribed Time Dual-Mode Extremum Seeking Control

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.

math.OC↗

arXiv2024

Automatic Implementation of Neural Networks through Reaction Networks--Part II: Error Analysis

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.

math.DS↗

arXiv2024

Controlling the occurrence sequence of reaction modules through biochemical relaxation oscillators

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.

q-bio.MN↗

arXiv2023

Automatic Implementation of Neural Networks through Reaction Networks -- Part I: Circuit Design and Convergence Analysis

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.

math.DS↗

arXiv2023

Network Combination to Persistence of High-dimensional Delayed Complex Balanced Mass-action Systems

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.

math.DS↗

arXiv2023

Extremum Seeking Nonlinear Regulator with Concurrent Uncertainties in Exosystems and Control Directions

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.

math.OC↗

arXiv2023

Capturing persistence of delayed complex balanced chemical reaction systems via decomposition of semilocking sets

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 $\omega$-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.

math.DS↗

arXiv2023

Chemical relaxation oscillator designed to control molecular computation

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.

math.DS↗

arXiv2023

A Globally Convergent Estimator of the Parameters of the Classical Model of a Continuous Stirred Tank Reactor

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.

eess.SY↗

arXiv2022

Accurate control to run and stop chemical reactions via relaxation oscillators

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.

math.DS↗

arXiv2022

On Stability of Two Kinds of Delayed Chemical Reaction Networks

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.

math.DS↗

arXiv2021

Adaptive output error feedback for a class of nonlinear infinite-dimensional systems

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.

math.OC↗

arXiv2021

Convex optimization of bioprocesses

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.

math.OC↗