BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Corentin Briat

Corentin Briat appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OCSystems and Controlmath.DSmath.CAMolecular Networkseess.SYmath.PRNetworking and Internet ArchitectureQuantitative Methods

Catalog footprint

What is connected

25works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

25 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Antithetic Integral Feedback ensures robust perfect adaptation in noisy biomolecular networks

Homeostasis is a running theme in biology. Often achieved through feedback regulation strategies, homeostasis allows living cells to control their internal environment as a means for surviving changing and unfavourable environments. While many endogenous homeostatic motifs have been studied in living cells, some other motifs may remain under-explored or even undiscovered. At the same time, known regulatory motifs have been mostly analyzed at the deterministic level, and the effect of noise on their regulatory function has received low attention. Here we lay the foundation for a regulation theory at the molecular level that explicitly takes into account the noisy nature of biochemical reactions and provides novel tools for the analysis and design of robust homeostatic circuits. Using these ideas, we propose a new regulation motif, which we refer to as {\em antithetic integral feedback, and demonstrate its effectiveness as a strategy for generically regulating a wide class of reaction networks. By combining tools from probability and control theory, we show that the proposed motif preserves the stability of the overall network, steers the population of any regulated species to a desired set point, and achieves robust perfect adaptation -- all with low prior knowledge of reaction rates. Moreover, our proposed regulatory motif can be implemented using a very small number of molecules and hence has a negligible metabolic load. Strikingly, the regulatory motif exploits stochastic noise, leading to enhanced regulation in scenarios where noise-free implementations result in dysregulation. Finally, we discuss the possible manifestation of the proposed antithetic integral feedback motif in endogenous biological circuits and its realization in synthetic circuits.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Dwell-time stability and stabilization conditions for linear positive impulsive and switched systems

Several results regarding the stability and the stabilization of linear impulsive positive systems under arbitrary, constant, minimum, maximum and range dwell-time are obtained. The proposed stability conditions characterize the pointwise decrease of a linear copositive Lyapunov function and are formulated in terms of finite-dimensional or semi-infinite linear programs. To be applicable to uncertain systems and to control design, a lifting approach introducing a clock-variable is then considered in order to make the conditions affine in the matrices of the system. The resulting stability and stabilization conditions are stated as infinite-dimensional linear programs for which three asymptotically exact computational methods are proposed and compared with each other on numerical examples. Similar results are then obtained for linear positive switched systems by exploiting the possibility of reformulating a switched system as an impulsive system. Some existing stability conditions are retrieved and extended to stabilization using the proposed lifting approach. Several examples are finally given for illustration.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Interval peak-to-peak observers for continuous- and discrete-time systems with persistent inputs and delays

While the design of optimal peak-to-peak controllers/observers for linear systems is known to be a difficult problem, this problem becomes interestingly much easier in the context of interval observers because of the positive nature of the error dynamics. Indeed, by exploiting several recent results on positive systems, we propose a novel and non-conservative approach formulated in terms of tractable finite-dimensional linear programs for designing a class of interval observers achieving minimum peak-to-peak gain. The optimal observer is notably shown to be uniform over the set of all possible mappings between observation errors and their weighted versions, which parallels a recent result on the stabilization of linear positive systems. Results pertaining on the interval observation of time-delay and discrete-time systems are then obtained as a direct application of the proposed method, emphasizing then its versatility. Several examples on the interval observation of linear and nonlinear systems are finally given for illustration.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Sign properties of Metzler matrices with applications

Several results about sign properties of Metzler matrices are obtained. It is first established that checking the sign-stability of a Metzler sign-matrix can be either characterized in terms of the Hurwitz stability of the unit sign-matrix in the corresponding qualitative class, or in terms the negativity of the diagonal elements of the Metzler sign-matrix and the acyclicity of the associated directed graph. Similar results are obtained for the case of Metzler block-matrices and Metzler mixed-matrices, the latter being a class of Metzler matrices containing both sign- and real-type entries. The problem of assessing the sign-stability of the convex hull of a finite and summable family of Metzler matrices is also solved, and a necessary and sufficient condition for the existence of common Lyapunov functions for all the matrices in the convex hull is obtained. The concept of sign-stability is then generalized to the concept of Ker$_+(B)$-sign-stability, a problem that arises in the analysis of certain jump Markov processes. A sufficient condition for the Ker$_+(B)$-sign-stability of Metzler sign-matrices is obtained and formulated using inverses of sign-matrices and the concept of $L^+$-matrices. Several applications of the results are discussed in the last section.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Stability analysis and stabilization of stochastic linear impulsive, switched and sampled-data systems under dwell-time constraints

Impulsive systems are a very flexible class of systems that can be used to represent switched and sampled-data systems. We propose to extend here the previously obtained results on deterministic impulsive systems to the stochastic setting. The concepts of mean-square stability and dwell-times are utilized in order to formulate relevant stability conditions for such systems. These conditions are formulated as convex clock-dependent linear matrix inequality conditions that are applicable to robust analysis and control design, and are verifiable using discretization or sum of squares techniques. Stability conditions under various dwell-time conditions are obtained and non-conservatively turned into state-feedback stabilization conditions. The results are finally applied to the analysis and control of stochastic sampled-data systems. Several comparative examples demonstrate the accuracy and the tractability of the approach.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the necessity of looped-functionals arising in the analysis of pseudo-periodic, sampled-data and hybrid systems

Looped-functionals have been shown to be relevant for the analysis of a wide variety of systems. However, the conditions obtained in previous works on the analysis of sampled-data, impulsive and switched systems have only been shown to be sufficient for the characterization of their associated discrete-time stability conditions. We prove here that these conditions are also \necessary. This result is derived for a wider class of linear systems, referred to as impulsive pseudo-periodic systems, that encompass periodic, impulsive, sampled-data and switched systems as special cases.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Positive Systems Analysis Via Integral Linear Constraints

Closed-loop positivity of feedback interconnections of positive monotone nonlinear systems is investigated. It is shown that an instantaneous gain condition on the open-loop systems which implies feedback well-posedness also guarantees feedback positivity. Furthermore, the notion of integral linear constraints (ILC) is utilised as a tool to characterise uncertainty in positive feedback systems. Robustness analysis of positive linear time-varying and nonlinear feedback systems is studied using ILC, paralleling the well-known results based on integral quadratic constraints.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A scalable computational framework for establishing long-term behavior of stochastic reaction networks

Reaction networks are systems in which the populations of a finite number of species evolve through predefined interactions. Such networks are found as modeling tools in many biological disciplines such as biochemistry, ecology, epidemiology, immunology, systems biology and synthetic biology. It is now well-established that, for small population sizes, stochastic models for biochemical reaction networks are necessary to capture randomness in the interactions. The tools for analyzing such models, however, still lag far behind their deterministic counterparts. In this paper, we bridge this gap by developing a constructive framework for examining the long-term behavior and stability properties of the reaction dynamics in a stochastic setting. In particular, we address the problems of determining ergodicity of the reaction dynamics, which is analogous to having a globally attracting fixed point for deterministic dynamics. We also examine when the statistical moments of the underlying process remain bounded with time and when they converge to their steady state values. The framework we develop relies on a blend of ideas from probability theory, linear algebra and optimization theory. We demonstrate that the stability properties of a wide class of biological networks can be assessed from our sufficient theoretical conditions that can be recast as efficient and scalable linear programs, well-known for their tractability. It is notably shown that the computational complexity is often linear in the number of species. We illustrate the validity, the efficiency and the wide applicability of our results on several reaction networks arising in biochemistry, systems biology, epidemiology and ecology. The biological implications of the results as well as an example of a non-ergodic biological network are also discussed.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints

Stability analysis and control of linear impulsive systems is addressed in a hybrid framework, through the use of continuous-time time-varying discontinuous Lyapunov functions. Necessary and sufficient conditions for stability of impulsive systems with periodic impulses are first provided in order to set up the main ideas. Extensions to stability of aperiodic systems under minimum, maximum and ranged dwell-times are then derived. By exploiting further the particular structure of the stability conditions, the results are non-conservatively extended to quadratic stability analysis of linear uncertain impulsive systems. These stability criteria are, in turn, losslessly extended to stabilization using a particular, yet broad enough, class of state-feedback controllers, providing then a convex solution to the open problem of robust dwell-time stabilization of impulsive systems using hybrid stability criteria. Relying finally on the representability of sampled-data systems as impulsive systems, the problems of robust stability analysis and robust stabilization of periodic and aperiodic uncertain sampled-data systems are straightforwardly solved using the same ideas. Several examples are discussed in order to show the effectiveness and reduced complexity of the proposed approach.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Convex lifted conditions for robust stability analysis and stabilization of linear discrete-time switched systems

Stability analysis of discrete-time switched systems under minimum dwell-time is studied using a new type of LMI conditions. These conditions are convex in the matrices of the system and shown to be equivalent to the nonconvex conditions proposed by Geromel and Colaneri. The convexification of the conditions is performed by a lifting process which introduces a moderate number of additional decision variables. The convexity of the conditions can be exploited to extend the results to uncertain systems, control design and $\ell_2$-gain computation without introducing additional conservatism. Several examples are presented to show the effectiveness of the approach.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Deterministic and Stochastic Approaches to Supervisory Control Design for Networked Systems with Time-Varying Communication Delays

This paper proposes a supervisory control structure for networked systems with time-varying delays. The control structure, in which a supervisor triggers the most appropriate controller from a multi-controller unit, aims at improving the closed-loop performance relative to what can be obtained using a single robust controller. Our analysis considers average dwell-time switching and is based on a novel multiple Lyapunov-Krasovskii functional. We develop stability conditions that can be verified by semi-definite programming, and show that the associated state feedback synthesis problem also can be solved using convex optimization tools. Extensions of the analysis and synthesis procedures to the case when the evolution of the delay mode is described by a Markov chain are also developed. Simulations on small and large-scale networked control systems are used to illustrate the effectiveness of our approach.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Integral population control of a quadratic dimerization process

Moment control of a simple quadratic reaction network describing a dimerization process is addressed. 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 obtained results are illustrated by an example relying on the simulation of a cell population using stochastic simulation algorithms.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A conservation-law-based modular fluid-flow model for network congestion modeling

A modular fluid-flow model for network congestion analysis and control is proposed. The model is derived from an information conservation law stating that the information is either in transit, lost or received. Mathematical models of network elements such as queues, users, and transmission channels, and network description variables, including sending/acknowledgement rates and delays, are inferred from this law and obtained by applying this principle locally. The modularity of the devised model makes it sufficiently generic to describe any network topology, and appealing for building simulators. Previous models in the literature are often not capable of capturing the transient behavior of the network precisely, making the resulting analysis inaccurate in practice. Those models can be recovered from exact reduction or approximation of this new model. An important aspect of this particular modeling approach is the introduction of new tight building blocks that implement mechanisms ignored by the existing ones, notably at the queue and user levels. Comparisons with packet-level simulations corroborate the proposed model.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A looped-functional approach for robust stability analysis of linear impulsive systems

A new functional-based approach is developed for the stability analysis of linear impulsive systems. The new method, which introduces looped-functionals, considers non-monotonic Lyapunov functions and leads to LMIs conditions devoid of exponential terms. This allows one to easily formulate dwell-times results, for both certain and uncertain systems. It is also shown that this approach may be applied to a wider class of impulsive systems than existing methods. Some examples, notably on sampled-data systems, illustrate the efficiency of the approach.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Affine characterizations of minimum and mode-dependent dwell-times for uncertain linear switched systems

An alternative approach for minimum and mode-dependent dwell-time characterization for switched systems is derived. The proposed technique is related to Lyapunov looped-functionals, a new type of functionals leading to stability conditions affine in the system matrices, unlike standard results for minimum dwell-time. These conditions are expressed as infinite-dimensional LMIs which can be solved using recent polynomial optimization techniques such as sum-of-squares. The specific structure of the conditions is finally utilized in order to derive dwell-time stability results for uncertain switched systems. Several examples illustrate the efficiency of the approach.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Computer control of gene expression: Robust setpoint tracking of protein mean and variance using integral feedback

Protein mean and variance levels in a simple stochastic gene expression circuit are controlled using proportional integral feedback. 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 explicit sufficient conditions. Controlling both the mean and variance on the other hand requires the use of an additional control input, chosen here as the mRNA degradation rate. 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. Simulation examples illustrate the results.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Convergence and Equivalence results for the Jensen's inequality - Application to time-delay and sampled-data systems

The Jensen's inequality plays a crucial role in the analysis of time-delay and sampled-data systems. Its conservatism is studied through the use of the Grüss Inequality. It has been reported in the literature that fragmentation (or partitioning) schemes allow to empirically improve the results. We prove here that the Jensen's gap can be made arbitrarily small provided that the order of uniform fragmentation is chosen sufficiently large. Non-uniform fragmentation schemes are also shown to speed up the convergence in certain cases. Finally, a family of bounds is characterized and a comparison with other bounds of the literature is provided. It is shown that the other bounds are equivalent to Jensen's and that they exhibit interesting well-posedness and linearity properties which can be exploited to obtain better numerical results.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Convex dwell-time characterizations for uncertain linear impulsive systems

New sufficient conditions for the characterization of dwell-times for linear impulsive systems are proposed and shown to coincide with continuous decrease conditions of a certain class of looped-functionals, a recently introduced type of functionals suitable for the analysis of hybrid systems. This approach allows to consider Lyapunov functions that evolve non-monotonically along the flow of the system in a new way, broadening then the admissible class of systems which may be analyzed. As a byproduct, the particular structure of the obtained conditions makes the method is easily extendable to uncertain systems by exploiting some convexity properties. Several examples illustrate the approach.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Memory Resilient Gain-scheduled State-Feedback Control of Uncertain LTI/LPV Systems with Time-Varying Delays

The stabilization of uncertain LTI/LPV time delay systems with time varying delays by state-feedback controllers is addressed. At the difference of other works in the literature, the proposed approach allows for the synthesis of resilient controllers with respect to uncertainties on the implemented delay. It is emphasized that such controllers unify memoryless and exact-memory controllers usually considered in the literature. The solutions to the stability and stabilization problems are expressed in terms of LMIs which allow to check the stability of the closed-loop system for a given bound on the knowledge error and even optimize the uncertainty radius under some performance constraints; in this paper, the $\mathcal{H}_\infty$ performance measure is considered. The interest of the approach is finally illustrated through several examples.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Robust stability and stabilization of uncertain linear positive systems via Integral Linear Constraints: L1- and Linfinity-gains characterization

Copositive linear Lyapunov functions are used along with dissipativity theory for stability analysis and control of uncertain linear positive systems. Unlike usual results on linear systems, linear supply-rates are employed here for robustness and performance analysis using L1- and Linfinity-gains. Robust stability analysis is performed using Integral Linear Constraints (ILCs) for which several classes of uncertainties are discussed. The approach is then extended to robust stabilization and performance optimization. The obtained results are expressed in terms of robust linear programming problems that are equivalently turned into finite dimensional ones using Handelman's Theorem. Several examples are provided for illustration.

0 citations0 reviewsNo code linkedOpen access