Modeling Hybrid Systems with Stochastic Events in HYPE
Posted by luca | On Friday, 9 August 2013
Title | Modeling Hybrid Systems with Stochastic Events in HYPE |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Bortolussi L, Galpin V, Hillston J |
Conference Name | PASTA 2010 |
Pages | 24–28 |
Publisher | Department of Computing, Imperial College |
Conference Location | London UK |
Keywords | hybrid process algebras, stochastic hybrid systems |
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. |