Extended Differential Aggregations in Process Algebra for Performance and Biology
Performance
2014-06-10 v1 Computational Engineering, Finance, and Science
Distributed, Parallel, and Cluster Computing
Abstract
We study aggregations for ordinary differential equations induced by fluid semantics for Markovian process algebra which can capture the dynamics of performance models and chemical reaction networks. Whilst previous work has required perfect symmetry for exact aggregation, we present approximate fluid lumpability, which makes nearby processes perfectly symmetric after a perturbation of their parameters. We prove that small perturbations yield nearby differential trajectories. Numerically, we show that many heterogeneous processes can be aggregated with negligible errors.
Cite
@article{arxiv.1406.2067,
title = {Extended Differential Aggregations in Process Algebra for Performance and Biology},
author = {Max Tschaikowski and Mirco Tribastone},
journal= {arXiv preprint arXiv:1406.2067},
year = {2014}
}
Comments
In Proceedings QAPL 2014, arXiv:1406.1567