PSI2 : Envelope Perfect Sampling of Non Monotone Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

PSI2 : Envelope Perfect Sampling of Non Monotone Systems

Ana Bušić
Bruno Gaujal
Jean-Marc Vincent


The famed perfect sampling method of Propp and Wilson [3] uses a backward coupling scheme to compute unbiased samples of the stationary distribution of Markov chains. It has been implemented in a software tool, called PSI2, that proved very efficient for monotone chains coming from queuing networks [4]. However, when the system includes at least one nonmonotone event, the backward simulation scheme has to consider all possible states as starting points. This can be avoided by taking a new point of view that consists in bounding all possible trajectories of the Markov chain by envelopes. The new version of PSI2 presented here implements these latest improvements, including envelope techniques and splitting. Envelopes have been introduced by Buˇsi'c et al [1]. As soon as envelopes couple, then all trajectories must have coupled, so that an unbiased sample is obtained. As for splitting, it consists in generating all the trajectories of the Markov chains inside the envelopes to run a classical backward coupling technique from that point on. Combining these two techniques in PSI2 makes it a more efficient tool that covers a wider class of queuing networks than previously. This includes networks with non-monotone events such as negative customers, arrivals by batches, forks and joins as well as cox-distribution for services.
No file

Dates and versions

hal-00788884 , version 1 (15-02-2013)


  • HAL Id : hal-00788884 , version 1


Ana Bušić, Bruno Gaujal, Gaël Gorgo, Jean-Marc Vincent. PSI2 : Envelope Perfect Sampling of Non Monotone Systems. QEST 2010 - International Conference on Quantitative Evaluation of Systems, Sep 2010, Williamsburg, VA, United States. pp.83-84. ⟨hal-00788884⟩
156 View
0 Download


Gmail Facebook X LinkedIn More