Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

Quantitative analysis of Markov models typically proceeds through numerical methods or simulation-based evaluation. Since the state space of the models can often be large, exact or approximate state aggregation methods (such as lumping or bisimulation reduction) have been proposed to improve the sca...

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Abate, A, Brim, L, Ceska, M, Kwiatkowska, M
التنسيق: Conference item
اللغة:English
منشور في: 2015