SHAVE: stochastic hybrid analysis of markov population models
Abstract
We present a tool called SHAVE that approximates the transient distribution of a continuous-time Markov population process by combining moment-based and state-based representations of probability distributions. As an intermediate step, SHAVE constructs a stochastic hybrid model from the original process which is then solved numerically.
Type
Publication
HSCC ‘11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago,, IL, USA
Cite
@inproceedings{lapinSHAVEStochasticHybridAnalysis2011,
author = {Maksim Lapin and Linar Mikeev and Verena Wolf},
booktitle = {HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago,, IL, USA},
doi = {10.1145/1967701.1967746},
isbn = {978-1-4503-0629-4},
month = {4},
pages = {311-312},
publisher = {ACM},
title = {SHAVE: stochastic hybrid analysis of markov population models},
year = {2011}
}