Back to Search
Start Over
Extended Differential Aggregations in Process Algebra for Performance and Biology
- Source :
- EPTCS 154, 2014, pp. 34-47
- Publication Year :
- 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.<br />Comment: In Proceedings QAPL 2014, arXiv:1406.1567
Details
- Database :
- arXiv
- Journal :
- EPTCS 154, 2014, pp. 34-47
- Publication Type :
- Report
- Accession number :
- edsarx.1406.2067
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.4204/EPTCS.154.3