TY  - CHAP
N1  - Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, held in Grenoble (France), 12-13 April 2014
AV  - public
EP  - 47
ID  - eprints2591
T3  - Electronic Proceedings in Theoretical Computer Science
N2  - 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.
SP  - 34
TI  - Extended differential aggregations in process algebra for performance and biology
Y1  - 2014/06//
UR  - http://dx.doi.org/10.4204/EPTCS.154.3
A1  - Tschaikowski, Max
A1  - Tribastone, Mirco
PB  - Open Publishing Association
T2  - Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems 
ER  -