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)
|
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: | https://doi.org/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 |
