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.