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

Author Marta Kwiatkowska



PDF
Thumbnail PDF

File

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

Document Identifiers

Author Details

Marta Kwiatkowska

Cite AsGet 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

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.
Keywords
  • Quantitative verification
  • Timed automata
  • Parameter synthesis

Metrics

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

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