Ontology type: schema:Chapter
2020-09-29
AUTHORSEva Šmijáková , Samuel Pastva , David Šafránek , Luboš Brim
ABSTRACTWe 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... »
PAGES280-297
Computational Methods in Systems Biology
ISBN
978-3-030-60326-7
978-3-030-60327-4
http://scigraph.springernature.com/pub.10.1007/978-3-030-60327-4_15
DOIhttp://dx.doi.org/10.1007/978-3-030-60327-4_15
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1131330366
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
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