Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Prabhakar, Pavithra; Vandin, Andrea
Book title: International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Page range: 389-408
Publisher: Springer Nature
Place of publication: Switzerland
Title of series: Lecture Notes in Computer Science (ISSN: 1611-3349)
Volume of series: 16143
Status: Published
Release year: 2025 (10/02/2025)
Conference: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS, 2025, Aarhus, Denmark
ISBN: 9783032057921
Link to the full text: http://dx.doi.org/10.1007/978-3-032-05792-1_21
Keywords: Simulink; Hybrid Automata; Uncertainty; Quantitative Analysis
Authors from the University of Münster
| Blohm, Pauline Anne | |
| Herber, Paula | |
| Remke, Anne |