Detail výsledku

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters

ČEŠKA, M.; ČEŠKA, M.; PAOLETTI, N. Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. In Proceedings of 16th International Conference on Computer Aided Systems Theory. LNCS volume 10672. Heidelberg: Springer Verlag, 2017. p. 38-46. ISBN: 978-3-319-74726-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D., UITS (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Paoletti Nicola, FIT (FIT)
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

Rok
2017
Strany
38–46
Sborník
Proceedings of 16th International Conference on Computer Aided Systems Theory
Řada
LNCS volume 10672
Konference
Sixteenth International Conference on Computer Aided Systems Theory
ISBN
978-3-319-74726-2
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-74727-9_5
UT WoS
000531202800005
EID Scopus
2-s2.0-85041730501
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"
}
Projekty
Efektivní automaty pro formální rozhodování, GAČR, Juniorské granty, GJ16-24707Y, zahájení: 2016-01-01, ukončení: 2018-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru