2014/06/09 by Max Tschaikowski, Mirco Tribastone
Computer Science · #cs.PF #cs.CE #cs.DC
paper · pdf · doi:10.4204/eptcs.154.3
published as EPTCS 154, 2014, pp. 34-47 · In Proceedings QAPL 2014, arXiv:1406.1567
arxiv created 2014/06/09 · arxiv updated 2014/06/10
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.