PST Oberseminar Methoden und Theorie der Software-Entwicklung

======================================

Thema: HYPE: Hybrid modelling by composition of flows

======================================

Abstract:

Hybrid systems are manifest in both the natural and the engineered world, and their complex nature, mixing discrete control and continuous evolution, make it difficult to predict their behaviour.  In recent years several process algebras for modelling hybrid systems have appeared in the literature, aimed at addressing this problem. These all assume that continuous variables are modelled monolithically, often with differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of flows. In this talk I will introduce the HYPE process algebra and illustrate its use to model an opportunistic network used for ecological monitoring.

This is joint work with Luca Bortolussi, Cheng Feng and Vashti Galpin.

======================================