Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ČEŠKA, M. ČEŠKA, M. PAOLETTI, N.
Originální název
Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
We consider the problem of synthesising parameters affecting transition rates and probabilities in generalised Stochastic Petri Nets (GSPNs). Given a time-bounded property expressed as a probabilisitic temporal logic formula, our method allows computing the parameters values for which the probability of satisfying the property meets a given bound, or is optimised. We develop algorithms based on reducing the parameter synthesis problem for GSPNs to the corresponding problem for continuous-time Markov Chains (CTMCs), for which we can leverage existing synthesis algorithms, while retaining the modelling capabilities and expressive power of GSPNs. We evaluate the usefulness of our approach by synthesising parameters for two case studies.
Klíčová slova
parameter synthesis Stochastic Petri Nets continuous-time Markov Chains tmeporal logic
Autoři
ČEŠKA, M.; ČEŠKA, M.; PAOLETTI, N.
Vydáno
25. 2. 2017
Nakladatel
Springer Verlag
Místo
Heidelberg
ISBN
978-3-319-74726-2
Kniha
Proceedings of 16th International Conference on Computer Aided Systems Theory
Edice
LNCS volume 10672
Strany od
38
Strany do
46
Strany počet
9
BibTex
@inproceedings{BUT146256, author="Milan {Češka} and Milan {Češka} and Nicola {Paoletti}", title="Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters", booktitle="Proceedings of 16th International Conference on Computer Aided Systems Theory", year="2017", series="LNCS volume 10672", pages="38--46", publisher="Springer Verlag", address="Heidelberg", doi="10.1007/978-3-319-74727-9\{_}5", isbn="978-3-319-74726-2" }