Title: Modelling of spatial stochastic systems and analysis of their spatio-temporal properties
Location: Meeting room, Ed. Zeta
Type: Research Result
Speaker: Ludovica Luisa Vissat
Abstract: In my talk I will give an overview of my PhD research work. We have initially developed a novel process algebra, specifically tailored for modelling ecological systems, and more generally for spatial stochastic systems. These systems can be seen as a collection of agents that can interact and are spatially located. To analyse properties of the dynamics of these stochastic systems, we worked with spatio-temporal logics and statistical model checking.
We introduced the novel Three-Valued Spatio-Temporal Logic, which extends the available analysis, looking at the spatio-temporal evolution of the satisfaction probabilities of given logical formulas, estimated through statistical model checking. I will present different case studies during the talk, to show various applications of our modelling language and spatio-temporal analysis.