On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control - Inria - Institut national de recherche en sciences et technologies du numérique
Preprints, Working Papers, ... Year : 2023

On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control

Abstract

The Turing completeness of continuous Chemical Reaction Networks (CRNs) states that any computable real function can be computed by a continuous CRN on a finite set of molecular species, possibly restricted to elementary reactions, i.e. with at most two reactants and mass action law kinetics. In this paper, we introduce a more stringent notion of robust online analog computation, and Absolute Functional Robustness (AFR), for the CRNs that stabilize the concentration values of some output species to the result of one function of the input species concentrations, in a perfectly robust manner with respect to perturbations of both intermediate and output species. We prove that the set of real functions stabilized by a CRN with mass action law kinetics is precisely the set of real algebraic functions. Based on this result, we present a compiler which takes as input any algebraic function (defined by one polynomial and one point for selecting one branch of the algebraic curve defined by the polynomial) and generates an abstract CRN to stabilize it. Furthermore, we provide error bounds to estimate and control the error of an unperturbed system, under the assumption that the environment inputs are driven by k-Lipschitz functions.
Fichier principal
Vignette du fichier
HF23tcs.pdf (716.04 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04252933 , version 1 (21-10-2023)
hal-04252933 , version 2 (26-01-2024)

Licence

Identifiers

Cite

Mathieu Hemery, François Fages. On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control. 2023. ⟨hal-04252933v1⟩
121 View
45 Download

Altmetric

Share

More