Applying differential dynamic logic to reconfigurable biological networks

Daniel Figueiredo 1 Manuel Martins 1 Madalena Chaves 2, 3
2 BIOCORE - Biological control of artificial ecosystems
LOV - Laboratoire d'océanographie de Villefranche, CRISAM - Inria Sophia Antipolis - Méditerranée , INRA - Institut National de la Recherche Agronomique
Abstract : Qualitative and quantitative modeling frameworks are widely used for analysis of biological regulatory networks, the former giving a preliminary overview of the system's global dynamics and the latter providing more detailed solutions. Another approach is to model biological regulatory networks as hybrid systems, i.e., systems which can display both continuous and discrete dynamic behaviors. Actually, the development of synthetic biology has shown that this is a suitable way to think about biological systems, which can often be constructed as networks with discrete controllers, and present hybrid behaviors. In this paper we discuss this approach as a special case of the reconfigurability paradigm, well studied in Computer Science (CS). In CS there are well developed computational tools to reason about hybrid systems. We argue that it is worth applying such tools in a biological context. One interesting tool is Differential Dynamic Logic (dL), which has recently been developed by Platzer and applied to many case-studies. In this paper we discuss some simple examples of biological regulatory networks to illustrate how dL can be used as an alternative, or also as a complement to methods already used.
Type de document :
Article dans une revue
Mathematical Biosciences, Elsevier, 2017, 291, pp.10 - 20. 〈10.1016/j.mbs.2017.05.012〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger
Contributeur : Jean-Luc Gouzé <>
Soumis le : mardi 25 juillet 2017 - 14:38:03
Dernière modification le : mardi 29 mai 2018 - 12:50:54


Fichiers produits par l'(les) auteur(s)




Daniel Figueiredo, Manuel Martins, Madalena Chaves. Applying differential dynamic logic to reconfigurable biological networks. Mathematical Biosciences, Elsevier, 2017, 291, pp.10 - 20. 〈10.1016/j.mbs.2017.05.012〉. 〈hal-01568597〉



Consultations de la notice


Téléchargements de fichiers