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 reviewed

Details about the publication

EditorsPrabhakar, Pavithra; Vandin, Andrea
Book titleInternational Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Page range389-408
PublisherSpringer Nature
Place of publicationSwitzerland
Title of seriesLecture Notes in Computer Science (ISSN: 1611-3349)
Volume of series16143
StatusPublished
Release year2025 (10/02/2025)
ConferenceQuantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS, 2025, Aarhus, Denmark
ISBN9783032057921
DOI10.1007/978-3-032-05792-1_21
Link to the full texthttp://dx.doi.org/10.1007/978-3-032-05792-1_21
KeywordsSimulink; Hybrid Automata; Uncertainty; Quantitative Analysis

Authors from the University of Münster

Blohm, Pauline Anne
Professorship for practical comuter science
Herber, Paula
Professorship for practical comuter science
Remke, Anne
Professorship for practical computer science (Prof. Remke)