Showing 2026Show all
2 papers · 1 filter
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.…
cs.FL2026
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
Joanna Delicaris, Erika Ábrahám, Anne Remke
Control applications for cyber-physical systems must make reliably safe control decisions in the presence of continuous dynamics as well as stochastic uncertainty. Providing safety…