Controlling stochastic reactions networks is a challenging problem with important implications in various fields such as systems and synthetic biology. Various regulation motifs have been discovered or posited over the recent years, a very recent one being the so-called Antithetic Integral Control (AIC) motif [Briat, Gupta & Khammash, Cell Systems, 2016]. Several appealing properties for the AIC motif have been demonstrated for classes of reaction networks that satisfy certain irreducibility, ergodicity and output controllability conditions. Here we address the problem of verifying these conditions for large sets of reaction networks with time-invariant topologies, either from a robust or a structural viewpoint, using three different approaches. The first one adopts a robust viewpoint and relies on the notion of interval matrices. The second one adopts a structural viewpoint and is based on sign properties of matrices. The last one is a direct approach where the parameter dependence is exactly taken into account and can be used to obtain both robust and structural conditions. The obtained results lie in the same spirit as those obtained in [Briat, Gupta & Khammash, Cell Systems, 2016] where properties of reaction networks are independently characterized in terms of control theoretic concepts, linear programs, and graph-theoretic/algebraic conditions. Alternatively, those conditions can be cast as convex optimization problems that can be checked efficiently using modern optimization methods. Several examples are given for illustration.
Ergodicity, Output-Controllability, and Antithetic Integral Control of Uncertain Stochastic Reaction Networks
