Document Open Access Logo

Parameter synthesis for probabilistic real-time systems (Invited Paper)

Author Marta Kwiatkowska

PDF

File

Thumbnail PDF
PDF
OASIcs.SynCoP.2015.16.pdf
  • Filesize: 265 kB
  • 1 pages

Document Identifiers

Subject Classification

Keywords
  • Quantitative verification
  • Timed automata
  • Parameter synthesis

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

The parameter synthesis problem aims to find parameter valuations that guarantee that a given objective is satisfied for a parametric model. Applications range from automated model repair to optimisation. This lecture will focus on models with probability and real-time and give an overview of recent results concerning parameter synthesis from quantitative temporal logic objectives. Existing algorithmic approaches and experimental results will be discussed, and future research challenges outlined.

Cite As Get BibTex

Marta Kwiatkowska. Parameter synthesis for probabilistic real-time systems (Invited Paper). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, p. 16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015) https://doi.org/10.4230/OASIcs.SynCoP.2015.16

Author Details

Marta Kwiatkowska

References

  1. Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, and Nicola Paoletti. Precise parameter synthesis for stochastic biochemical systems. In Pedro Mendes, Joseph O. Dada, and Kieran Smallbone, editors, Proceedings of the 12th International Conference in Computational Methods in Systems Biology (CMSB 2014), volume 8859 of Lecture Notes in Computer Science, pages 86-98. Springer, 2014. Google Scholar
  2. Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, and Alexandru Mereacre. Synthesising optimal timing delays for timed I/O automata. In Tulika Mitra and Jan Reineke, editors, Proceedings of the 14th International Conference on Embedded Software (EMSOFT 2014), pages 16:1-16:10. ACM, 2014. Google Scholar
  3. Aleksandra Jovanović and Marta Z. Kwiatkowska. Parameter synthesis for probabilistic timed automata using stochastic game abstractions. In Joël Ouaknine, Igor Potapov, and James Worrell, editors, Proceedings of the 8th International Workshop on Reachability Problems (RP 2014), volume 8762 of Lecture Notes in Computer Science, pages 176-189. Springer, 2014. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact