Components in Probabilistic Systems: Suitable by Construction

Christel BaierChristel Baier, Clemens DubslaffClemens Dubslaff, Holger HermannsHolger Hermanns, Michaela KlauckMichaela Klauck, Sascha KlüppelholzSascha Klüppelholz, Maximilian A. KöhlMaximilian A. Köhl

DOI Link

Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Components in Probabilistic Systems: Suitable by Construction
Proc. of 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), Part I, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, volume 12476 of Lecture Notes in Computer Science, 240--261, 2020. Springer

Details
Bibtex

KurzfassungAbstract
This paper focusses on the question when and to what extent a particular system component can be considered suitable to use in the context of the dynamics of a larger technical system. We introduce different notions of suitability that arise naturally in the context of probabilistic nondeterministic systems that interact through the exchange of messages in the style of input-output automata. Besides discussing algorithmic aspects for an analysis following our notions of suitability, we demonstrate practical usability of our concepts by means of experiments on a concrete use case.
Forschungsgruppe:Research Group: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Algebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-61362-4_13.

@inproceedings{BDHKKK2020,
  author    = {Christel Baier and Clemens Dubslaff and Holger Hermanns and
               Michaela Klauck and Sascha Kl{\"{u}}ppelholz and Maximilian A.
               K{\"{o}}hl},
  title     = {Components in Probabilistic Systems: Suitable by Construction},
  booktitle = {Proc. of 9th International Symposium on Leveraging Applications
               of Formal Methods (ISoLA), Part I, Leveraging Applications of
               Formal Methods, Verification and Validation: Verification
               Principles},
  series    = {Lecture Notes in Computer Science},
  volume    = {12476},
  publisher = {Springer},
  year      = {2020},
  pages     = {240--261},
  doi       = {10.1007/978-3-030-61362-4_13}
}