48 citations · 124 across the 18 of their papers we have counts for
4 papers · 1 filter
Geometric fluid approximation for general continuous-time Markov chains
Michalis Michaelides, Jane Hillston, Guido Sanguinetti
Fluid approximations have seen great success in approximating the macro-scale behaviour of Markov systems with a large number of discrete states. However, these methods rely on the…
Property-driven State-Space Coarsening for Continuous Time Markov Chains
Michalis Michaelides, Dimitrios Milios, Jane Hillston +1
Dynamical systems with large state-spaces are often expensive to thoroughly explore experimentally. Coarse-graining methods aim to define simpler systems which are more amenable to…
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems
Luca Bortolussi, Vashti Galpin, Jane Hillston
Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by…
Hybrid performance modelling of opportunistic networks
Luca Bortolussi, Vashti Galpin, Jane Hillston
We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the netw…