Ontology type: schema:Chapter
2016-09-22
AUTHORSNikola Beneš , Luboš Brim , Martin Demko , Samuel Pastva , David Šafránek
ABSTRACTWe propose a novel scalable parallel algorithm for synthesis of interdependent parameters from CTL specifications for non-linear dynamical systems. The method employs a symbolic representation of sets of parameter valuations in terms of the first-order theory of the reals. To demonstrate its practicability, we apply the method to a class of piecewise multi-affine dynamical systems representing dynamics of biological systems with complex non-linear behaviour. More... »
PAGES192-208
Automated Technology for Verification and Analysis
ISBN
978-3-319-46519-7
978-3-319-46520-3
http://scigraph.springernature.com/pub.10.1007/978-3-319-46520-3_13
DOIhttp://dx.doi.org/10.1007/978-3-319-46520-3_13
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1084843823
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/0101",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Pure Mathematics",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanick\u00e1 68a, 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 68a, 602 00, 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, Botanick\u00e1 68a, 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 68a, 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 68a, 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 68a, 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 68a, 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 68a, 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 68a, 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 68a, 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": "2016-09-22",
"datePublishedReg": "2016-09-22",
"description": "We propose a novel scalable parallel algorithm for synthesis of interdependent parameters from CTL specifications for non-linear dynamical systems. The method employs a symbolic representation of sets of parameter valuations in terms of the first-order theory of the reals. To demonstrate its practicability, we apply the method to a class of piecewise multi-affine dynamical systems representing dynamics of biological systems with complex non-linear behaviour.",
"editor": [
{
"familyName": "Artho",
"givenName": "Cyrille",
"type": "Person"
},
{
"familyName": "Legay",
"givenName": "Axel",
"type": "Person"
},
{
"familyName": "Peled",
"givenName": "Doron",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-319-46520-3_13",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-319-46519-7",
"978-3-319-46520-3"
],
"name": "Automated Technology for Verification and Analysis",
"type": "Book"
},
"keywords": [
"dynamical systems",
"non-linear dynamical systems",
"multi-affine systems",
"novel scalable parallel algorithms",
"first-order theory",
"complex non-linear behaviour",
"parameter synthesis",
"scalable parallel algorithm",
"parallel algorithm",
"parameter valuations",
"non-linear behavior",
"interdependent parameters",
"biological systems",
"theory",
"system",
"algorithm",
"dynamics",
"symbolic representation",
"class",
"Real",
"CTL specifications",
"representation",
"parameters",
"set",
"terms",
"applications",
"practicability",
"behavior",
"specification",
"valuation",
"SMT",
"synthesis",
"method"
],
"name": "Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems",
"pagination": "192-208",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1084843823"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-319-46520-3_13"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-319-46520-3_13",
"https://app.dimensions.ai/details/publication/pub.1084843823"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-10T10:49",
"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_378.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-319-46520-3_13"
}
]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-319-46520-3_13'
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-46520-3_13'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-46520-3_13'
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-46520-3_13'
This table displays all metadata directly associated to this object as RDF triples.
131 TRIPLES
23 PREDICATES
58 URIs
51 LITERALS
7 BLANK NODES