Barbaric Robustness Monitoring Revisited for STL* in Parasim View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2019-09-17

AUTHORS

David Šafránek , Matej Troják , Vojtěch Brůža , Tomáš Vejpustek , Jan Papoušek , Martin Demko , Samuel Pastva , Aleš Pejznoch , Luboš Brim

ABSTRACT

In our previous work, we have introduced an extension of signal temporal logic called STL* that allows expressing freezing of values referred within temporal operators. The extension is important especially to express several aspects of signals that cannot be expressed in plain STL (e.g., presence of local extremes and their mutual relationships, non-trivial oscillatory behaviour such as damped oscillations, etc.). In this short paper, we address the tool Parasim that includes an implementation of the algorithm for computing robustness with respect to an STL* specification. The tool is in its current version considered as a prototype implementation of the algorithms for STL* robust monitoring of ODE models. More... »

PAGES

356-359

Book

TITLE

Computational Methods in Systems Biology

ISBN

978-3-030-31303-6
978-3-030-31304-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-030-31304-3_26

DOI

http://dx.doi.org/10.1007/978-3-030-31304-3_26

DIMENSIONS

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


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/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": "\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": "Troj\u00e1k", 
        "givenName": "Matej", 
        "id": "sg:person.013614147255.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013614147255.44"
        ], 
        "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": "Br\u016f\u017ea", 
        "givenName": "Vojt\u011bch", 
        "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": "Vejpustek", 
        "givenName": "Tom\u00e1\u0161", 
        "id": "sg:person.01252343037.80", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01252343037.80"
        ], 
        "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": "Papou\u0161ek", 
        "givenName": "Jan", 
        "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": "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": "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": "Pejznoch", 
        "givenName": "Ale\u0161", 
        "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": "2019-09-17", 
    "datePublishedReg": "2019-09-17", 
    "description": "Abstract\nIn our previous work, we have introduced an extension of signal temporal logic called STL* that allows expressing freezing of values referred within temporal operators. The extension is important especially to express several aspects of signals that cannot be expressed in plain STL (e.g., presence of local extremes and their mutual relationships, non-trivial oscillatory behaviour such as damped oscillations, etc.). In\u00a0this short paper, we address the tool Parasim that includes an implementation of the algorithm for computing robustness with respect to an STL* specification. The tool is in its current version considered as a prototype implementation of the algorithms for STL* robust monitoring of ODE models.", 
    "editor": [
      {
        "familyName": "Bortolussi", 
        "givenName": "Luca", 
        "type": "Person"
      }, 
      {
        "familyName": "Sanguinetti", 
        "givenName": "Guido", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-030-31304-3_26", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-030-31303-6", 
        "978-3-030-31304-3"
      ], 
      "name": "Computational Methods in Systems Biology", 
      "type": "Book"
    }, 
    "keywords": [
      "Signal Temporal Logic", 
      "prototype implementation", 
      "temporal logic", 
      "temporal operators", 
      "aspects of signal", 
      "current version", 
      "algorithm", 
      "short paper", 
      "previous work", 
      "STL", 
      "implementation", 
      "robust monitoring", 
      "specification", 
      "logic", 
      "robustness", 
      "extension", 
      "monitoring", 
      "operators", 
      "tool", 
      "ODE model", 
      "version", 
      "work", 
      "model", 
      "aspects", 
      "signals", 
      "respect", 
      "values", 
      "freezing", 
      "paper"
    ], 
    "name": "Barbaric Robustness Monitoring Revisited for STL* in Parasim", 
    "pagination": "356-359", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1121045591"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-030-31304-3_26"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-030-31304-3_26", 
      "https://app.dimensions.ai/details/publication/pub.1121045591"
    ], 
    "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_236.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-030-31304-3_26"
  }
]
 

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-030-31304-3_26'

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-31304-3_26'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-31304-3_26'

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-31304-3_26'


 

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

147 TRIPLES      23 PREDICATES      54 URIs      47 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-030-31304-3_26 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nd39cb875c0cb40bab2c63ac349d1159a
4 schema:datePublished 2019-09-17
5 schema:datePublishedReg 2019-09-17
6 schema:description Abstract In our previous work, we have introduced an extension of signal temporal logic called STL* that allows expressing freezing of values referred within temporal operators. The extension is important especially to express several aspects of signals that cannot be expressed in plain STL (e.g., presence of local extremes and their mutual relationships, non-trivial oscillatory behaviour such as damped oscillations, etc.). In this short paper, we address the tool Parasim that includes an implementation of the algorithm for computing robustness with respect to an STL* specification. The tool is in its current version considered as a prototype implementation of the algorithms for STL* robust monitoring of ODE models.
7 schema:editor Nf9c22c9ab836432ab76f5e7eaa1d062a
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N2072b9ca4bbf4f9bb2b86c5572dd8dfa
12 schema:keywords ODE model
13 STL
14 Signal Temporal Logic
15 algorithm
16 aspects
17 aspects of signal
18 current version
19 extension
20 freezing
21 implementation
22 logic
23 model
24 monitoring
25 operators
26 paper
27 previous work
28 prototype implementation
29 respect
30 robust monitoring
31 robustness
32 short paper
33 signals
34 specification
35 temporal logic
36 temporal operators
37 tool
38 values
39 version
40 work
41 schema:name Barbaric Robustness Monitoring Revisited for STL* in Parasim
42 schema:pagination 356-359
43 schema:productId N10786ec86e524946b00596d9eeb8880c
44 Nf1a1c8582abc4020b08abfb2f063b1ee
45 schema:publisher Nb4242cdbab31499990bcaeab3a43c5fe
46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1121045591
47 https://doi.org/10.1007/978-3-030-31304-3_26
48 schema:sdDatePublished 2022-05-20T07:44
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher N73dc70d29cc74e189474779647baa634
51 schema:url https://doi.org/10.1007/978-3-030-31304-3_26
52 sgo:license sg:explorer/license/
53 sgo:sdDataset chapters
54 rdf:type schema:Chapter
55 N0258a7d7948847cd8f231044f263d699 rdf:first sg:person.016566512611.71
56 rdf:rest N7b5e0636e7934b11812482b69bc98bea
57 N10786ec86e524946b00596d9eeb8880c schema:name doi
58 schema:value 10.1007/978-3-030-31304-3_26
59 rdf:type schema:PropertyValue
60 N1a9b66aead044d73b8dd55e72ab0904d rdf:first N75e9da22c8bf4f808b4611202111a6ec
61 rdf:rest rdf:nil
62 N2072b9ca4bbf4f9bb2b86c5572dd8dfa schema:isbn 978-3-030-31303-6
63 978-3-030-31304-3
64 schema:name Computational Methods in Systems Biology
65 rdf:type schema:Book
66 N3745bd3bdb99448a93b672c609f8e4bb schema:affiliation grid-institutes:grid.10267.32
67 schema:familyName Pejznoch
68 schema:givenName Aleš
69 rdf:type schema:Person
70 N42e863ffbced4b16a5ada431e75b1b23 rdf:first sg:person.01252343037.80
71 rdf:rest Nf4a0730bff87484d90a6da2faa388bc5
72 N5a174c47cf07424a826362880877686e schema:affiliation grid-institutes:grid.10267.32
73 schema:familyName Brůža
74 schema:givenName Vojtěch
75 rdf:type schema:Person
76 N6ec36843b2a240b3a9b7095515bd0227 schema:affiliation grid-institutes:grid.10267.32
77 schema:familyName Papoušek
78 schema:givenName Jan
79 rdf:type schema:Person
80 N73dc70d29cc74e189474779647baa634 schema:name Springer Nature - SN SciGraph project
81 rdf:type schema:Organization
82 N74ef0f1c3cf74dd0bf3bf15f20f1e904 rdf:first N3745bd3bdb99448a93b672c609f8e4bb
83 rdf:rest Ne1aced2adb3c48a2b171fca576c1421f
84 N75e9da22c8bf4f808b4611202111a6ec schema:familyName Sanguinetti
85 schema:givenName Guido
86 rdf:type schema:Person
87 N7b5e0636e7934b11812482b69bc98bea rdf:first sg:person.016130263073.10
88 rdf:rest N74ef0f1c3cf74dd0bf3bf15f20f1e904
89 N9870ddfb303f48ffb253a2e3a32790ae schema:familyName Bortolussi
90 schema:givenName Luca
91 rdf:type schema:Person
92 Nb4242cdbab31499990bcaeab3a43c5fe schema:name Springer Nature
93 rdf:type schema:Organisation
94 Nd39cb875c0cb40bab2c63ac349d1159a rdf:first sg:person.011410250615.43
95 rdf:rest Nfab81753b87f400f993615d8f59ec51b
96 Ne1aced2adb3c48a2b171fca576c1421f rdf:first sg:person.0645117057.83
97 rdf:rest rdf:nil
98 Ne90204df5c8849c6aa4a991cc8aae0ee rdf:first N5a174c47cf07424a826362880877686e
99 rdf:rest N42e863ffbced4b16a5ada431e75b1b23
100 Nf1a1c8582abc4020b08abfb2f063b1ee schema:name dimensions_id
101 schema:value pub.1121045591
102 rdf:type schema:PropertyValue
103 Nf4a0730bff87484d90a6da2faa388bc5 rdf:first N6ec36843b2a240b3a9b7095515bd0227
104 rdf:rest N0258a7d7948847cd8f231044f263d699
105 Nf9c22c9ab836432ab76f5e7eaa1d062a rdf:first N9870ddfb303f48ffb253a2e3a32790ae
106 rdf:rest N1a9b66aead044d73b8dd55e72ab0904d
107 Nfab81753b87f400f993615d8f59ec51b rdf:first sg:person.013614147255.44
108 rdf:rest Ne90204df5c8849c6aa4a991cc8aae0ee
109 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
110 schema:name Information and Computing Sciences
111 rdf:type schema:DefinedTerm
112 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
113 schema:name Computation Theory and Mathematics
114 rdf:type schema:DefinedTerm
115 sg:person.011410250615.43 schema:affiliation grid-institutes:grid.10267.32
116 schema:familyName Šafránek
117 schema:givenName David
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011410250615.43
119 rdf:type schema:Person
120 sg:person.01252343037.80 schema:affiliation grid-institutes:grid.10267.32
121 schema:familyName Vejpustek
122 schema:givenName Tomáš
123 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01252343037.80
124 rdf:type schema:Person
125 sg:person.013614147255.44 schema:affiliation grid-institutes:grid.10267.32
126 schema:familyName Troják
127 schema:givenName Matej
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013614147255.44
129 rdf:type schema:Person
130 sg:person.016130263073.10 schema:affiliation grid-institutes:grid.10267.32
131 schema:familyName Pastva
132 schema:givenName Samuel
133 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016130263073.10
134 rdf:type schema:Person
135 sg:person.016566512611.71 schema:affiliation grid-institutes:grid.10267.32
136 schema:familyName Demko
137 schema:givenName Martin
138 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566512611.71
139 rdf:type schema:Person
140 sg:person.0645117057.83 schema:affiliation grid-institutes:grid.10267.32
141 schema:familyName Brim
142 schema:givenName Luboš
143 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
144 rdf:type schema:Person
145 grid-institutes:grid.10267.32 schema:alternateName Faculty of Informatics, Masaryk University, Brno, Czech Republic
146 schema:name Faculty of Informatics, Masaryk University, Brno, Czech Republic
147 rdf:type schema:Organization
 




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


...