Components in Probabilistic Systems: Suitable by Construction.

Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl

doi:10.1007/978-3-030-61362-4_13

Components in Probabilistic Systems: Suitable by Construction.

Christel Baier
, Clemens Dubslaff
, Holger Hermanns
, Michaela Klauck
, Sascha Klüppelholz
, Maximilian A. Köhl

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Pages	240-261
Number of pages	22
DOIs	https://doi.org/10.1007/978-3-030-61362-4_13
Publication status	Published - 2020
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12476 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Funding

Key-Area Research and Development Program Funding numbers: 2018B010107004

Funders	Funder number
European Union's Horizon 2020 - Research and Innovation Framework Programme	695614

Access to Document

10.1007/978-3-030-61362-4_13

Cite this

Baier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S., & Köhl, M. A. (2020). Components in Probabilistic Systems: Suitable by Construction. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 240-261). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12476 LNCS). https://doi.org/10.1007/978-3-030-61362-4_13

Baier, Christel ; Dubslaff, Clemens ; Hermanns, Holger et al. / Components in Probabilistic Systems: Suitable by Construction. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. 2020. pp. 240-261 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{efab71d1235a49edaf588723432886f7,

title = "Components in Probabilistic Systems: Suitable by Construction.",

abstract = "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.",

author = "Christel Baier and Clemens Dubslaff and Holger Hermanns and Michaela Klauck and Sascha Kl{\"u}ppelholz and K{\"o}hl, \{Maximilian A.\}",

year = "2020",

doi = "10.1007/978-3-030-61362-4\_13",

language = "English",

isbn = "9783030613617",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "240--261",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

}

Baier, C, Dubslaff, C, Hermanns, H, Klauck, M, Klüppelholz, S & Köhl, MA 2020, Components in Probabilistic Systems: Suitable by Construction. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12476 LNCS, pp. 240-261. https://doi.org/10.1007/978-3-030-61362-4_13

Components in Probabilistic Systems: Suitable by Construction. / Baier, Christel; Dubslaff, Clemens; Hermanns, Holger et al.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. 2020. p. 240-261 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12476 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Components in Probabilistic Systems: Suitable by Construction.

AU - Baier, Christel

AU - Dubslaff, Clemens

AU - Hermanns, Holger

AU - Klauck, Michaela

AU - Klüppelholz, Sascha

AU - Köhl, Maximilian A.

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85097395454

U2 - 10.1007/978-3-030-61362-4_13

DO - 10.1007/978-3-030-61362-4_13

M3 - Conference contribution

SN - 9783030613617

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 240

EP - 261

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

ER -

Baier C, Dubslaff C, Hermanns H, Klauck M, Klüppelholz S, Köhl MA. Components in Probabilistic Systems: Suitable by Construction. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. 2020. p. 240-261. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-61362-4_13

Components in Probabilistic Systems: Suitable by Construction.

Abstract

Publication series

Funding

Access to Document

Other files and links

Fingerprint

Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"

Cite this

Components in Probabilistic Systems: Suitable by Construction.

Abstract

Publication series

Funding

Access to Document

Other files and links

Fingerprint

Datasets

Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction"

Cite this