SHAVE - Stochastic hybrid analysis of Markov population models. Lapin, M., Mikeev, L., & Wolf, V. In HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, 2011. doi abstract bibtex 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. Copyright 2011 ACM.
@inproceedings{
title = {SHAVE - Stochastic hybrid analysis of Markov population models},
type = {inproceedings},
year = {2011},
keywords = {[Markov processes, Tool, Transient analysis]},
id = {f86c42f9-a0b7-337b-abf0-baebdaa73827},
created = {2017-01-02T09:34:04.000Z},
file_attached = {false},
profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},
last_modified = {2017-03-22T13:51:34.979Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {false},
hidden = {false},
private_publication = {false},
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. Copyright 2011 ACM.},
bibtype = {inproceedings},
author = {Lapin, M. and Mikeev, L. and Wolf, V.},
doi = {10.1145/1967701.1967746},
booktitle = {HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control}
}
Downloads: 0
{"_id":"PLigcHhNHG4eAiErD","bibbaseid":"lapin-mikeev-wolf-shavestochastichybridanalysisofmarkovpopulationmodels-2011","downloads":0,"creationDate":"2016-02-15T09:20:58.606Z","title":"SHAVE - Stochastic hybrid analysis of Markov population models","author_short":["Lapin, M.","Mikeev, L.","Wolf, V."],"year":2011,"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibdata":{"title":"SHAVE - Stochastic hybrid analysis of Markov population models","type":"inproceedings","year":"2011","keywords":"[Markov processes, Tool, Transient analysis]","id":"f86c42f9-a0b7-337b-abf0-baebdaa73827","created":"2017-01-02T09:34:04.000Z","file_attached":false,"profile_id":"bbb99b2d-2278-3254-820f-2de6d915ce63","last_modified":"2017-03-22T13:51:34.979Z","read":false,"starred":false,"authored":"true","confirmed":false,"hidden":false,"private_publication":false,"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. Copyright 2011 ACM.","bibtype":"inproceedings","author":"Lapin, M. and Mikeev, L. and Wolf, V.","doi":"10.1145/1967701.1967746","booktitle":"HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control","bibtex":"@inproceedings{\n title = {SHAVE - Stochastic hybrid analysis of Markov population models},\n type = {inproceedings},\n year = {2011},\n keywords = {[Markov processes, Tool, Transient analysis]},\n id = {f86c42f9-a0b7-337b-abf0-baebdaa73827},\n created = {2017-01-02T09:34:04.000Z},\n file_attached = {false},\n profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},\n last_modified = {2017-03-22T13:51:34.979Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {false},\n hidden = {false},\n private_publication = {false},\n 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. Copyright 2011 ACM.},\n bibtype = {inproceedings},\n author = {Lapin, M. and Mikeev, L. and Wolf, V.},\n doi = {10.1145/1967701.1967746},\n booktitle = {HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control}\n}","author_short":["Lapin, M.","Mikeev, L.","Wolf, V."],"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"lapin-mikeev-wolf-shavestochastichybridanalysisofmarkovpopulationmodels-2011","role":"author","urls":{},"keyword":["[Markov processes","Tool","Transient analysis]"],"metadata":{"authorlinks":{"wolf, v":"https://mosi.uni-saarland.de/research/"}},"downloads":0},"search_terms":["shave","stochastic","hybrid","analysis","markov","population","models","lapin","mikeev","wolf"],"keywords":["[markov processes","tool","transient analysis]"],"authorIDs":["6TtMsgho6wSDppwNh"],"dataSources":["me3WD7pwWySxCKW8s","ya2CyA73rpZseyrZ8"]}