RODES: A Robust-Design Synthesis Tool for Probabilistic Systems View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2017-08-11

AUTHORS

Radu Calinescu , Milan Češka , Simos Gerasimou , Marta Kwiatkowska , Nicola Paoletti

ABSTRACT

We introduce RODES – a tool for the synthesis of probabilistic systems that satisfy strict reliability and performance requirements, are Pareto-optimal with respect to a set of optimisation objectives, and are robust to variations in the system parameters. Given the design space of a system (modelled as a parametric continuous-time Markov chain), RODES generates system designs with low sensitivity to required tolerance levels for the system parameters. As such, RODES can be used to identify and compare robust designs across a wide range of Pareto-optimal tradeoffs between the system optimisation objectives. More... »

PAGES

304-308

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-66335-7_20

DOI

http://dx.doi.org/10.1007/978-3-319-66335-7_20

DIMENSIONS

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


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/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/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/0103", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Numerical and Computational Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of York, York, UK", 
          "id": "http://www.grid.ac/institutes/grid.5685.e", 
          "name": [
            "Department of Computer Science, University of York, York, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Calinescu", 
        "givenName": "Radu", 
        "id": "sg:person.014027160143.21", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014027160143.21"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.4994.0", 
          "name": [
            "Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u010ce\u0161ka", 
        "givenName": "Milan", 
        "id": "sg:person.016652663056.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of York, York, UK", 
          "id": "http://www.grid.ac/institutes/grid.5685.e", 
          "name": [
            "Department of Computer Science, University of York, York, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Gerasimou", 
        "givenName": "Simos", 
        "id": "sg:person.010067401027.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010067401027.02"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Department of Computer Science, University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kwiatkowska", 
        "givenName": "Marta", 
        "id": "sg:person.011375012273.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Stony Brook University, Stony Brook, USA", 
          "id": "http://www.grid.ac/institutes/grid.36425.36", 
          "name": [
            "Department of Computer Science, Stony Brook University, Stony Brook, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Paoletti", 
        "givenName": "Nicola", 
        "id": "sg:person.014036566653.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2017-08-11", 
    "datePublishedReg": "2017-08-11", 
    "description": "We introduce RODES \u2013 a tool for the synthesis of probabilistic systems that satisfy strict reliability and performance requirements, are Pareto-optimal with respect to a set of optimisation objectives, and are robust to variations in the system parameters. Given the design space of a system (modelled as a parametric continuous-time Markov chain), RODES generates system designs with low sensitivity to required tolerance levels for the system parameters. As such, RODES can be used to identify and compare robust designs across a wide range of Pareto-optimal tradeoffs between the system optimisation objectives.", 
    "editor": [
      {
        "familyName": "Bertrand", 
        "givenName": "Nathalie", 
        "type": "Person"
      }, 
      {
        "familyName": "Bortolussi", 
        "givenName": "Luca", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-66335-7_20", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-319-66334-0", 
        "978-3-319-66335-7"
      ], 
      "name": "Quantitative Evaluation of Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "optimization objective", 
      "Pareto-optimal tradeoffs", 
      "system parameters", 
      "system optimization objectives", 
      "probabilistic systems", 
      "RODES", 
      "strict reliability", 
      "robust design", 
      "design space", 
      "performance requirements", 
      "Pareto", 
      "synthesis tools", 
      "system", 
      "space", 
      "parameters", 
      "tradeoff", 
      "set", 
      "tool", 
      "wide range", 
      "reliability", 
      "objective", 
      "design", 
      "tolerance level", 
      "respect", 
      "requirements", 
      "variation", 
      "range", 
      "low sensitivity", 
      "sensitivity", 
      "levels", 
      "synthesis", 
      "Robust-Design Synthesis Tool"
    ], 
    "name": "RODES: A Robust-Design Synthesis Tool for Probabilistic Systems", 
    "pagination": "304-308", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1091116656"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-66335-7_20"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-66335-7_20", 
      "https://app.dimensions.ai/details/publication/pub.1091116656"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T19:57", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_164.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-66335-7_20"
  }
]
 

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-66335-7_20'

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-66335-7_20'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-66335-7_20'

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-66335-7_20'


 

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

138 TRIPLES      23 PREDICATES      58 URIs      50 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-66335-7_20 schema:about anzsrc-for:01
2 anzsrc-for:0102
3 anzsrc-for:0103
4 schema:author N34d76cb6f9e6495aa1da64e6af16be60
5 schema:datePublished 2017-08-11
6 schema:datePublishedReg 2017-08-11
7 schema:description We introduce RODES – a tool for the synthesis of probabilistic systems that satisfy strict reliability and performance requirements, are Pareto-optimal with respect to a set of optimisation objectives, and are robust to variations in the system parameters. Given the design space of a system (modelled as a parametric continuous-time Markov chain), RODES generates system designs with low sensitivity to required tolerance levels for the system parameters. As such, RODES can be used to identify and compare robust designs across a wide range of Pareto-optimal tradeoffs between the system optimisation objectives.
8 schema:editor N2e0803f2348548ea87cfa0dfd6ee8a4d
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf N3e4e2bc27ad74562ad07e6caa06beab7
13 schema:keywords Pareto
14 Pareto-optimal tradeoffs
15 RODES
16 Robust-Design Synthesis Tool
17 design
18 design space
19 levels
20 low sensitivity
21 objective
22 optimization objective
23 parameters
24 performance requirements
25 probabilistic systems
26 range
27 reliability
28 requirements
29 respect
30 robust design
31 sensitivity
32 set
33 space
34 strict reliability
35 synthesis
36 synthesis tools
37 system
38 system optimization objectives
39 system parameters
40 tolerance level
41 tool
42 tradeoff
43 variation
44 wide range
45 schema:name RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
46 schema:pagination 304-308
47 schema:productId N0ffe773836634653bd10b21e231d2c04
48 N184ef303320d4173bdfb9b26e2375cb1
49 schema:publisher Nc43fd9f7fa064540bf6cc3fbf5b357ad
50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091116656
51 https://doi.org/10.1007/978-3-319-66335-7_20
52 schema:sdDatePublished 2021-12-01T19:57
53 schema:sdLicense https://scigraph.springernature.com/explorer/license/
54 schema:sdPublisher Nc2c3148a1df243bc8e1421a512e01d27
55 schema:url https://doi.org/10.1007/978-3-319-66335-7_20
56 sgo:license sg:explorer/license/
57 sgo:sdDataset chapters
58 rdf:type schema:Chapter
59 N01425cca223d4466b3d0bd2a3d1d1446 rdf:first sg:person.010067401027.02
60 rdf:rest Nb422baf3f1474bad89d4f51c675854f1
61 N0ffe773836634653bd10b21e231d2c04 schema:name doi
62 schema:value 10.1007/978-3-319-66335-7_20
63 rdf:type schema:PropertyValue
64 N184ef303320d4173bdfb9b26e2375cb1 schema:name dimensions_id
65 schema:value pub.1091116656
66 rdf:type schema:PropertyValue
67 N2158a1edab204512ad01ec14490c0266 rdf:first sg:person.014036566653.01
68 rdf:rest rdf:nil
69 N2e0803f2348548ea87cfa0dfd6ee8a4d rdf:first N68129a71b4b44315a2d75e7ff677f8dd
70 rdf:rest N6564768bf40541839a1ac1f27499a540
71 N34d76cb6f9e6495aa1da64e6af16be60 rdf:first sg:person.014027160143.21
72 rdf:rest N3bd34694d23f47698683135a639c238b
73 N3bd34694d23f47698683135a639c238b rdf:first sg:person.016652663056.36
74 rdf:rest N01425cca223d4466b3d0bd2a3d1d1446
75 N3e4e2bc27ad74562ad07e6caa06beab7 schema:isbn 978-3-319-66334-0
76 978-3-319-66335-7
77 schema:name Quantitative Evaluation of Systems
78 rdf:type schema:Book
79 N6564768bf40541839a1ac1f27499a540 rdf:first N73134354220a4da7b1570359a4f2075a
80 rdf:rest rdf:nil
81 N68129a71b4b44315a2d75e7ff677f8dd schema:familyName Bertrand
82 schema:givenName Nathalie
83 rdf:type schema:Person
84 N73134354220a4da7b1570359a4f2075a schema:familyName Bortolussi
85 schema:givenName Luca
86 rdf:type schema:Person
87 Nb422baf3f1474bad89d4f51c675854f1 rdf:first sg:person.011375012273.39
88 rdf:rest N2158a1edab204512ad01ec14490c0266
89 Nc2c3148a1df243bc8e1421a512e01d27 schema:name Springer Nature - SN SciGraph project
90 rdf:type schema:Organization
91 Nc43fd9f7fa064540bf6cc3fbf5b357ad schema:name Springer Nature
92 rdf:type schema:Organisation
93 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
94 schema:name Mathematical Sciences
95 rdf:type schema:DefinedTerm
96 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
97 schema:name Applied Mathematics
98 rdf:type schema:DefinedTerm
99 anzsrc-for:0103 schema:inDefinedTermSet anzsrc-for:
100 schema:name Numerical and Computational Mathematics
101 rdf:type schema:DefinedTerm
102 sg:person.010067401027.02 schema:affiliation grid-institutes:grid.5685.e
103 schema:familyName Gerasimou
104 schema:givenName Simos
105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010067401027.02
106 rdf:type schema:Person
107 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
108 schema:familyName Kwiatkowska
109 schema:givenName Marta
110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
111 rdf:type schema:Person
112 sg:person.014027160143.21 schema:affiliation grid-institutes:grid.5685.e
113 schema:familyName Calinescu
114 schema:givenName Radu
115 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014027160143.21
116 rdf:type schema:Person
117 sg:person.014036566653.01 schema:affiliation grid-institutes:grid.36425.36
118 schema:familyName Paoletti
119 schema:givenName Nicola
120 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01
121 rdf:type schema:Person
122 sg:person.016652663056.36 schema:affiliation grid-institutes:grid.4994.0
123 schema:familyName Češka
124 schema:givenName Milan
125 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016652663056.36
126 rdf:type schema:Person
127 grid-institutes:grid.36425.36 schema:alternateName Department of Computer Science, Stony Brook University, Stony Brook, USA
128 schema:name Department of Computer Science, Stony Brook University, Stony Brook, USA
129 rdf:type schema:Organization
130 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, Oxford, UK
131 schema:name Department of Computer Science, University of Oxford, Oxford, UK
132 rdf:type schema:Organization
133 grid-institutes:grid.4994.0 schema:alternateName Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic
134 schema:name Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic
135 rdf:type schema:Organization
136 grid-institutes:grid.5685.e schema:alternateName Department of Computer Science, University of York, York, UK
137 schema:name Department of Computer Science, University of York, York, UK
138 rdf:type schema:Organization
 




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


...