Repositório Institucional da Universidade de Aveiro > CIDMA - Centro de Investigação e Desenvolvimento em Matemática e Aplicações > CIDMA - Artigos >
 Applying differential dynamic logic to reconfigurable biological networks
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/18081

title: Applying differential dynamic logic to reconfigurable biological networks
authors: Figueiredo, Daniel
Martins, Manuel A.
Chaves, Madalena
keywords: Differential dynamic logic
Biological regulatory networks
Hybrid systems
Discrete controllers
issue date: Sep-2017
publisher: Elsevier
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 pro- viding 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 ( d L ), 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 d L can be used as an alternative, or also as a complement to methods already used.
URI: http://hdl.handle.net/10773/18081
ISSN: 0025-5564
publisher version/DOI: http://dx.doi.org/10.1016/j.mbs.2017.05.012
source: Mathematical Biosciences
appears in collectionsCIDMA - Artigos

files in this item

file description sizeformat
DFMMMC_vf2.pdf765.71 kBAdobe PDFview/open
Restrict Access. You can Request a copy!

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2