Comparing Two Approaches to Include Stochasticity in Hybrid Automata

Lisa Willemsen, Anne Remke, Erika Ábrahám

Different stochastic extensions of hybrid automata have been proposed in the past, with unclear expressivity relations between them. To structure and relate these modeling language…