High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

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

ABSTRACT

Analysis of equilibria, their stability and instability, is an unavoidable ingredient of model analysis in systems biology. In particular, bifurcation analysis which focuses on behaviour of phase portraits under variations of parameters is of great importance. We propose a novel method for bifurcation analysis that employs coloured model checking to analyse phase portraits bifurcation in rectangular abstractions of piecewise-affine systems. The algorithm works on clusters of workstations and multi-core computers to allow scalability. We demonstrate the method on a repressilator genetic regulatory network. More... »

PAGES

58-74

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-26916-0_4

DOI

http://dx.doi.org/10.1007/978-3-319-26916-0_4

DIMENSIONS

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


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": "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": "2015", 
    "datePublishedReg": "2015-01-01", 
    "description": "Analysis of equilibria, their stability and instability, is an unavoidable ingredient of model analysis in systems biology. In particular, bifurcation analysis which focuses on behaviour of phase portraits under variations of parameters is of great importance. We propose a novel method for bifurcation analysis that employs coloured model checking to analyse phase portraits bifurcation in rectangular abstractions of piecewise-affine systems. The algorithm works on clusters of workstations and multi-core computers to allow scalability. We demonstrate the method on a repressilator genetic regulatory network.", 
    "editor": [
      {
        "familyName": "Abate", 
        "givenName": "Alessandro", 
        "type": "Person"
      }, 
      {
        "familyName": "\u0160afr\u00e1nek", 
        "givenName": "David", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-26916-0_4", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-26915-3", 
        "978-3-319-26916-0"
      ], 
      "name": "Hybrid Systems Biology", 
      "type": "Book"
    }, 
    "keywords": [
      "bifurcation analysis", 
      "piecewise affine dynamical systems", 
      "piecewise affine systems", 
      "genetic regulatory networks", 
      "dynamical systems", 
      "variation of parameters", 
      "behavior of phase", 
      "analysis of equilibrium", 
      "multi-core computers", 
      "analyse phase", 
      "cluster of workstations", 
      "unavoidable ingredient", 
      "colored models", 
      "systems biology", 
      "regulatory networks", 
      "bifurcation", 
      "algorithm", 
      "model analysis", 
      "system", 
      "parameters", 
      "great importance", 
      "equilibrium", 
      "novel method", 
      "instability", 
      "model", 
      "computer", 
      "network", 
      "analysis", 
      "clusters", 
      "stability", 
      "scalability", 
      "phase", 
      "workstations", 
      "behavior", 
      "variation", 
      "ingredients", 
      "abstraction", 
      "importance", 
      "biology", 
      "method"
    ], 
    "name": "High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems", 
    "pagination": "58-74", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1025711337"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-26916-0_4"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-26916-0_4", 
      "https://app.dimensions.ai/details/publication/pub.1025711337"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:54", 
    "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_49.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-26916-0_4"
  }
]
 

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-26916-0_4'

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-26916-0_4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-26916-0_4'

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-26916-0_4'


 

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

126 TRIPLES      23 PREDICATES      66 URIs      59 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-26916-0_4 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N865efb56efe245e7b2762d256ed21c76
4 schema:datePublished 2015
5 schema:datePublishedReg 2015-01-01
6 schema:description Analysis of equilibria, their stability and instability, is an unavoidable ingredient of model analysis in systems biology. In particular, bifurcation analysis which focuses on behaviour of phase portraits under variations of parameters is of great importance. We propose a novel method for bifurcation analysis that employs coloured model checking to analyse phase portraits bifurcation in rectangular abstractions of piecewise-affine systems. The algorithm works on clusters of workstations and multi-core computers to allow scalability. We demonstrate the method on a repressilator genetic regulatory network.
7 schema:editor N608a94cf5b4d40429cdcc6f91158ad6f
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Na3b01888b56b4fb08337472a3c568d97
12 schema:keywords abstraction
13 algorithm
14 analyse phase
15 analysis
16 analysis of equilibrium
17 behavior
18 behavior of phase
19 bifurcation
20 bifurcation analysis
21 biology
22 cluster of workstations
23 clusters
24 colored models
25 computer
26 dynamical systems
27 equilibrium
28 genetic regulatory networks
29 great importance
30 importance
31 ingredients
32 instability
33 method
34 model
35 model analysis
36 multi-core computers
37 network
38 novel method
39 parameters
40 phase
41 piecewise affine dynamical systems
42 piecewise affine systems
43 regulatory networks
44 scalability
45 stability
46 system
47 systems biology
48 unavoidable ingredient
49 variation
50 variation of parameters
51 workstations
52 schema:name High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
53 schema:pagination 58-74
54 schema:productId N3661801edfef46ba8c4b8b07d93b6a12
55 Ne606ac3eaa3f490d924daeb3835c7b3b
56 schema:publisher N37c3a7f17fa74b2ca0855c3630d57f60
57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025711337
58 https://doi.org/10.1007/978-3-319-26916-0_4
59 schema:sdDatePublished 2022-05-10T10:54
60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
61 schema:sdPublisher N1ab7dc650b5943998511d6bb8882cbff
62 schema:url https://doi.org/10.1007/978-3-319-26916-0_4
63 sgo:license sg:explorer/license/
64 sgo:sdDataset chapters
65 rdf:type schema:Chapter
66 N0706acfff8374d58917d13858545911e rdf:first sg:person.011410250615.43
67 rdf:rest rdf:nil
68 N1ab7dc650b5943998511d6bb8882cbff schema:name Springer Nature - SN SciGraph project
69 rdf:type schema:Organization
70 N1f79a0d1f21243708438d42a2d187c9d schema:familyName Abate
71 schema:givenName Alessandro
72 rdf:type schema:Person
73 N3661801edfef46ba8c4b8b07d93b6a12 schema:name doi
74 schema:value 10.1007/978-3-319-26916-0_4
75 rdf:type schema:PropertyValue
76 N37c3a7f17fa74b2ca0855c3630d57f60 schema:name Springer Nature
77 rdf:type schema:Organisation
78 N608a94cf5b4d40429cdcc6f91158ad6f rdf:first N1f79a0d1f21243708438d42a2d187c9d
79 rdf:rest N90060014ea6d457c89aaa0e3c3332b99
80 N6692925282034424ac7dea5d43a6b8f2 schema:familyName Šafránek
81 schema:givenName David
82 rdf:type schema:Person
83 N865efb56efe245e7b2762d256ed21c76 rdf:first sg:person.0645117057.83
84 rdf:rest Nce524e3fdead4e1eb27e6f1cdf78cad2
85 N90060014ea6d457c89aaa0e3c3332b99 rdf:first N6692925282034424ac7dea5d43a6b8f2
86 rdf:rest rdf:nil
87 Na3b01888b56b4fb08337472a3c568d97 schema:isbn 978-3-319-26915-3
88 978-3-319-26916-0
89 schema:name Hybrid Systems Biology
90 rdf:type schema:Book
91 Nbc9ffa53231b4acb8f9a6f2666bb963f rdf:first sg:person.016130263073.10
92 rdf:rest N0706acfff8374d58917d13858545911e
93 Nce524e3fdead4e1eb27e6f1cdf78cad2 rdf:first sg:person.016566512611.71
94 rdf:rest Nbc9ffa53231b4acb8f9a6f2666bb963f
95 Ne606ac3eaa3f490d924daeb3835c7b3b schema:name dimensions_id
96 schema:value pub.1025711337
97 rdf:type schema:PropertyValue
98 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
99 schema:name Information and Computing Sciences
100 rdf:type schema:DefinedTerm
101 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
102 schema:name Artificial Intelligence and Image Processing
103 rdf:type schema:DefinedTerm
104 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
105 schema:familyName Šafránek
106 schema:givenName David
107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
108 rdf:type schema:Person
109 sg:person.016130263073.10 schema:affiliation grid-institutes:grid.10267.32
110 schema:familyName Pastva
111 schema:givenName Samuel
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10
113 rdf:type schema:Person
114 sg:person.016566512611.71 schema:affiliation grid-institutes:grid.10267.32
115 schema:familyName Demko
116 schema:givenName Martin
117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566512611.71
118 rdf:type schema:Person
119 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
120 schema:familyName Brim
121 schema:givenName Luboš
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
123 rdf:type schema:Person
124 grid-institutes:grid.10267.32 schema:alternateName Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
125 schema:name Systems Biology Laboratory, Faculty of Informatics, Masaryk University, Botanická 68a, 602 00, Brno, Czech Republic
126 rdf:type schema:Organization
 




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


...