Researcher profile

Corentin Briat

Corentin Briat contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
4topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2020arXiv

Ergodicity analysis and antithetic integral control of a class of stochastic reaction networks with delays

Delays are an important phenomenon arising in a wide variety of real world systems. They occur in biological models because of diffusion effects or as simplifying modeling elements. We propose here to consider delayed stochastic reaction networks. The difficulty here lies in the fact that the state-space of a delayed reaction network is infinite-dimensional, which makes their analysis more involved. We demonstrate here that a particular class of stochastic time-varying delays, namely those that follow a phase-type distribution, can be exactly implemented in terms of a chemical reaction network. Hence, any delay-free network can be augmented to incorporate those delays through the addition of delay-species and delay-reactions. Hence, for this class of stochastic delays, which can be used to approximate any delay distribution arbitrarily accurately, the state-space remains finite-dimensional and, therefore, standard tools developed for standard reaction network still apply. In particular, we demonstrate that for unimolecular mass-action reaction networks that the delayed stochastic reaction network is ergodic if and only if the non-delayed network is ergodic as well. Bimolecular reactions are more difficult to consider but an analogous result is also obtained. These results tell us that delays that are phase-type distributed, regardless of their distribution, are not harmful to the ergodicity property of reaction networks. We also prove that the presence of those delays adds convolution terms in the moment equation but does not change the value of the stationary means compared to the delay-free case. Finally, the control of a certain class of delayed stochastic reaction network using a delayed antithetic integral controller is considered. It is proven that this controller achieves its goal provided that the delay-free network satisfy the conditions of ergodicity and output-controllability.

preprint2020arXiv

Ergodicity, Output-Controllability, and Antithetic Integral Control of Uncertain Stochastic Reaction Networks

The ergodicity and the output-controllability of stochastic reaction networks have been shown to be essential properties to fulfill to enable their control using, for instance, antithetic integral control. We propose here to extend those properties to the case of uncertain networks. To this aim, the notions of interval, robust, sign, and structural ergodicity/output-controllability are introduced. The obtained results lie in the same spirit as those obtained in [Briat, Gupta & Khammash, Cell Systems, 2016] where those properties are characterized in terms of control theoretic concepts, linear algebraic conditions, linear programs, and graph-theoretic/algebraic conditions. An important conclusion is that all those properties can be characterized by linear programs. Two examples are given for illustration.

preprint2020arXiv

Hybrid $L_\infty\times\ell_\infty$-Performance Analysis and Control of Linear Time-Varying Impulsive and Switched Positive Systems

Recent works have shown that the $L_1$ and $L_\infty$-gains are natural performance criteria for linear positive systems as they can be characterized using linear programs. Those performance measures have also been extended to linear positive impulsive and switched systems through the concept of hybrid $L_1\times\ell_1$-gain. For LTI positive systems, the $L_\infty$-gain is known to coincide with the $L_1$-gain of the transposed system and, as a consequence, one can use linear copositive Lyapunov functions for characterizing the $L_\infty$-gain of LTI positive systems. Unfortunately, this does not hold in the time-varying setting and one cannot characterize the hybrid $L_\infty\times\ell_\infty$-gain of a linear positive impulsive system in terms of the hybrid $L_1\times\ell_1$-gain of the transposed system. An alternative approach based on the use of linear copositive max-separable Lyapunov functions is proposed. We first prove very general necessary and sufficient conditions characterizing the exponential stability and the $L_\infty\times\ell_\infty$- and $L_1\times\ell_1$-gains using linear max-separable copositive and linear sum-separable copositive Lyapunov functions. Results characterizing the stability and the hybrid $L_\infty\times\ell_\infty$-gain of linear positive impulsive systems under arbitrary, constant, minimum, and range dwell-time constraints are then derived from the previously obtained general results. These conditions are then exploited to yield constructive convex stabilization conditions via state-feedback. By reformulating linear positive switched systems as impulsive systems with multiple jump maps, stability and stabilization conditions are also obtained for linear positive switched systems. It is notably proven that the obtained conditions generalize existing ones of the literature.

preprint2020arXiv

In-Silico Proportional-Integral Moment Control of Stochastic Gene Expression

The problem of controlling the mean and the variance of a species of interest in a simple gene expression is addressed. It is shown that the protein mean level can be globally and robustly tracked to any desired value using a simple PI controller that satisfies certain sufficient conditions. Controlling both the mean and variance however requires an additional control input, e.g. the mRNA degradation rate, and local robust tracking of mean and variance is proved to be achievable using multivariable PI control, provided that the reference point satisfies necessary conditions imposed by the system. Even more importantly, it is shown that there exist PI controllers that locally, robustly and simultaneously stabilize all the equilibrium points inside the admissible region. The results are then extended to the mean control of a gene expression with protein dimerization. It is shown that the moment closure problem can be circumvented without invoking any moment closure technique. Local stabilization and convergence of the average dimer population to any desired reference value is ensured using a pure integral control law. Explicit bounds on the controller gain are provided and shown to be valid for any reference value. As a byproduct, an explicit upper-bound of the variance of the monomer species, acting on the system as unknown input due to the moment openness, is obtained. The results are illustrated by simulation.