Logo eprints

Extended differential aggregations in process algebra for performance and biology

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)

[img]
Preview
PDF - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (237kB) | Preview

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.

Item Type: Book Section
Identification Number: 10.4204/EPTCS.154.3
Additional Information: Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, held in Grenoble (France), 12-13 April 2014
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 10 Feb 2015 14:53
Last Modified: 24 Jul 2015 12:27
URI: http://eprints.imtlucca.it/id/eprint/2591

Actions (login required)

Edit Item Edit Item