Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2020-09-29

AUTHORS

Eva Šmijáková , Samuel Pastva , David Šafránek , Luboš Brim

ABSTRACT

We consider the parameter synthesis problem for multi-affine hybrid systems and properties specified using a hybrid extension of CTL (HCTL). The goal is to determine the sets of parameter valuations for which the given hybrid system satisfies the desired HCTL property. As our main contribution, we propose a shared-memory parallel algorithm which efficiently computes such parameter valuation sets. We combine a rectangular discretisation of the continuous dynamics with the discrete transitions of the hybrid system to obtain a single over-approximating semi-symbolic transition system. Such system can be then analysed using a fixed-point parameter synthesis algorithm to obtain all satisfying parametrisations. We evaluate the scalability of the method and demonstrate its applicability in a biological case study. More... »

PAGES

280-297

Book

TITLE

Computational Methods in Systems Biology

ISBN

978-3-030-60326-7
978-3-030-60327-4

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-030-60327-4_15

DOI

http://dx.doi.org/10.1007/978-3-030-60327-4_15

DIMENSIONS

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


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": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u0160mij\u00e1kov\u00e1", 
        "givenName": "Eva", 
        "id": "sg:person.016712101667.47", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016712101667.47"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, 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": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, 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"
      }, 
      {
        "affiliation": {
          "alternateName": "Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Faculty of Informatics, Masaryk University, 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"
      }
    ], 
    "datePublished": "2020-09-29", 
    "datePublishedReg": "2020-09-29", 
    "description": "We consider the parameter synthesis problem for multi-affine hybrid systems and properties specified using a hybrid extension of CTL (HCTL). The goal is to determine the sets of parameter valuations for which the given hybrid system satisfies the desired HCTL property. As our main contribution, we propose a shared-memory parallel algorithm which efficiently computes such parameter valuation sets. We combine a rectangular discretisation of the continuous dynamics with the discrete transitions of the hybrid system to obtain a single over-approximating semi-symbolic transition system. Such system can be then analysed using a fixed-point parameter synthesis algorithm to obtain all satisfying parametrisations. We evaluate the scalability of the method and demonstrate its applicability in a biological case study.", 
    "editor": [
      {
        "familyName": "Abate", 
        "givenName": "Alessandro", 
        "type": "Person"
      }, 
      {
        "familyName": "Petrov", 
        "givenName": "Tatjana", 
        "type": "Person"
      }, 
      {
        "familyName": "Wolf", 
        "givenName": "Verena", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-030-60327-4_15", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-030-60326-7", 
        "978-3-030-60327-4"
      ], 
      "name": "Computational Methods in Systems Biology", 
      "type": "Book"
    }, 
    "keywords": [
      "hybrid system", 
      "parameter synthesis algorithm", 
      "parameter synthesis problem", 
      "continuous dynamics", 
      "biological case study", 
      "synthesis problem", 
      "parameter synthesis", 
      "hybrid extension", 
      "discrete transitions", 
      "parallel algorithm", 
      "parameter valuations", 
      "shared-memory parallel algorithm", 
      "such systems", 
      "synthesis algorithm", 
      "main contribution", 
      "algorithm", 
      "discretisation", 
      "transition systems", 
      "set", 
      "parametrisation", 
      "system", 
      "dynamics", 
      "properties", 
      "valuation sets", 
      "problem", 
      "extension", 
      "CTL specifications", 
      "applicability", 
      "transition", 
      "scalability", 
      "case study", 
      "valuation", 
      "specification", 
      "contribution", 
      "goal", 
      "study", 
      "synthesis", 
      "CTL", 
      "method"
    ], 
    "name": "Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications", 
    "pagination": "280-297", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1131330366"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-030-60327-4_15"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-030-60327-4_15", 
      "https://app.dimensions.ai/details/publication/pub.1131330366"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:41", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_12.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-030-60327-4_15"
  }
]
 

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-030-60327-4_15'

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-030-60327-4_15'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-60327-4_15'

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-030-60327-4_15'


 

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

130 TRIPLES      23 PREDICATES      64 URIs      57 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-030-60327-4_15 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Ned8a7d0f6b63484e97c8383070cd0936
4 schema:datePublished 2020-09-29
5 schema:datePublishedReg 2020-09-29
6 schema:description We consider the parameter synthesis problem for multi-affine hybrid systems and properties specified using a hybrid extension of CTL (HCTL). The goal is to determine the sets of parameter valuations for which the given hybrid system satisfies the desired HCTL property. As our main contribution, we propose a shared-memory parallel algorithm which efficiently computes such parameter valuation sets. We combine a rectangular discretisation of the continuous dynamics with the discrete transitions of the hybrid system to obtain a single over-approximating semi-symbolic transition system. Such system can be then analysed using a fixed-point parameter synthesis algorithm to obtain all satisfying parametrisations. We evaluate the scalability of the method and demonstrate its applicability in a biological case study.
7 schema:editor N7af81e738ef0431aa0afd0862f13400c
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nfd32a291b42546ba93227b14ef301a4d
12 schema:keywords CTL
13 CTL specifications
14 algorithm
15 applicability
16 biological case study
17 case study
18 continuous dynamics
19 contribution
20 discrete transitions
21 discretisation
22 dynamics
23 extension
24 goal
25 hybrid extension
26 hybrid system
27 main contribution
28 method
29 parallel algorithm
30 parameter synthesis
31 parameter synthesis algorithm
32 parameter synthesis problem
33 parameter valuations
34 parametrisation
35 problem
36 properties
37 scalability
38 set
39 shared-memory parallel algorithm
40 specification
41 study
42 such systems
43 synthesis
44 synthesis algorithm
45 synthesis problem
46 system
47 transition
48 transition systems
49 valuation
50 valuation sets
51 schema:name Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications
52 schema:pagination 280-297
53 schema:productId N311614e46d134793b794d8aa345b3a24
54 N9699ffb072c74ff7aafdd998aace7381
55 schema:publisher Ndcb97ff49c234fadb3483ad6cfc74cda
56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1131330366
57 https://doi.org/10.1007/978-3-030-60327-4_15
58 schema:sdDatePublished 2022-05-20T07:41
59 schema:sdLicense https://scigraph.springernature.com/explorer/license/
60 schema:sdPublisher N956833a8464a44b3b7baf53b38177465
61 schema:url https://doi.org/10.1007/978-3-030-60327-4_15
62 sgo:license sg:explorer/license/
63 sgo:sdDataset chapters
64 rdf:type schema:Chapter
65 N1389681446ff4cfb905fce3d30928aaa rdf:first sg:person.011410250615.43
66 rdf:rest N7dc66f382fbc4f1996bbff994e056da0
67 N1c0db8e2f59f48c98cc8627183d0ad27 rdf:first Na85dec5653634568909ff203e6a80e70
68 rdf:rest Na6c56efa95e44d748d1243670b6b0df2
69 N311614e46d134793b794d8aa345b3a24 schema:name dimensions_id
70 schema:value pub.1131330366
71 rdf:type schema:PropertyValue
72 N34c6a6ca56ee4abd85581b0d0846f862 schema:familyName Abate
73 schema:givenName Alessandro
74 rdf:type schema:Person
75 N7af81e738ef0431aa0afd0862f13400c rdf:first N34c6a6ca56ee4abd85581b0d0846f862
76 rdf:rest N1c0db8e2f59f48c98cc8627183d0ad27
77 N7dc66f382fbc4f1996bbff994e056da0 rdf:first sg:person.0645117057.83
78 rdf:rest rdf:nil
79 N907875281d384a80964b62dc08a90463 schema:familyName Wolf
80 schema:givenName Verena
81 rdf:type schema:Person
82 N956833a8464a44b3b7baf53b38177465 schema:name Springer Nature - SN SciGraph project
83 rdf:type schema:Organization
84 N9699ffb072c74ff7aafdd998aace7381 schema:name doi
85 schema:value 10.1007/978-3-030-60327-4_15
86 rdf:type schema:PropertyValue
87 N9910010efb1a4c51b36094caca9bb287 rdf:first sg:person.016130263073.10
88 rdf:rest N1389681446ff4cfb905fce3d30928aaa
89 Na6c56efa95e44d748d1243670b6b0df2 rdf:first N907875281d384a80964b62dc08a90463
90 rdf:rest rdf:nil
91 Na85dec5653634568909ff203e6a80e70 schema:familyName Petrov
92 schema:givenName Tatjana
93 rdf:type schema:Person
94 Ndcb97ff49c234fadb3483ad6cfc74cda schema:name Springer Nature
95 rdf:type schema:Organisation
96 Ned8a7d0f6b63484e97c8383070cd0936 rdf:first sg:person.016712101667.47
97 rdf:rest N9910010efb1a4c51b36094caca9bb287
98 Nfd32a291b42546ba93227b14ef301a4d schema:isbn 978-3-030-60326-7
99 978-3-030-60327-4
100 schema:name Computational Methods in Systems Biology
101 rdf:type schema:Book
102 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
103 schema:name Information and Computing Sciences
104 rdf:type schema:DefinedTerm
105 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
106 schema:name Computation Theory and Mathematics
107 rdf:type schema:DefinedTerm
108 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
109 schema:familyName Šafránek
110 schema:givenName David
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
112 rdf:type schema:Person
113 sg:person.016130263073.10 schema:affiliation grid-institutes:grid.10267.32
114 schema:familyName Pastva
115 schema:givenName Samuel
116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10
117 rdf:type schema:Person
118 sg:person.016712101667.47 schema:affiliation grid-institutes:grid.10267.32
119 schema:familyName Šmijáková
120 schema:givenName Eva
121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016712101667.47
122 rdf:type schema:Person
123 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
124 schema:familyName Brim
125 schema:givenName Luboš
126 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
127 rdf:type schema:Person
128 grid-institutes:grid.10267.32 schema:alternateName Faculty of Informatics, Masaryk University, Brno, Czech Republic
129 schema:name Faculty of Informatics, Masaryk University, Brno, Czech Republic
130 rdf:type schema:Organization
 




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


...