A process algebra for the modelling of hybrid systems

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

• Vashti Galpin, University of Edinburgh
• Friday 27 November 2009, 14:00-15:00
• UG40 Computer Science.

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.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• UG40 Computer Science
• computer sience

Note that ex-directory lists are not shown.