UnRAVeL Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
Tuesday, May 24, 2022
UnRAVeL Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
- Dr., Universitätsprofessorin Erika Abraham – Chair for Computer Science 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.