Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model
From MaRDI portal
Publication:4571083
DOI10.1007/978-3-319-43904-4_7zbMath1390.68087OpenAlexW2481564548MaRDI QIDQ4571083
Luca Bortolussi, Max Tschaikowski
Publication date: 6 July 2018
Published in: Analytical and Stochastic Modelling Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-43904-4_7
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Cites Work
- Tackling continuous state-space explosion in a Markovian process algebra
- Mixture dynamics and regime switching diffusions with application to option pricing
- Differential equation approximations for Markov chains
- Hybrid switching diffusions. Properties and applications
- A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment
- Model checking single agent behaviours by fluid approximation
- Fluid Model Checking
- Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps
- Optimal Throughput–Delay Scaling in Wireless Networks—Part II: Constant-Size Packets
This page was built for publication: Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model
