Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Oberseminar 11.12.12

— abgelegt unter:

Wissenschaftlicher Vortrag: Prof. Jane Hillston, University of Edinburgh

  • Oberseminar
Wann 11.12.2012
von 14:15 bis 15:45
Wo Raum 057, Oettingenstr. 67
Termin übernehmen vCal

PST Oberseminar Methoden und Theorie der Software-Entwicklung


Es spricht: Prof. Jane Hillston

Thema: HYPE: Hybrid modelling by composition of flows



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.