[{"abstract":[{"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>","lang":"eng"}],"publication":"EPiC Series in Computing","citation":{"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.","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>.","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} }","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>","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>."},"type":"conference","department":[{"_id":"675"}],"date_created":"2022-12-18T10:56:01Z","publication_status":"published","date_updated":"2022-12-18T10:56:21Z","status":"public","title":"ARCH-COMP22 Category Report: Stochastic Models","year":"2022","author":[{"last_name":"Abate","first_name":"Alessandro","full_name":"Abate, Alessandro"},{"last_name":"Blom","first_name":"Henk","full_name":"Blom, Henk"},{"full_name":"Delicaris, Joanna","last_name":"Delicaris","first_name":"Joanna"},{"last_name":"Haesaert","first_name":"Sofie","full_name":"Haesaert, Sofie"},{"first_name":"Arnd","last_name":"Hartmanns","full_name":"Hartmanns, Arnd"},{"first_name":"Birgit","last_name":"van Huijgevoort","full_name":"van Huijgevoort, Birgit"},{"full_name":"Lavaei, Abolfazl","last_name":"Lavaei","first_name":"Abolfazl"},{"first_name":"Hao","last_name":"Ma","full_name":"Ma, Hao"},{"last_name":"Niehage","first_name":"Mathis","full_name":"Niehage, Mathis"},{"last_name":"Remke","first_name":"Anne","full_name":"Remke, Anne"},{"last_name":"Schön","first_name":"Oliver","full_name":"Schön, Oliver"},{"first_name":"Stefan","last_name":"Schupp","full_name":"Schupp, Stefan"},{"full_name":"Soudjani, Sadegh","first_name":"Sadegh","last_name":"Soudjani"},{"full_name":"Willemsen, Lisa","last_name":"Willemsen","first_name":"Lisa"}],"publication_identifier":{"issn":["2398-7340"]},"user_id":"55553","doi":"10.29007/lsvc","publisher":"EasyChair","_id":"34532","language":[{"iso":"eng"}]},{"citation":{"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} }","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.","mla":"Meyer, Tobias, et al. “Increasing Intelligent Systems’ Reliability by Using Reconfiguration.” <i>The Annual Reliability and Maintainability Symposium (RAMS)</i>, 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.","short":"T. Meyer, J.H. Kessler, W. Sextro, A. Trächtler, in: The Annual Reliability and Maintainability Symposium (RAMS), 2013.","ieee":"T. Meyer, J. H. Kessler, W. Sextro, and A. Trächtler, “Increasing Intelligent Systems’ Reliability by using Reconfiguration,” 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>."},"publication":"The Annual Reliability and Maintainability Symposium (RAMS)","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."}],"date_created":"2021-10-27T10:55:46Z","department":[{"_id":"675"}],"type":"conference","author":[{"full_name":"Meyer, Tobias","last_name":"Meyer","first_name":"Tobias"},{"full_name":"Kessler, Jan Henning","last_name":"Kessler","first_name":"Jan Henning"},{"first_name":"Walter","last_name":"Sextro","full_name":"Sextro, Walter","id":"21220"},{"id":"552","first_name":"Ansgar","last_name":"Trächtler","full_name":"Trächtler, Ansgar"}],"status":"public","title":"Increasing Intelligent Systems’ Reliability by using Reconfiguration","year":"2013","date_updated":"2022-01-06T06:57:31Z","language":[{"iso":"eng"}],"_id":"26973","user_id":"21240"},{"date_created":"2021-10-27T11:04:55Z","type":"conference","department":[{"_id":"675"}],"publication":"Technische Zuverlässigkeit –TTZ","citation":{"mla":"Sondermann-Wölke, Christoph, et al. “Zuverlässigkeitsorientierte Mehrzieloptimierung Zur Aktorrekonfiguration Eines X-by-Wire-Fahrzeugs.” <i>Technische Zuverlässigkeit –TTZ</i>, 2011.","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 –TTZ}, author={Sondermann-Wölke, Christoph and Sextro, Walter and Reinold, Peter and Trächtler, Ansgar}, year={2011} }","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 –TTZ</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.","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 –TTZ</i>.","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 –TTZ</i>, 2011.","short":"C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische Zuverlässigkeit –TTZ, 2011."},"language":[{"iso":"eng"}],"_id":"26981","user_id":"21240","title":"Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs","status":"public","year":"2011","author":[{"first_name":"Christoph","last_name":"Sondermann-Wölke","full_name":"Sondermann-Wölke, Christoph"},{"id":"21220","full_name":"Sextro, Walter","first_name":"Walter","last_name":"Sextro"},{"full_name":"Reinold, Peter","first_name":"Peter","last_name":"Reinold"},{"full_name":"Trächtler, Ansgar","first_name":"Ansgar","last_name":"Trächtler","id":"552"}],"date_updated":"2022-01-06T06:57:31Z"},{"volume":"Band 293","user_id":"21240","language":[{"iso":"eng"}],"_id":"26982","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293","date_updated":"2022-01-06T06:57:31Z","author":[{"first_name":"Rafal","last_name":"Krol","full_name":"Krol, Rafal"}],"title":"Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)","year":"2011","status":"public","department":[{"_id":"675"}],"type":"dissertation","date_created":"2021-10-27T11:07:17Z","citation":{"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.","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.","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.","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.","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.","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.","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} }"}}]