Model checking the evolution of gene regulatory networks

Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana

Model checking the evolution of gene regulatory networks

Dateien

Giacobbe_2-egxwg6wqgydt8.pdfGröße: 781.34 KBDownloads: 288

Datum

2017

Autor:innen

Giacobbe, Mirco

Guet, Călin C.

Gupta, Ashutosh

Henzinger, Thomas A.

Paixão, Tiago

Petrov, Tatjana

Open Access-Veröffentlichung

Open Access Hybrid

Sammlungen

Informatik und Informationswissenschaft

Publikationstyp

Zeitschriftenartikel

Publikationsstatus

Published

Erschienen in

Acta Informatica. 2017, 54(8), pp. 765-787. ISSN 0001-5903. eISSN 1432-0525. Available under: doi: 10.1007/s00236-016-0278-x

Zusammenfassung

The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs—an important problem of interest in evolutionary biology—more efficiently than the classical simulation method. We specify the property in linear temporal logic. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights.

Fachgebiet (DDC)

004 Informatik

Schlagwörter

Model Check; Linear Temporal Logic; Satisfiability Modulo Theory; Quantifier Elimination Linear Temporal Logic Formula

Zitieren

ISO 690

GIACOBBE, Mirco, Călin C. GUET, Ashutosh GUPTA, Thomas A. HENZINGER, Tiago PAIXÃO, Tatjana PETROV, 2017. Model checking the evolution of gene regulatory networks. In: Acta Informatica. 2017, 54(8), pp. 765-787. ISSN 0001-5903. eISSN 1432-0525. Available under: doi: 10.1007/s00236-016-0278-x

BibTex

@article{Giacobbe2017-12Model-42117,
  year={2017},
  doi={10.1007/s00236-016-0278-x},
  title={Model checking the evolution of gene regulatory networks},
  number={8},
  volume={54},
  issn={0001-5903},
  journal={Acta Informatica},
  pages={765--787},
  author={Giacobbe, Mirco and Guet, Călin C. and Gupta, Ashutosh and Henzinger, Thomas A. and Paixão, Tiago and Petrov, Tatjana}
}

RDF

<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/42117">
    <dc:contributor>Gupta, Ashutosh</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:language>eng</dc:language>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:contributor>Giacobbe, Mirco</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-04-20T10:47:47Z</dc:date>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/42117/1/Giacobbe_2-egxwg6wqgydt8.pdf"/>
    <dc:creator>Guet, Călin C.</dc:creator>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/42117/1/Giacobbe_2-egxwg6wqgydt8.pdf"/>
    <dc:creator>Paixão, Tiago</dc:creator>
    <dc:contributor>Petrov, Tatjana</dc:contributor>
    <dcterms:abstract xml:lang="eng">The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace this approach by a formal verification-like method that gives higher assurance and scalability. We focus on Wagner’s weighted GRN model with varying weights, which is used in evolutionary biology. In the model, weight parameters represent the gene interaction strength that may change due to genetic mutations. For a property of interest, we synthesise the constraints over the parameter space that represent the set of GRNs satisfying the property. We experimentally show that our parameter synthesis procedure computes the mutational robustness of GRNs—an important problem of interest in evolutionary biology—more efficiently than the classical simulation method. We specify the property in linear temporal logic. We employ symbolic bounded model checking and SMT solving to compute the space of GRNs that satisfy the property, which amounts to synthesizing a set of linear constraints on the weights.</dcterms:abstract>
    <dcterms:issued>2017-12</dcterms:issued>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/42117"/>
    <dc:creator>Giacobbe, Mirco</dc:creator>
    <dc:creator>Petrov, Tatjana</dc:creator>
    <dc:contributor>Paixão, Tiago</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:rights>Attribution 4.0 International</dc:rights>
    <dc:creator>Gupta, Ashutosh</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-04-20T10:47:47Z</dcterms:available>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/>
    <dc:creator>Henzinger, Thomas A.</dc:creator>
    <dc:contributor>Henzinger, Thomas A.</dc:contributor>
    <dcterms:title>Model checking the evolution of gene regulatory networks</dcterms:title>
    <dc:contributor>Guet, Călin C.</dc:contributor>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Ja