{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T20:40:01Z","timestamp":1738183201084,"version":"3.34.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,4,19]],"date-time":"2008-04-19T00:00:00Z","timestamp":1208563200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10626-008-0042-7","type":"journal-article","created":{"date-parts":[[2008,4,18]],"date-time":"2008-04-18T06:11:48Z","timestamp":1208499108000},"page":"211-240","source":"Crossref","is-referenced-by-count":1,"title":["Perfect Simulation of a Class of Stochastic Hybrid Systems with an Application to Peer to Peer Systems"],"prefix":"10.1007","volume":"18","author":[{"given":"Bruno","family":"Gaujal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Perronnin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00e9mi","family":"Bertin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,4,19]]},"reference":[{"issue":"1","key":"42_CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/JPROC.2002.805817","volume":"91","author":"R Alur","year":"2003","unstructured":"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\u201328","journal-title":"Proc IEEE"},{"key":"42_CR2","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E Asarin","year":"1995","unstructured":"Asarin E, Maler O, Pnueli A (1995) Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor Comp Sci 138:35\u201365","journal-title":"Theor Comp Sci"},{"key":"42_CR3","unstructured":"Baccelli F, Br\u00e9maud P (1994) Elements of queueing theory: Palm Martingale calculus and stochastic recurrences. Springer Verlag"},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"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 \u201999, New York, pp 126\u2013134","DOI":"10.1109\/INFCOM.1999.749260"},{"key":"42_CR5","unstructured":"Cl\u00e9venot-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"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Cl\u00e9venot 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 Kong","DOI":"10.1109\/INFCOM.2004.1354484"},{"key":"42_CR7","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1214\/aoap\/1177004828","volume":"5","author":"J Dai","year":"1995","unstructured":"Dai J (1995) On positive harris recurrence of multiclass queueing networks: a unified approach via fluid limit models. Ann Appl Probab 5:49\u201377","journal-title":"Ann Appl Probab"},{"key":"42_CR8","unstructured":"David R, Alla H (2004) Discrete, continuous, and hybrid Petri nets. Springer-Verlag"},{"key":"42_CR9","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1111\/j.2517-6161.1984.tb01308.x","volume":"46","author":"MHA Davis","year":"1984","unstructured":"Davis MHA (1984) Piecewise deterministic markov processes: a general class of non-diffusion stochastic models. J Royal Stat Soc B 46:353\u2013388","journal-title":"J Royal Stat Soc B"},{"key":"42_CR10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1080\/15326349808807466","volume":"14","author":"S Foss","year":"1998","unstructured":"Foss S, Tweedie R (1998) Perfect simulation and backward coupling. Stoch Models 14:187\u2013204","journal-title":"Stoch Models"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"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, Italy","DOI":"10.1007\/978-3-540-71493-4_19"},{"issue":"6","key":"42_CR12","doi-asserted-by":"crossref","first-page":"1952","DOI":"10.1137\/S0363012996299302","volume":"35","author":"MK Ghosh","year":"1997","unstructured":"Ghosh MK, Arapostathis A, Marcus SI (1997) Ergodic control of switching diffusions. SIAM J Control Optim 35(6):1952\u20131988","journal-title":"SIAM J Control Optim"},{"key":"42_CR13","doi-asserted-by":"crossref","unstructured":"Girard A (2005) Reachability of uncertain linear systems using zonotopes. In: Hybrid systems: computation and control, vol 3414 of LNCS, pp 291\u2013305","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"42_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013222. Monterey, California","DOI":"10.1145\/571825.571861"},{"key":"42_CR15","volume-title":"Reversibility and stochastic networks","author":"FP Kelly","year":"1979","unstructured":"Kelly FP (1979) Reversibility and stochastic networks. Wiley, Chichester"},{"key":"42_CR16","unstructured":"Liberzon D (1973) Switching in systems and control. Birkh\u00e4user"},{"key":"42_CR17","unstructured":"Press WH, Teukolsky SA, Vetterling WT, Flannery BP (1992) Numerical recipes in C. Cambridge University Press"},{"issue":"1","key":"42_CR18","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1002\/(SICI)1098-2418(199608\/09)9:1\/2<223::AID-RSA14>3.0.CO;2-O","volume":"9","author":"D Propp","year":"1996","unstructured":"Propp D, Wilson J (1996) Exact sampling with coupled Markov chains and application to statistical mechanics. Random struct Algorithms 9(1):223\u2013252","journal-title":"Random struct Algorithms"},{"key":"42_CR19","doi-asserted-by":"crossref","unstructured":"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, Germany","DOI":"10.1007\/3-540-45518-3_18"},{"issue":"7","key":"42_CR20","doi-asserted-by":"crossref","first-page":"986","DOI":"10.1109\/JPROC.2003.814621","volume":"91","author":"C Tomlin","year":"2003","unstructured":"Tomlin C, Mitchell I, Bayen A, Oishi M (2003) Computational techniques for the verification and control of hybrid systems. Proc IEEE 91(7):986\u20131001","journal-title":"Proc IEEE"},{"key":"42_CR21","doi-asserted-by":"crossref","unstructured":"Vincent J-M (2005) Perfect simulation of monotone systems for rare event probability estimation. In: Winter simulation conference. Orlando","DOI":"10.1109\/WSC.2005.1574291"},{"key":"42_CR22","unstructured":"Walker A (1974) An efficient method for generating random variables with general distributions. ACM Trans Math Softw 253\u2013256"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0042-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-008-0042-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-008-0042-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T20:02:25Z","timestamp":1738180945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-008-0042-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,19]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["42"],"URL":"https:\/\/doi.org\/10.1007\/s10626-008-0042-7","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2008,4,19]]}}}