Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017-07-13

AUTHORS

Nikola Beneš , Luboš Brim , Martin Demko , Samuel Pastva , David Šafránek

ABSTRACT

We present a novel tool for parameter synthesis of piecewise multi-affine dynamical systems from specifications expressed in a hybrid branching-time temporal logic. The tool is based on the algorithm of parallel semi-symbolic coloured model checking that extends standard model checking methods to cope with parametrised Kripke structures. The tool implements state-of-the-art techniques developed in our previous research and is primarily intended to be used for the analysis of dynamical systems with uncertain parameters that frequently arise in computational systems biology. However, it can be employed for any dynamical system where the non-linear equations can be sufficiently well approximated by piecewise multi-affine equations. More... »

PAGES

591-598

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-63387-9_29

DOI

http://dx.doi.org/10.1007/978-3-319-63387-9_29

DIMENSIONS

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


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/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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/0102", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Applied Mathematics", 
        "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, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bene\u0161", 
        "givenName": "Nikola", 
        "id": "sg:person.014465763501.21", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014465763501.21"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, 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"
      }, 
      {
        "affiliation": {
          "alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, 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, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, 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": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Systems Biology Laboratory, 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"
      }
    ], 
    "datePublished": "2017-07-13", 
    "datePublishedReg": "2017-07-13", 
    "description": "We present a novel tool for parameter synthesis of piecewise multi-affine dynamical systems from specifications expressed in a hybrid branching-time temporal logic. The tool is based on the algorithm of parallel semi-symbolic coloured model checking that extends standard model checking methods to cope with parametrised Kripke structures. The tool implements state-of-the-art techniques developed in our previous research and is primarily intended to be used for the analysis of dynamical systems with uncertain parameters that frequently arise in computational systems biology. However, it can be employed for any dynamical system where the non-linear equations can be sufficiently well approximated by piecewise multi-affine equations.", 
    "editor": [
      {
        "familyName": "Majumdar", 
        "givenName": "Rupak", 
        "type": "Person"
      }, 
      {
        "familyName": "Kun\u010dak", 
        "givenName": "Viktor", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-63387-9_29", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-63386-2", 
        "978-3-319-63387-9"
      ], 
      "name": "Computer Aided Verification", 
      "type": "Book"
    }, 
    "keywords": [
      "dynamical systems", 
      "parameter synthesis", 
      "non-linear equations", 
      "computational systems biology", 
      "uncertain parameters", 
      "parallel tools", 
      "equations", 
      "standard model", 
      "colored models", 
      "systems biology", 
      "art techniques", 
      "model", 
      "system", 
      "Kripke structures", 
      "algorithm", 
      "parameters", 
      "tool", 
      "technique", 
      "structure", 
      "state", 
      "branching-time temporal logic", 
      "specification", 
      "temporal logic", 
      "logic", 
      "novel tool", 
      "analysis", 
      "biology", 
      "research", 
      "previous research", 
      "synthesis", 
      "method"
    ], 
    "name": "Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems", 
    "pagination": "591-598", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1090657954"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-63387-9_29"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-63387-9_29", 
      "https://app.dimensions.ai/details/publication/pub.1090657954"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:55", 
    "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_65.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-63387-9_29"
  }
]
 

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-63387-9_29'

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-63387-9_29'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-63387-9_29'

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-63387-9_29'


 

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

132 TRIPLES      23 PREDICATES      58 URIs      49 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-63387-9_29 schema:about anzsrc-for:01
2 anzsrc-for:0102
3 anzsrc-for:08
4 anzsrc-for:0802
5 schema:author Nb09f381be8004933a542c38e6740f263
6 schema:datePublished 2017-07-13
7 schema:datePublishedReg 2017-07-13
8 schema:description We present a novel tool for parameter synthesis of piecewise multi-affine dynamical systems from specifications expressed in a hybrid branching-time temporal logic. The tool is based on the algorithm of parallel semi-symbolic coloured model checking that extends standard model checking methods to cope with parametrised Kripke structures. The tool implements state-of-the-art techniques developed in our previous research and is primarily intended to be used for the analysis of dynamical systems with uncertain parameters that frequently arise in computational systems biology. However, it can be employed for any dynamical system where the non-linear equations can be sufficiently well approximated by piecewise multi-affine equations.
9 schema:editor N652a60c1090b44329a5a41d8368e3ea7
10 schema:genre chapter
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf N1a4a8160718b4195ab31e8afdebe027a
14 schema:keywords Kripke structures
15 algorithm
16 analysis
17 art techniques
18 biology
19 branching-time temporal logic
20 colored models
21 computational systems biology
22 dynamical systems
23 equations
24 logic
25 method
26 model
27 non-linear equations
28 novel tool
29 parallel tools
30 parameter synthesis
31 parameters
32 previous research
33 research
34 specification
35 standard model
36 state
37 structure
38 synthesis
39 system
40 systems biology
41 technique
42 temporal logic
43 tool
44 uncertain parameters
45 schema:name Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
46 schema:pagination 591-598
47 schema:productId Na3a8934a11b04d61aa3c081a1098aa75
48 Nbabd4f73f5c74cad8f0b28c333713dc8
49 schema:publisher N7b691e63d02a415791b138b6d7d03442
50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1090657954
51 https://doi.org/10.1007/978-3-319-63387-9_29
52 schema:sdDatePublished 2022-05-10T10:55
53 schema:sdLicense https://scigraph.springernature.com/explorer/license/
54 schema:sdPublisher N5d8d03df1a2447a7824a6c0c0d59c81b
55 schema:url https://doi.org/10.1007/978-3-319-63387-9_29
56 sgo:license sg:explorer/license/
57 sgo:sdDataset chapters
58 rdf:type schema:Chapter
59 N1a4a8160718b4195ab31e8afdebe027a schema:isbn 978-3-319-63386-2
60 978-3-319-63387-9
61 schema:name Computer Aided Verification
62 rdf:type schema:Book
63 N254428747deb4c159f41ffbf1e68ae78 rdf:first sg:person.016566512611.71
64 rdf:rest Ne95dc52ee0734c8d9fff39252b04825e
65 N5d8d03df1a2447a7824a6c0c0d59c81b schema:name Springer Nature - SN SciGraph project
66 rdf:type schema:Organization
67 N617b1ec61bd04269a1e42576f0f0139b rdf:first Nc9c8675d0c074a388b68e91d496f4014
68 rdf:rest rdf:nil
69 N652a60c1090b44329a5a41d8368e3ea7 rdf:first N9f7c68cf169c4f939cfa1fd71c3ae25f
70 rdf:rest N617b1ec61bd04269a1e42576f0f0139b
71 N7b691e63d02a415791b138b6d7d03442 schema:name Springer Nature
72 rdf:type schema:Organisation
73 N9f7c68cf169c4f939cfa1fd71c3ae25f schema:familyName Majumdar
74 schema:givenName Rupak
75 rdf:type schema:Person
76 Na3a8934a11b04d61aa3c081a1098aa75 schema:name doi
77 schema:value 10.1007/978-3-319-63387-9_29
78 rdf:type schema:PropertyValue
79 Nb09f381be8004933a542c38e6740f263 rdf:first sg:person.014465763501.21
80 rdf:rest Nb87d2e39f5e84824aafc7abbc1dfa82f
81 Nb87d2e39f5e84824aafc7abbc1dfa82f rdf:first sg:person.0645117057.83
82 rdf:rest N254428747deb4c159f41ffbf1e68ae78
83 Nbabd4f73f5c74cad8f0b28c333713dc8 schema:name dimensions_id
84 schema:value pub.1090657954
85 rdf:type schema:PropertyValue
86 Nc9c8675d0c074a388b68e91d496f4014 schema:familyName Kunčak
87 schema:givenName Viktor
88 rdf:type schema:Person
89 Ne95dc52ee0734c8d9fff39252b04825e rdf:first sg:person.016130263073.10
90 rdf:rest Nf15932000f2847efb0d7d599193e85a1
91 Nf15932000f2847efb0d7d599193e85a1 rdf:first sg:person.011410250615.43
92 rdf:rest rdf:nil
93 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
94 schema:name Mathematical Sciences
95 rdf:type schema:DefinedTerm
96 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
97 schema:name Applied Mathematics
98 rdf:type schema:DefinedTerm
99 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
100 schema:name Information and Computing Sciences
101 rdf:type schema:DefinedTerm
102 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
103 schema:name Computation Theory and Mathematics
104 rdf:type schema:DefinedTerm
105 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
106 schema:familyName Šafránek
107 schema:givenName David
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
109 rdf:type schema:Person
110 sg:person.014465763501.21 schema:affiliation grid-institutes:grid.10267.32
111 schema:familyName Beneš
112 schema:givenName Nikola
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014465763501.21
114 rdf:type schema:Person
115 sg:person.016130263073.10 schema:affiliation grid-institutes:grid.10267.32
116 schema:familyName Pastva
117 schema:givenName Samuel
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10
119 rdf:type schema:Person
120 sg:person.016566512611.71 schema:affiliation grid-institutes:grid.10267.32
121 schema:familyName Demko
122 schema:givenName Martin
123 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566512611.71
124 rdf:type schema:Person
125 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
126 schema:familyName Brim
127 schema:givenName Luboš
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
129 rdf:type schema:Person
130 grid-institutes:grid.10267.32 schema:alternateName Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Brno, Czech Republic
131 schema:name Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Brno, Czech Republic
132 rdf:type schema:Organization
 




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


...