Detail publikačního výsledku

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters

ČEŠKA, M.; ČEŠKA, M.; PAOLETTI, N.

Originální název

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters

Anglický název

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters

Druh

Stať ve sborníku v databázi WoS či Scopus

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.

Anglický 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

Klíčová slova v angličtině

parameter synthesis
Stochastic Petri Nets
continuous-time Markov Chains
tmeporal logic

Autoři

ČEŠKA, M.; ČEŠKA, M.; PAOLETTI, N.

Rok RIV

2018

Vydáno

25.02.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 Generalised Stochastic Petri Nets with Interval 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"
}