KOPS - The Institutional Repository of the University of Konstanz

DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications

DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

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, pp. 79-95. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-91824-8. Available under: doi: 10.1007/978-3-030-91825-5_5

@inproceedings{Hajnal2021DataI-56906, title={DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications}, year={2021}, doi={10.1007/978-3-030-91825-5_5}, number={13104}, isbn={978-3-030-91824-8}, issn={0302-9743}, address={Cham}, publisher={Springer}, 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} }

<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/rdf/resource/123456789/56906"> <dc:creator>Petrov, Tatjana</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-17T11:23:26Z</dcterms:available> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/56906"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-03-17T11:23:26Z</dc:date> <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:rights>terms-of-use</dc:rights> <dcterms:issued>2021</dcterms:issued> <dc:contributor>Hajnal, Matej</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:title>DiPS : A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications</dcterms:title> <dc:language>eng</dc:language> <dc:creator>Hajnal, Matej</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Šafránek, David</dc:creator> <dc:contributor>Šafránek, David</dc:contributor> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/43615"/> <dc:contributor>Petrov, Tatjana</dc:contributor> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/43615"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account