University of Birmingham > Talks@bham > Theoretical computer science seminar > A process algebra for the modelling of hybrid systems

A process algebra for the modelling of hybrid systems

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Paul Levy.

Hybrid systems show both discrete and continuous behaviour. Several process algebras for modelling these systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and a semantic equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours. The theory of HYPE will be presented, examples of how to use HYPE to model hybrid systems will be shown and some ideas for extending HYPE with stochastic features will be discussed.

This seminar is based on work presented at CONCUR 2009 and is joint work with Jane Hillston (University of Edinburgh) and Luca Bortolussi (University of Trieste).

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.