relation: http://eprints.imtlucca.it/2591/
title: Extended differential aggregations in process algebra for performance and biology
creator: Tschaikowski, Max
creator: Tribastone, Mirco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Open Publishing Association
date: 2014-06
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nd
identifier: http://eprints.imtlucca.it/2591/1/EPTCS_Tribastone_Tschaikowski.pdf
identifier:   Tschaikowski, Max and Tribastone, Mirco  Extended differential aggregations in process algebra for performance and biology.   In:  Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems.   Electronic Proceedings in Theoretical Computer Science  (154).  Open Publishing Association, pp. 34-47.       (2014)  
relation: http://dx.doi.org/10.4204/EPTCS.154.3
relation: 10.4204/EPTCS.154.3