UnRAVeL-Ringvorlesung: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
Dienstag, 24.05.2022
UnRAVeL-Ringvorlesung: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
- Dr., Universitätsprofessorin Erika Abraham – Lehr- und Forschungsgebiet Informatik 2
Abstract
Hybrid systems are systems, whose behavior is composed from continuous evolution interrupted by discrete state changes. Hybrid automata are one of the most well-known formalisms to specify hybrid systems. Also different extensions of hybrid automata have been proposed in the literature to model uncertainties. In this talk we will focus on modeling stochasticity regarding the time point of discrete steps in a compositional framework. The main aim of this talk is not to present a modeling language, but rather to discuss the challenges that come with the design of a compositional modeling language for stochastic hybrid systems.