2 papers
cs.FL2026
Stochastic Hybrid Automata for Power Profile Modeling in Energy Systems
Lisa Willemsen, Anne Remke, Johann L. Hurink
Power profiles are widely used to describe power demand and production in energy systems. Yet, real-world usage often involves uncertainty, making it challenging to determine, e.g.…
eess.SY2025
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…