DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
| dc.contributor.author | Hajnal, Matej | |
| dc.contributor.author | Šafránek, David | |
| dc.contributor.author | Petrov, Tatjana | |
| dc.date.accessioned | 2022-03-17T11:23:26Z | |
| dc.date.available | 2022-03-17T11:23:26Z | |
| dc.date.issued | 2021 | eng |
| dc.description.abstract | We present a tool for inferring the parameters of a Discrete-time Markov chain (DTMC) with respect to properties written in probabilistic temporal logic (PCTL) informed by data observations. The tool combines, in a modular and user-friendly way, the existing methods and tools for parameter synthesis of DTMCs. On top of this, the tool implements several hybrid methods for the exploration of the parameter space based on utilising the intermediate results of parametric model checking – the symbolic representation of properties’ satisfaction in the form of rational functions. These methods are combined to support three different parameter exploration methods: (i) optimisation, (ii) parameter synthesis, (iii) Bayesian parameter inference. Each of the available methods makes a different trade-off between scalability and inference quality, which can be chosen by the user depending on the application context. In this paper, we present the implementation, the main features of the tool, and we evaluate its performance on several benchmarks. | eng |
| dc.description.version | published | eng |
| dc.identifier.doi | 10.1007/978-3-030-91825-5_5 | eng |
| dc.identifier.uri | https://kops.uni-konstanz.de/handle/123456789/56906 | |
| dc.language.iso | eng | eng |
| dc.rights | terms-of-use | |
| dc.rights.uri | https://rightsstatements.org/page/InC/1.0/ | |
| dc.subject.ddc | 004 | eng |
| dc.title | DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications | eng |
| dc.type | INPROCEEDINGS | eng |
| dspace.entity.type | Publication | |
| kops.citation.bibtex | @inproceedings{Hajnal2021DataI-56906,
year={2021},
doi={10.1007/978-3-030-91825-5_5},
title={DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications},
number={13104},
isbn={978-3-030-91824-8},
issn={0302-9743},
publisher={Springer},
address={Cham},
series={Lecture Notes in Computer Science},
booktitle={Performance Engineering and Stochastic Modeling : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings},
pages={79--95},
editor={Ballarini, Paolo and Castel, Hind and Dimitriou, Ioannis},
author={Hajnal, Matej and Šafránek, David and Petrov, Tatjana}
} | |
| kops.citation.iso690 | HAJNAL, Matej, David ŠAFRÁNEK, Tatjana PETROV, 2021. DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. EPEW: European Workshop on Performance Engineering; ASMTA: International Conference on Analytical and Stochastic Modeling Techniques and Applications. virtual event, 9. Dez. 2021 - 14. Dez. 2021. In: BALLARINI, Paolo, ed., Hind CASTEL, ed., Ioannis DIMITRIOU, ed. and others. Performance Engineering and Stochastic Modeling : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings. Cham: Springer, 2021, pp. 79-95. Lecture Notes in Computer Science. 13104. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-91824-8. Available under: doi: 10.1007/978-3-030-91825-5_5 | deu |
| kops.citation.iso690 | HAJNAL, Matej, David ŠAFRÁNEK, Tatjana PETROV, 2021. DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. EPEW: European Workshop on Performance Engineering; ASMTA: International Conference on Analytical and Stochastic Modeling Techniques and Applications. virtual event, Dec 9, 2021 - Dec 14, 2021. In: BALLARINI, Paolo, ed., Hind CASTEL, ed., Ioannis DIMITRIOU, ed. and others. Performance Engineering and Stochastic Modeling : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings. Cham: Springer, 2021, pp. 79-95. Lecture Notes in Computer Science. 13104. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-91824-8. Available under: doi: 10.1007/978-3-030-91825-5_5 | eng |
| kops.citation.rdf | <rdf:RDF
xmlns:dcterms="http://purl.org/dc/terms/"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:bibo="http://purl.org/ontology/bibo/"
xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:void="http://rdfs.org/ns/void#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#" >
<rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/56906">
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dc:contributor>Šafránek, David</dc:contributor>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56906"/>
<dcterms:title>DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications</dcterms:title>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-17T11:23:26Z</dcterms:available>
<dc:rights>terms-of-use</dc:rights>
<dcterms:abstract xml:lang="eng">We present a tool for inferring the parameters of a Discrete-time Markov chain (DTMC) with respect to properties written in probabilistic temporal logic (PCTL) informed by data observations. The tool combines, in a modular and user-friendly way, the existing methods and tools for parameter synthesis of DTMCs. On top of this, the tool implements several hybrid methods for the exploration of the parameter space based on utilising the intermediate results of parametric model checking – the symbolic representation of properties’ satisfaction in the form of rational functions. These methods are combined to support three different parameter exploration methods: (i) optimisation, (ii) parameter synthesis, (iii) Bayesian parameter inference. Each of the available methods makes a different trade-off between scalability and inference quality, which can be chosen by the user depending on the application context. In this paper, we present the implementation, the main features of the tool, and we evaluate its performance on several benchmarks.</dcterms:abstract>
<dc:creator>Hajnal, Matej</dc:creator>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/43615"/>
<dcterms:issued>2021</dcterms:issued>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<dc:creator>Šafránek, David</dc:creator>
<dc:creator>Petrov, Tatjana</dc:creator>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/43615"/>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-17T11:23:26Z</dc:date>
<dc:language>eng</dc:language>
<dc:contributor>Hajnal, Matej</dc:contributor>
<dc:contributor>Petrov, Tatjana</dc:contributor>
</rdf:Description>
</rdf:RDF> | |
| kops.conferencefield | EPEW: European Workshop on Performance Engineering; ASMTA: International Conference on Analytical and Stochastic Modeling Techniques and Applications, 9. Dez. 2021 - 14. Dez. 2021, virtual event | deu |
| kops.date.conferenceEnd | 2021-12-14 | eng |
| kops.date.conferenceStart | 2021-12-09 | eng |
| kops.flag.knbibliography | true | |
| kops.location.conference | virtual event | eng |
| kops.sourcefield | BALLARINI, Paolo, ed., Hind CASTEL, ed., Ioannis DIMITRIOU, ed. and others. <i>Performance Engineering and Stochastic Modeling : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings</i>. Cham: Springer, 2021, pp. 79-95. Lecture Notes in Computer Science. 13104. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-91824-8. Available under: doi: 10.1007/978-3-030-91825-5_5 | deu |
| kops.sourcefield.plain | BALLARINI, Paolo, ed., Hind CASTEL, ed., Ioannis DIMITRIOU, ed. and others. Performance Engineering and Stochastic Modeling : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings. Cham: Springer, 2021, pp. 79-95. Lecture Notes in Computer Science. 13104. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-91824-8. Available under: doi: 10.1007/978-3-030-91825-5_5 | deu |
| kops.sourcefield.plain | BALLARINI, Paolo, ed., Hind CASTEL, ed., Ioannis DIMITRIOU, ed. and others. Performance Engineering and Stochastic Modeling : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings. Cham: Springer, 2021, pp. 79-95. Lecture Notes in Computer Science. 13104. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-91824-8. Available under: doi: 10.1007/978-3-030-91825-5_5 | eng |
| kops.title.conference | EPEW: European Workshop on Performance Engineering; ASMTA: International Conference on Analytical and Stochastic Modeling Techniques and Applications | eng |
| relation.isAuthorOfPublication | 2a8335fb-b010-482e-813a-6a2678ba773a | |
| relation.isAuthorOfPublication | 964fc3ea-29ed-442f-af03-c8fe8f5df0bc | |
| relation.isAuthorOfPublication.latestForDiscovery | 2a8335fb-b010-482e-813a-6a2678ba773a | |
| source.bibliographicInfo.fromPage | 79 | eng |
| source.bibliographicInfo.seriesNumber | 13104 | eng |
| source.bibliographicInfo.toPage | 95 | eng |
| source.contributor.editor | Ballarini, Paolo | |
| source.contributor.editor | Castel, Hind | |
| source.contributor.editor | Dimitriou, Ioannis | |
| source.flag.etalEditor | true | eng |
| source.identifier.eissn | 1611-3349 | eng |
| source.identifier.isbn | 978-3-030-91824-8 | eng |
| source.identifier.issn | 0302-9743 | eng |
| source.publisher | Springer | eng |
| source.publisher.location | Cham | eng |
| source.relation.ispartofseries | Lecture Notes in Computer Science | eng |
| source.title | Performance Engineering and Stochastic Modeling : 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings | eng |