Components in Probabilistic Systems: Suitable by Construction

From International Center for Computational Logic

Toggle side column

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
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
  • 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: Algebraische und logische Grundlagen der InformatikAlgebraic 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}
}