Ontology type: schema:Chapter
2017-07-13
AUTHORSNikola Beneš , Luboš Brim , Martin Demko , Samuel Pastva , David Šafránek
ABSTRACTWe 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... »
PAGES591-598
Computer Aided Verification
ISBN
978-3-319-63386-2
978-3-319-63387-9
http://scigraph.springernature.com/pub.10.1007/978-3-319-63387-9_29
DOIhttp://dx.doi.org/10.1007/978-3-319-63387-9_29
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1090657954
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
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