Parameter Synthesis by Parallel Coloured CTL Model Checking View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015-09-02

AUTHORS

Luboš Brim , Milan Češka , Martin Demko , Samuel Pastva , David Šafránek

ABSTRACT

We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL hypotheses. The algorithm colours the state space transitions by different parameterisations and extends CTL model checking to identify the maximal set of parameters that guarantee the satisfaction of the given CTL property. We experimentally confirm good scalability of our approach and demonstrate its applicability in the case study of a genetic switch controlling decisions in the cell cycle. More... »

PAGES

251-263

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_21

DOI

http://dx.doi.org/10.1007/978-3-319-23401-4_21

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1084713708


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "id": "sg:person.0645117057.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u010ce\u0161ka", 
        "givenName": "Milan", 
        "id": "sg:person.016652663056.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Demko", 
        "givenName": "Martin", 
        "id": "sg:person.016566512611.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566512611.71"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Pastva", 
        "givenName": "Samuel", 
        "id": "sg:person.016130263073.10", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1\u00a068a, 602 00, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u0160afr\u00e1nek", 
        "givenName": "David", 
        "id": "sg:person.011410250615.43", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2015-09-02", 
    "datePublishedReg": "2015-09-02", 
    "description": "We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL hypotheses. The algorithm colours the state space transitions by different parameterisations and extends CTL model checking to identify the maximal set of parameters that guarantee the satisfaction of the given CTL property. We experimentally confirm good scalability of our approach and demonstrate its applicability in the case study of a genetic switch controlling decisions in the cell\u00a0cycle.", 
    "editor": [
      {
        "familyName": "Roux", 
        "givenName": "Olivier", 
        "type": "Person"
      }, 
      {
        "familyName": "Bourdon", 
        "givenName": "J\u00e9r\u00e9mie", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-23401-4_21", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-23400-7", 
        "978-3-319-23401-4"
      ], 
      "name": "Computational Methods in Systems Biology", 
      "type": "Book"
    }, 
    "keywords": [
      "distributed-memory parallel algorithm", 
      "CTL model checking", 
      "parallel algorithm", 
      "parameter synthesis", 
      "state space transitions", 
      "good scalability", 
      "model checking", 
      "CTL model", 
      "CTL properties", 
      "algorithm", 
      "maximal set", 
      "scalability", 
      "case study", 
      "checking", 
      "set", 
      "applicability", 
      "decisions", 
      "model", 
      "space transition", 
      "parameterisation", 
      "satisfaction", 
      "switch", 
      "different parameterisations", 
      "parameters", 
      "cycle", 
      "transition", 
      "properties", 
      "approach", 
      "study", 
      "genetic switch", 
      "synthesis", 
      "hypothesis", 
      "cells"
    ], 
    "name": "Parameter Synthesis by Parallel Coloured CTL Model Checking", 
    "pagination": "251-263", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1084713708"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-23401-4_21"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-23401-4_21", 
      "https://app.dimensions.ai/details/publication/pub.1084713708"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:39", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_170.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-23401-4_21"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_21'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_21'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_21'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23401-4_21'


 

This table displays all metadata directly associated to this object as RDF triples.

126 TRIPLES      23 PREDICATES      58 URIs      51 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-23401-4_21 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N4635f43d1a924973ad627be53fee1343
4 schema:datePublished 2015-09-02
5 schema:datePublishedReg 2015-09-02
6 schema:description We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL hypotheses. The algorithm colours the state space transitions by different parameterisations and extends CTL model checking to identify the maximal set of parameters that guarantee the satisfaction of the given CTL property. We experimentally confirm good scalability of our approach and demonstrate its applicability in the case study of a genetic switch controlling decisions in the cell cycle.
7 schema:editor N0361c89cc2714d6ab4af8486eadac58e
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nb8ad407db4f447c387474b0840e77e27
12 schema:keywords CTL model
13 CTL model checking
14 CTL properties
15 algorithm
16 applicability
17 approach
18 case study
19 cells
20 checking
21 cycle
22 decisions
23 different parameterisations
24 distributed-memory parallel algorithm
25 genetic switch
26 good scalability
27 hypothesis
28 maximal set
29 model
30 model checking
31 parallel algorithm
32 parameter synthesis
33 parameterisation
34 parameters
35 properties
36 satisfaction
37 scalability
38 set
39 space transition
40 state space transitions
41 study
42 switch
43 synthesis
44 transition
45 schema:name Parameter Synthesis by Parallel Coloured CTL Model Checking
46 schema:pagination 251-263
47 schema:productId N257651d10b414ed4ae0b31b6c9081f16
48 N6f3f824626384f139aebf90007d14652
49 schema:publisher N9aa80dad24bf4495906b34cd216b2567
50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084713708
51 https://doi.org/10.1007/978-3-319-23401-4_21
52 schema:sdDatePublished 2022-05-10T10:39
53 schema:sdLicense https://scigraph.springernature.com/explorer/license/
54 schema:sdPublisher N8e15eaf413124887b8168aceb5c7aabb
55 schema:url https://doi.org/10.1007/978-3-319-23401-4_21
56 sgo:license sg:explorer/license/
57 sgo:sdDataset chapters
58 rdf:type schema:Chapter
59 N0361c89cc2714d6ab4af8486eadac58e rdf:first Nfcc0870c16cf4747b2ab8246938efb24
60 rdf:rest Ne97da87d54b64f339bcd51c62ca80f68
61 N257651d10b414ed4ae0b31b6c9081f16 schema:name doi
62 schema:value 10.1007/978-3-319-23401-4_21
63 rdf:type schema:PropertyValue
64 N350b2c3aa7c64a6ebf18ea6ca121190b rdf:first sg:person.016566512611.71
65 rdf:rest Nfe4b1c0a6b1b42ee84d62ded278b5a1d
66 N3e9a2ccc63824d10b5318444989e6ef8 schema:familyName Bourdon
67 schema:givenName Jérémie
68 rdf:type schema:Person
69 N3ebaaa8eddc4451b9644422ebc2b1b86 rdf:first sg:person.016652663056.36
70 rdf:rest N350b2c3aa7c64a6ebf18ea6ca121190b
71 N4635f43d1a924973ad627be53fee1343 rdf:first sg:person.0645117057.83
72 rdf:rest N3ebaaa8eddc4451b9644422ebc2b1b86
73 N6f3f824626384f139aebf90007d14652 schema:name dimensions_id
74 schema:value pub.1084713708
75 rdf:type schema:PropertyValue
76 N8e15eaf413124887b8168aceb5c7aabb schema:name Springer Nature - SN SciGraph project
77 rdf:type schema:Organization
78 N9aa80dad24bf4495906b34cd216b2567 schema:name Springer Nature
79 rdf:type schema:Organisation
80 Nb8ad407db4f447c387474b0840e77e27 schema:isbn 978-3-319-23400-7
81 978-3-319-23401-4
82 schema:name Computational Methods in Systems Biology
83 rdf:type schema:Book
84 Nd4890a7012884a93a79ea8b337407432 rdf:first sg:person.011410250615.43
85 rdf:rest rdf:nil
86 Ne97da87d54b64f339bcd51c62ca80f68 rdf:first N3e9a2ccc63824d10b5318444989e6ef8
87 rdf:rest rdf:nil
88 Nfcc0870c16cf4747b2ab8246938efb24 schema:familyName Roux
89 schema:givenName Olivier
90 rdf:type schema:Person
91 Nfe4b1c0a6b1b42ee84d62ded278b5a1d rdf:first sg:person.016130263073.10
92 rdf:rest Nd4890a7012884a93a79ea8b337407432
93 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
94 schema:name Information and Computing Sciences
95 rdf:type schema:DefinedTerm
96 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
97 schema:name Computation Theory and Mathematics
98 rdf:type schema:DefinedTerm
99 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
100 schema:familyName Šafránek
101 schema:givenName David
102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
103 rdf:type schema:Person
104 sg:person.016130263073.10 schema:affiliation grid-institutes:grid.10267.32
105 schema:familyName Pastva
106 schema:givenName Samuel
107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10
108 rdf:type schema:Person
109 sg:person.016566512611.71 schema:affiliation grid-institutes:grid.10267.32
110 schema:familyName Demko
111 schema:givenName Martin
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566512611.71
113 rdf:type schema:Person
114 sg:person.016652663056.36 schema:affiliation grid-institutes:grid.10267.32
115 schema:familyName Češka
116 schema:givenName Milan
117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36
118 rdf:type schema:Person
119 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
120 schema:familyName Brim
121 schema:givenName Luboš
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
123 rdf:type schema:Person
124 grid-institutes:grid.10267.32 schema:alternateName Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
125 schema:name Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
126 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...