Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
Tuesday, May 24, 2022, 4:30pm
Location: Department of Computer Science, Ahornstr. 55, building E2 (no. 2356), ground floor, room: B-IT 5053.2.
We are looking forward to meeting you in person!
Nevertheless, all events are hybrid. To join remotely, please use:
Meeting ID: 960 0388 5007, Passcode: 273710
Speaker: Erika Ábrahám
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.