Modeling Hybrid Systems with Stochastic Events in HYPE

Luca Bortolussi, Vashti Galpin, Jane Hillston

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, the semantics of HYPE was defined in terms of (non)deterministic hybrid systems. Here we extend the language adding stochastic events, hence obtaining a semantics in terms of Transition Driven Stochastic Hybrid Automata, a subset of a general class of stochastic process termed Piecewise Deterministic Markov Processes. The definition of stochastic HYPE is discussed by means of an example of a delay tolerant network.
Original languageEnglish
Title of host publicationProceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
Pages24-28
Number of pages5
Publication statusPublished - 2010

Fingerprint

Dive into the research topics of 'Modeling Hybrid Systems with Stochastic Events in HYPE'. Together they form a unique fingerprint.

Cite this