A Model Checking Approach to Discrete Bifurcation Analysis View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2016-11-08

AUTHORS

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

ABSTRACT

Bifurcation analysis is a central task of the analysis of parameterised high-dimensional dynamical systems that undergo transitions as parameters are changed. The classical numerical and analytical methods are typically limited to a small number of system parameters. In this paper we propose a novel approach to bifurcation analysis that is based on a suitable discrete abstraction of the system and employs model checking for discovering critical parameter values, referred to as bifurcation points, for which various kinds of behaviour (equilibrium, cycling) appear or disappear. To describe such behaviour patterns, called phase portraits, we use a hybrid version of a CTL logic augmented with direction formulae. We demonstrate the method on a case study taken from systems biology. More... »

PAGES

85-101

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-48989-6_6

DOI

http://dx.doi.org/10.1007/978-3-319-48989-6_6

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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-11-08", 
    "datePublishedReg": "2016-11-08", 
    "description": "Bifurcation analysis is a central task of the analysis of parameterised high-dimensional dynamical systems that undergo transitions as parameters are changed. The classical numerical and analytical methods are typically limited to a small number of system parameters. In this paper we propose a novel approach to bifurcation analysis that is based on a suitable discrete abstraction of the system and employs model checking for discovering critical parameter values, referred to as bifurcation points, for which various kinds of behaviour (equilibrium, cycling) appear or disappear. To describe such behaviour patterns, called phase portraits, we use a hybrid version of a CTL logic augmented with direction formulae. We demonstrate the method on a case study taken from systems biology.", 
    "editor": [
      {
        "familyName": "Fitzgerald", 
        "givenName": "John", 
        "type": "Person"
      }, 
      {
        "familyName": "Heitmeyer", 
        "givenName": "Constance", 
        "type": "Person"
      }, 
      {
        "familyName": "Gnesi", 
        "givenName": "Stefania", 
        "type": "Person"
      }, 
      {
        "familyName": "Philippou", 
        "givenName": "Anna", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-48989-6_6", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-48988-9", 
        "978-3-319-48989-6"
      ], 
      "name": "FM 2016: Formal Methods", 
      "type": "Book"
    }, 
    "keywords": [
      "bifurcation analysis", 
      "high-dimensional dynamical systems", 
      "critical parameter values", 
      "dynamical systems", 
      "phase portraits", 
      "discrete abstraction", 
      "bifurcation point", 
      "system parameters", 
      "parameter values", 
      "hybrid version", 
      "systems biology", 
      "analytical method", 
      "parameters", 
      "model", 
      "kind of behavior", 
      "small number", 
      "formula", 
      "central task", 
      "approach", 
      "novel approach", 
      "system", 
      "version", 
      "transition", 
      "point", 
      "portrait", 
      "analysis", 
      "case study", 
      "number", 
      "kind", 
      "CTL logic", 
      "such behaviour patterns", 
      "behavior", 
      "values", 
      "logic", 
      "task", 
      "abstraction", 
      "biology", 
      "patterns", 
      "study", 
      "behavior patterns", 
      "method", 
      "paper"
    ], 
    "name": "A Model Checking Approach to Discrete Bifurcation Analysis", 
    "pagination": "85-101", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1013415023"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-48989-6_6"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-48989-6_6", 
      "https://app.dimensions.ai/details/publication/pub.1013415023"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:44", 
    "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_259.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-48989-6_6"
  }
]
 

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-48989-6_6'

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-48989-6_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-48989-6_6'

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-48989-6_6'


 

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

145 TRIPLES      23 PREDICATES      67 URIs      60 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-48989-6_6 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author Nf3a1d127ec054ff2be8d532e80e3eb91
4 schema:datePublished 2016-11-08
5 schema:datePublishedReg 2016-11-08
6 schema:description Bifurcation analysis is a central task of the analysis of parameterised high-dimensional dynamical systems that undergo transitions as parameters are changed. The classical numerical and analytical methods are typically limited to a small number of system parameters. In this paper we propose a novel approach to bifurcation analysis that is based on a suitable discrete abstraction of the system and employs model checking for discovering critical parameter values, referred to as bifurcation points, for which various kinds of behaviour (equilibrium, cycling) appear or disappear. To describe such behaviour patterns, called phase portraits, we use a hybrid version of a CTL logic augmented with direction formulae. We demonstrate the method on a case study taken from systems biology.
7 schema:editor N61e839dfec2d4a9b93451b9e80a1cbd3
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Naba60a0839b34f99af9581dca520ee9e
12 schema:keywords CTL logic
13 abstraction
14 analysis
15 analytical method
16 approach
17 behavior
18 behavior patterns
19 bifurcation analysis
20 bifurcation point
21 biology
22 case study
23 central task
24 critical parameter values
25 discrete abstraction
26 dynamical systems
27 formula
28 high-dimensional dynamical systems
29 hybrid version
30 kind
31 kind of behavior
32 logic
33 method
34 model
35 novel approach
36 number
37 paper
38 parameter values
39 parameters
40 patterns
41 phase portraits
42 point
43 portrait
44 small number
45 study
46 such behaviour patterns
47 system
48 system parameters
49 systems biology
50 task
51 transition
52 values
53 version
54 schema:name A Model Checking Approach to Discrete Bifurcation Analysis
55 schema:pagination 85-101
56 schema:productId N1e659a5db852422b8c3752bdc7856244
57 N37f2490b6440464393dd1f349f44693d
58 schema:publisher Nff88cb826fa64cd5ba9e78a3d002d56a
59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013415023
60 https://doi.org/10.1007/978-3-319-48989-6_6
61 schema:sdDatePublished 2022-05-20T07:44
62 schema:sdLicense https://scigraph.springernature.com/explorer/license/
63 schema:sdPublisher Nfc5c9e14833f44bca1dc3e8dc6d847b3
64 schema:url https://doi.org/10.1007/978-3-319-48989-6_6
65 sgo:license sg:explorer/license/
66 sgo:sdDataset chapters
67 rdf:type schema:Chapter
68 N0242c7dd45c54d99bf2ff1e42bb52dd9 schema:familyName Gnesi
69 schema:givenName Stefania
70 rdf:type schema:Person
71 N09c99554d40e436798f482cc6669bb35 rdf:first sg:person.016566512611.71
72 rdf:rest Nfa0480964e3246c1ab793743d7ab5845
73 N1e659a5db852422b8c3752bdc7856244 schema:name doi
74 schema:value 10.1007/978-3-319-48989-6_6
75 rdf:type schema:PropertyValue
76 N37f2490b6440464393dd1f349f44693d schema:name dimensions_id
77 schema:value pub.1013415023
78 rdf:type schema:PropertyValue
79 N45430e36093642959f13c1ed82226f90 rdf:first N848d6417b7724a05a5287e6e7a2d5279
80 rdf:rest Nee0633b72a744e83991a3695fcb29f7d
81 N61e839dfec2d4a9b93451b9e80a1cbd3 rdf:first N894be4c0d34e477e9d054917ce150a9e
82 rdf:rest N45430e36093642959f13c1ed82226f90
83 N848d6417b7724a05a5287e6e7a2d5279 schema:familyName Heitmeyer
84 schema:givenName Constance
85 rdf:type schema:Person
86 N894be4c0d34e477e9d054917ce150a9e schema:familyName Fitzgerald
87 schema:givenName John
88 rdf:type schema:Person
89 Nab5755d3818b4f4384e9d2a5870c37dc rdf:first sg:person.0645117057.83
90 rdf:rest N09c99554d40e436798f482cc6669bb35
91 Naba60a0839b34f99af9581dca520ee9e schema:isbn 978-3-319-48988-9
92 978-3-319-48989-6
93 schema:name FM 2016: Formal Methods
94 rdf:type schema:Book
95 Nb9736dad85de4b8990843d19755f8949 schema:familyName Philippou
96 schema:givenName Anna
97 rdf:type schema:Person
98 Nd5e65adbde2a48b3b3f1d40db8a77ed5 rdf:first sg:person.011410250615.43
99 rdf:rest rdf:nil
100 Ne233d9ec4c634182a4f9f7200602b6f5 rdf:first Nb9736dad85de4b8990843d19755f8949
101 rdf:rest rdf:nil
102 Nee0633b72a744e83991a3695fcb29f7d rdf:first N0242c7dd45c54d99bf2ff1e42bb52dd9
103 rdf:rest Ne233d9ec4c634182a4f9f7200602b6f5
104 Nf3a1d127ec054ff2be8d532e80e3eb91 rdf:first sg:person.014465763501.21
105 rdf:rest Nab5755d3818b4f4384e9d2a5870c37dc
106 Nfa0480964e3246c1ab793743d7ab5845 rdf:first sg:person.016130263073.10
107 rdf:rest Nd5e65adbde2a48b3b3f1d40db8a77ed5
108 Nfc5c9e14833f44bca1dc3e8dc6d847b3 schema:name Springer Nature - SN SciGraph project
109 rdf:type schema:Organization
110 Nff88cb826fa64cd5ba9e78a3d002d56a schema:name Springer Nature
111 rdf:type schema:Organisation
112 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
113 schema:name Information and Computing Sciences
114 rdf:type schema:DefinedTerm
115 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
116 schema:name Artificial Intelligence and Image Processing
117 rdf:type schema:DefinedTerm
118 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
119 schema:familyName Šafránek
120 schema:givenName David
121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
122 rdf:type schema:Person
123 sg:person.014465763501.21 schema:affiliation grid-institutes:grid.10267.32
124 schema:familyName Beneš
125 schema:givenName Nikola
126 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014465763501.21
127 rdf:type schema:Person
128 sg:person.016130263073.10 schema:affiliation grid-institutes:grid.10267.32
129 schema:familyName Pastva
130 schema:givenName Samuel
131 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10
132 rdf:type schema:Person
133 sg:person.016566512611.71 schema:affiliation grid-institutes:grid.10267.32
134 schema:familyName Demko
135 schema:givenName Martin
136 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566512611.71
137 rdf:type schema:Person
138 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
139 schema:familyName Brim
140 schema:givenName Luboš
141 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
142 rdf:type schema:Person
143 grid-institutes:grid.10267.32 schema:alternateName Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
144 schema:name Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
145 rdf:type schema:Organization
 




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


...