Please use this identifier to cite or link to this item
|title: ||Applying differential dynamic logic to reconﬁgurable biological networks|
|authors: ||Figueiredo, Daniel|
Martins, Manuel A.
|keywords: ||Differential dynamic logic|
Biological regulatory networks
|issue date: ||Sep-2017|
|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 reconﬁgurability 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.|
|publisher version/DOI: ||http://dx.doi.org/10.1016/j.mbs.2017.05.012|
|source: ||Mathematical Biosciences|
|appears in collections||CIDMA - Artigos|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.