@inproceedings{34532,
  abstract     = {{<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       = {{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 Schön, Oliver and Schupp, Stefan and Soudjani, Sadegh and Willemsen, Lisa}},
  booktitle    = {{EPiC Series in Computing}},
  issn         = {{2398-7340}},
  publisher    = {{EasyChair}},
  title        = {{{ARCH-COMP22 Category Report: Stochastic Models}}},
  doi          = {{10.29007/lsvc}},
  year         = {{2022}},
}

@inproceedings{26973,
  abstract     = {{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       = {{Meyer, Tobias and Kessler, Jan Henning and Sextro, Walter and Trächtler, Ansgar}},
  booktitle    = {{The Annual Reliability and Maintainability Symposium (RAMS)}},
  title        = {{{Increasing Intelligent Systems’ Reliability by using Reconfiguration}}},
  year         = {{2013}},
}

@inproceedings{26981,
  author       = {{Sondermann-Wölke, Christoph and Sextro, Walter and Reinold, Peter and Trächtler, Ansgar}},
  booktitle    = {{Technische Zuverlässigkeit –TTZ}},
  title        = {{{Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs}}},
  year         = {{2011}},
}

@phdthesis{26982,
  author       = {{Krol, Rafal}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293}},
  title        = {{{Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)}}},
  volume       = {{Band 293}},
  year         = {{2011}},
}