eprintid: 2591
rev_number: 11
eprint_status: archive
userid: 6
dir: disk0/00/00/25/91
datestamp: 2015-02-10 14:53:43
lastmod: 2015-07-24 12:27:34
status_changed: 2015-02-10 14:53:43
type: book_section
metadata_visibility: show
creators_name: Tschaikowski, Max
creators_name: Tribastone, Mirco
creators_id: max.tschaikowski@imtlucca.it
creators_id: mirco.tribastone@imtlucca.it
title: Extended differential aggregations in process algebra for performance and biology
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, held in Grenoble (France), 12-13 April 2014
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.
date: 2014-06
series: Electronic Proceedings in Theoretical Computer Science
number: 154
publisher: Open Publishing Association
pagerange: 34-47
event_title: \rm Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems , \rm Grenoble, France, 12-13 April 2014
id_number: 10.4204/EPTCS.154.3
refereed: TRUE
book_title: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems 
official_url: http://dx.doi.org/10.4204/EPTCS.154.3
citation:   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)  
document_url: http://eprints.imtlucca.it/2591/1/EPTCS_Tribastone_Tschaikowski.pdf