Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Prabhakar, Pavithra; Vandin, Andrea
Buchtitel: International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Seitenbereich: 389-408
Verlag: Springer Nature
Erscheinungsort: Switzerland
Titel der Reihe: Lecture Notes in Computer Science (ISSN: 1611-3349)
Nr. in Reihe: 16143
Status: Veröffentlicht
Veröffentlichungsjahr: 2025 (10.02.2025)
Konferenz: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS, 2025, Aarhus, Dänemark
ISBN: 9783032057921
Link zum Volltext: http://dx.doi.org/10.1007/978-3-032-05792-1_21
Stichwörter: Simulink; Hybrid Automata; Uncertainty; Quantitative Analysis
Autor*innen der Universität Münster
| Blohm, Pauline Anne | Professur für Praktische Informatik (Prof. Herber) |
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |