UnRAVeL Survey Lecture - Today!
von Kassing, Jan-Christoph
Dear all,
this is a reminder for Erika Ábrahám's talk with the title "Relating Stochastic Hybrid Petri Nets and Stochastic Hybrid Automata" taking place today at 12:30 in the B-IT room 5053.2. Please find the details below
--- Abstract ---
Hybrid systems are systems with mixed discrete-continuous behavior, typical examples being continuously
evolving physical systems controlled by discrete controllers. If such systems also posses some stochastic
behavior, then we talk about stochastic hybrid systems. In this talk we focus on the question how to model
a group of such systems, which evolve concurrently.
Different modeling formalisms offer different views on concurrent stochastic hybrid systems. On the one hand,
(discrete) Petri nets, which model concurrency in a deeply inherent way, have been extended with continuous
and stochastic components. On the other hand, finite automata has been extended with continuous evolution
to hybrid automata, and different approaches have been proposed to integrate also stochastic
components to hybrid automata.
In the first part of this talk, we will have a closer look on the modeling of hybrid systems within these formalisms,
and discuss an open problem, which sounds simple, but it seems to be hard to solve.
In a second part, we will turn our attention to adding stochasticity to these modeling formalisms. We will discuss
and relate existing approaches, make an attempt to find motivations for different design choices,
and conclude with some general observations.
----------------
Part of the programme of the research training group UnRAVeL is a series of lectures on the topics of UnRAVeL’s research thrusts algorithms and complexity, verification, logic and languages, and their application scenarios. Each lecture is given by one of the researchers involved in UnRAVeL.
This years topic is "UnRAVeL - New Ideas!". In these lectures, UnRAVeL professors will discuss current research as well as highlight open problems and offer a perspective on potential future directions.
All interested doctoral researchers and master students are invited to attend the UnRAVeL lecture series 2024 and engage in discussions with researchers and doctoral students.
We are looking forward to seeing you at the lectures.
Kind regards,
Jan-Christoph for the organisation committee
