# Perfect Simulation of a Class of Stochastic Hybrid Systems with an Application to Peer to Peer Systems

## Abstract

In this paper we present a class of hybrid systems made of deterministic differential equations and random discrete jumps. We then show how to construct a simulation of such a stochastic hybrid system that provides perfect samples of its asymptotic behavior based on the extension to continuous state-space of coupling-from-the-past techniques introduced by Foss and Tweedie (Stoch Models 14:187–204, 1998) and using suitable envelope trajectories to tackle non-monotonicity. The applicability of the method is illustrated by showing how this framework can be used to model the Squirrel peer to peer system and by reporting a simulation study based on this approach. This paper provides both a framework on how to carry simulation based experimental studies of large and complex hybrid systems and its application in the Squirrel model demonstrating how versatile and powerful this approach can be over a typical example.

## Keywords

Hybrid stochastic systems Perfect simulation Peer to peer systems## Notes

### Acknowledgements

We would like to thank the three reviewers of this paper whose in-depth study of our work and constructive comments helped us greatly in improving the quality of this paper.

## References

- Alur R, Dang T, Esposito J, Hur Y, Ivancic F, Kumar V, Lee I, Mishra P, Pappas GJ, Sokolsky O (2003) Hierarchical modeling and analysis of embedded systems. Proc IEEE 91(1):11–28CrossRefGoogle Scholar
- Asarin E, Maler O, Pnueli A (1995) Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor Comp Sci 138:35–65MATHCrossRefMathSciNetGoogle Scholar
- Baccelli F, Brémaud P (1994) Elements of queueing theory: Palm Martingale calculus and stochastic recurrences. Springer VerlagGoogle Scholar
- Breslau L, Cao P, Fan L, Phillips G, Shenker S (1999) Web caching and Zipf-like distributions: evidence and implications. In: Proceedings of IEEE INFOCOM ’99, New York, pp 126–134Google Scholar
- Clévenot-Perronnin F (2005) Fluid models for content distribution systems. PhD thesis, University of Nice-Sophia Antipolis, http://www-sop.inria.fr/dias/Theses/phd-9.php
- Clévenot F, Nain P (2004) A simple model for the analysis of the Squirrel peer-to-peer caching system. In: Proceedings of IEEE INFOCOM 2004. Hong KongGoogle Scholar
- Dai J (1995) On positive harris recurrence of multiclass queueing networks: a unified approach via fluid limit models. Ann Appl Probab 5:49–77MATHCrossRefMathSciNetGoogle Scholar
- David R, Alla H (2004) Discrete, continuous, and hybrid Petri nets. Springer-VerlagGoogle Scholar
- Davis MHA (1984) Piecewise deterministic markov processes: a general class of non-diffusion stochastic models. J Royal Stat Soc B 46:353–388MATHGoogle Scholar
- Foss S, Tweedie R (1998) Perfect simulation and backward coupling. Stoch Models 14:187–204MATHCrossRefMathSciNetGoogle Scholar
- Gaujal B, Perronnin F (2007) Coupling from the past in hybrid models for file sharing peer to peer systems. In: LNCS (ed) Proc HSCC. Psa, ItalyGoogle Scholar
- Ghosh MK, Arapostathis A, Marcus SI (1997) Ergodic control of switching diffusions. SIAM J Control Optim 35(6):1952–1988MATHCrossRefMathSciNetGoogle Scholar
- Girard A (2005) Reachability of uncertain linear systems using zonotopes. In: Hybrid systems: computation and control, vol 3414 of LNCS, pp 291–305Google Scholar
- Iyer S, Rowstron A, Druschel P (2002) Squirrel: a decentralized, peer-to-peer web cache. In: Proceedings of ACM symposium on principles of distributed computing (PODC 2002), pp 213–222. Monterey, CaliforniaGoogle Scholar
- Kelly FP (1979) Reversibility and stochastic networks. Wiley, ChichesterMATHGoogle Scholar
- Liberzon D (1973) Switching in systems and control. BirkhäuserGoogle Scholar
- Press WH, Teukolsky SA, Vetterling WT, Flannery BP (1992) Numerical recipes in C. Cambridge University PressGoogle Scholar
- Propp D, Wilson J (1996) Exact sampling with coupled Markov chains and application to statistical mechanics. Random struct Algorithms 9(1):223–252MATHCrossRefMathSciNetGoogle Scholar
- Rowstron A, Druschel P (2001) Pastry: scalable distributed object location and routing for large-scale peer-to-peer systems. In: Proceedings of int. conf. on distributed systems platforms (Middleware). Heideberger, GermanyGoogle Scholar
- Tomlin C, Mitchell I, Bayen A, Oishi M (2003) Computational techniques for the verification and control of hybrid systems. Proc IEEE 91(7):986–1001CrossRefGoogle Scholar
- Vincent J-M (2005) Perfect simulation of monotone systems for rare event probability estimation. In: Winter simulation conference. OrlandoGoogle Scholar
- Walker A (1974) An efficient method for generating random variables with general distributions. ACM Trans Math Softw 253–256Google Scholar