---
_id: '34532'
abstract:
- lang: eng
  text: <jats:p>This report presents the results of a friendly competition for formal
    verification and policy synthesis of stochastic models. It also introduces new
    benchmarks and their properties within this category and recommends next steps
    for this category towards next year’s edition of the competition. In comparison
    with tools on non-probabilistic models, the tools for stochastic models are at
    the early stages of development that do not allow full competition on a standard
    set of benchmarks. We report on an initiative to collect a set of minimal benchmarks
    that all such tools can run, thus facilitating the comparison between efficiency
    of the implemented techniques. The friendly competition took place as part of
    the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in
    Summer 2022.</jats:p>
author:
- first_name: Alessandro
  full_name: Abate, Alessandro
  last_name: Abate
- first_name: Henk
  full_name: Blom, Henk
  last_name: Blom
- first_name: Joanna
  full_name: Delicaris, Joanna
  last_name: Delicaris
- first_name: Sofie
  full_name: Haesaert, Sofie
  last_name: Haesaert
- first_name: Arnd
  full_name: Hartmanns, Arnd
  last_name: Hartmanns
- first_name: Birgit
  full_name: van Huijgevoort, Birgit
  last_name: van Huijgevoort
- first_name: Abolfazl
  full_name: Lavaei, Abolfazl
  last_name: Lavaei
- first_name: Hao
  full_name: Ma, Hao
  last_name: Ma
- first_name: Mathis
  full_name: Niehage, Mathis
  last_name: Niehage
- first_name: Anne
  full_name: Remke, Anne
  last_name: Remke
- first_name: Oliver
  full_name: Schön, Oliver
  last_name: Schön
- first_name: Stefan
  full_name: Schupp, Stefan
  last_name: Schupp
- first_name: Sadegh
  full_name: Soudjani, Sadegh
  last_name: Soudjani
- first_name: Lisa
  full_name: Willemsen, Lisa
  last_name: Willemsen
citation:
  ama: 'Abate A, Blom H, Delicaris J, et al. ARCH-COMP22 Category Report: Stochastic
    Models. In: <i>EPiC Series in Computing</i>. EasyChair; 2022. doi:<a href="https://doi.org/10.29007/lsvc">10.29007/lsvc</a>'
  apa: 'Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort,
    B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani,
    S., &#38; Willemsen, L. (2022). ARCH-COMP22 Category Report: Stochastic Models.
    <i>EPiC Series in Computing</i>. <a href="https://doi.org/10.29007/lsvc">https://doi.org/10.29007/lsvc</a>'
  bibtex: '@inproceedings{Abate_Blom_Delicaris_Haesaert_Hartmanns_van Huijgevoort_Lavaei_Ma_Niehage_Remke_et
    al._2022, title={ARCH-COMP22 Category Report: Stochastic Models}, DOI={<a href="https://doi.org/10.29007/lsvc">10.29007/lsvc</a>},
    booktitle={EPiC Series in Computing}, publisher={EasyChair}, author={Abate, Alessandro
    and Blom, Henk and Delicaris, Joanna and Haesaert, Sofie and Hartmanns, Arnd and
    van Huijgevoort, Birgit and Lavaei, Abolfazl and Ma, Hao and Niehage, Mathis and
    Remke, Anne and et al.}, year={2022} }'
  chicago: 'Abate, Alessandro, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns,
    Birgit van Huijgevoort, Abolfazl Lavaei, et al. “ARCH-COMP22 Category Report:
    Stochastic Models.” In <i>EPiC Series in Computing</i>. EasyChair, 2022. <a href="https://doi.org/10.29007/lsvc">https://doi.org/10.29007/lsvc</a>.'
  ieee: 'A. Abate <i>et al.</i>, “ARCH-COMP22 Category Report: Stochastic Models,”
    2022, doi: <a href="https://doi.org/10.29007/lsvc">10.29007/lsvc</a>.'
  mla: 'Abate, Alessandro, et al. “ARCH-COMP22 Category Report: Stochastic Models.”
    <i>EPiC Series in Computing</i>, EasyChair, 2022, doi:<a href="https://doi.org/10.29007/lsvc">10.29007/lsvc</a>.'
  short: 'A. Abate, H. Blom, J. Delicaris, S. Haesaert, A. Hartmanns, B. van Huijgevoort,
    A. Lavaei, H. Ma, M. Niehage, A. Remke, O. Schön, S. Schupp, S. Soudjani, L. Willemsen,
    in: EPiC Series in Computing, EasyChair, 2022.'
date_created: 2022-12-18T10:56:01Z
date_updated: 2022-12-18T10:56:21Z
department:
- _id: '675'
doi: 10.29007/lsvc
language:
- iso: eng
publication: EPiC Series in Computing
publication_identifier:
  issn:
  - 2398-7340
publication_status: published
publisher: EasyChair
status: public
title: 'ARCH-COMP22 Category Report: Stochastic Models'
type: conference
user_id: '55553'
year: '2022'
...
---
_id: '26973'
abstract:
- lang: eng
  text: Self-optimizing mechatronic systems allow the adaptation of the system’s behavior
    to the current situation. This can be used to actively adapt the behavior to the
    current degradation state of the system or of some of its components. To this
    end, the Multi-Level Dependability Concept has been developed. In this contribution,
    we show how the Multi-Level Dependability Concept has been applied to the active
    suspension module of an innovative rail-bound vehicle. For this module, the usage
    of control reconfiguration, which is a novel approach to exploit complex redundancy
    systems, is required. We show that by combining self-optimization with the possibilities
    given by control reconfiguration, the dependability of a complex mechatronic system
    can be greatly improved.
author:
- first_name: Tobias
  full_name: Meyer, Tobias
  last_name: Meyer
- first_name: Jan Henning
  full_name: Kessler, Jan Henning
  last_name: Kessler
- first_name: Walter
  full_name: Sextro, Walter
  id: '21220'
  last_name: Sextro
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  ama: 'Meyer T, Kessler JH, Sextro W, Trächtler A. Increasing Intelligent Systems’
    Reliability by using Reconfiguration. In: <i>The Annual Reliability and Maintainability
    Symposium (RAMS)</i>. ; 2013.'
  apa: Meyer, T., Kessler, J. H., Sextro, W., &#38; Trächtler, A. (2013). Increasing
    Intelligent Systems’ Reliability by using Reconfiguration. <i>The Annual Reliability
    and Maintainability Symposium (RAMS)</i>.
  bibtex: '@inproceedings{Meyer_Kessler_Sextro_Trächtler_2013, title={Increasing Intelligent
    Systems’ Reliability by using Reconfiguration}, booktitle={The Annual Reliability
    and Maintainability Symposium (RAMS)}, author={Meyer, Tobias and Kessler, Jan
    Henning and Sextro, Walter and Trächtler, Ansgar}, year={2013} }'
  chicago: Meyer, Tobias, Jan Henning Kessler, Walter Sextro, and Ansgar Trächtler.
    “Increasing Intelligent Systems’ Reliability by Using Reconfiguration.” In <i>The
    Annual Reliability and Maintainability Symposium (RAMS)</i>, 2013.
  ieee: T. Meyer, J. H. Kessler, W. Sextro, and A. Trächtler, “Increasing Intelligent
    Systems’ Reliability by using Reconfiguration,” 2013.
  mla: Meyer, Tobias, et al. “Increasing Intelligent Systems’ Reliability by Using
    Reconfiguration.” <i>The Annual Reliability and Maintainability Symposium (RAMS)</i>,
    2013.
  short: 'T. Meyer, J.H. Kessler, W. Sextro, A. Trächtler, in: The Annual Reliability
    and Maintainability Symposium (RAMS), 2013.'
date_created: 2021-10-27T10:55:46Z
date_updated: 2022-01-06T06:57:31Z
department:
- _id: '675'
language:
- iso: eng
publication: The Annual Reliability and Maintainability Symposium (RAMS)
status: public
title: Increasing Intelligent Systems’ Reliability by using Reconfiguration
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '26981'
author:
- first_name: Christoph
  full_name: Sondermann-Wölke, Christoph
  last_name: Sondermann-Wölke
- first_name: Walter
  full_name: Sextro, Walter
  id: '21220'
  last_name: Sextro
- first_name: Peter
  full_name: Reinold, Peter
  last_name: Reinold
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
citation:
  ama: "Sondermann-Wölke C, Sextro W, Reinold P, Trächtler A. Zuverlässigkeitsorientierte
    Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs. In: <i>Technische
    Zuverlässigkeit \x96TTZ</i>. ; 2011."
  apa: "Sondermann-Wölke, C., Sextro, W., Reinold, P., &#38; Trächtler, A. (2011).
    Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines
    X-by-wire-Fahrzeugs. <i>Technische Zuverlässigkeit \x96TTZ</i>."
  bibtex: "@inproceedings{Sondermann-Wölke_Sextro_Reinold_Trächtler_2011, title={Zuverlässigkeitsorientierte
    Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs}, booktitle={Technische
    Zuverlässigkeit \x96TTZ}, author={Sondermann-Wölke, Christoph and Sextro, Walter
    and Reinold, Peter and Trächtler, Ansgar}, year={2011} }"
  chicago: "Sondermann-Wölke, Christoph, Walter Sextro, Peter Reinold, and Ansgar
    Trächtler. “Zuverlässigkeitsorientierte Mehrzieloptimierung Zur Aktorrekonfiguration
    Eines X-by-Wire-Fahrzeugs.” In <i>Technische Zuverlässigkeit \x96TTZ</i>, 2011."
  ieee: C. Sondermann-Wölke, W. Sextro, P. Reinold, and A. Trächtler, “Zuverlässigkeitsorientierte
    Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs,” 2011.
  mla: "Sondermann-Wölke, Christoph, et al. “Zuverlässigkeitsorientierte Mehrzieloptimierung
    Zur Aktorrekonfiguration Eines X-by-Wire-Fahrzeugs.” <i>Technische Zuverlässigkeit
    \x96TTZ</i>, 2011."
  short: "C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische
    Zuverlässigkeit \x96TTZ, 2011."
date_created: 2021-10-27T11:04:55Z
date_updated: 2022-01-06T06:57:31Z
department:
- _id: '675'
language:
- iso: eng
publication: "Technische Zuverlässigkeit \x96TTZ"
status: public
title: Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines
  X-by-wire-Fahrzeugs
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26982'
author:
- first_name: Rafal
  full_name: Krol, Rafal
  last_name: Krol
citation:
  ama: Krol R. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle
    Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM)</i>.
    Vol Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band
    293; 2011.
  apa: 'Krol, R. (2011). <i>Eine Reduktionsmethode zur Ableitung elektromechanischer
    Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente-
    Methode (FEM): Vol. Band 293</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, Band 293.'
  bibtex: '@book{Krol_2011, title={Eine Reduktionsmethode zur Ableitung elektromechanischer
    Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente-
    Methode (FEM)}, volume={Band 293}, publisher={Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn, Band 293}, author={Krol, Rafal}, year={2011} }'
  chicago: Krol, Rafal. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer
    Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente-
    Methode (FEM)</i>. Vol. Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, Band 293, 2011.
  ieee: R. Krol, <i>Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle
    für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)</i>,
    vol. Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band
    293, 2011.
  mla: Krol, Rafal. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle
    Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM)</i>.
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
  short: R. Krol, Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle
    Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM),
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
date_created: 2021-10-27T11:07:17Z
date_updated: 2022-01-06T06:57:31Z
department:
- _id: '675'
language:
- iso: eng
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293
status: public
title: Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für
  piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)
type: dissertation
user_id: '21240'
volume: Band 293
year: '2011'
...