Скачать с ютуб Formal characterization and efficient verification of a biological robustness property в хорошем качестве

Formal characterization and efficient verification of a biological robustness property

Robustness is an observed property for which a chemical reaction network (CRN) can maintain its functionalities despite the influence of different perturbations. In general, to verify whether a network is robust, it is necessary to consider all the possible parameter configurations. This is a process that can entail a massive computational effort. In the work of Rizk et al., the authors propose a definition of robustness in linear temporal logic (LTL) through which, on the basis of multiple numerical timed traces obtained from different parameter configurations, they can verify the robustness of a reaction network. In this paper, we focus on a notion of initial concentration robustness ($alpha$-robustness), that is related to the influence of the perturbation of the initial concentrations of a species (i.e., the input) on the steady state of another species (i.e., the output). We characterize such a notion of robustness in the framework proposed by Rizk et al., and we show that, for monotonic reaction networks, this allows us to drastically reduce the number of traces necessary to verify robustness of the CRN. Paolo Milazzo (University of Pisa - Department of Computer Science), Lucia Nasti (Università di Pisa - Dipartimento di Informatica), Roberta Gori (University of Pisa), Paper: https://arxiv.org/abs/2104.13831 Created with Clowdr: https://clowdr.org/