Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata

Pauline Blohm, Felix Schulz, Lisa Willemsen +2

Simulink is widely used in industrial design processes to model increasingly complex embedded control systems. Thus, their formal analysis is highly desirable. However, this comes…