1: \begin{abstract}

2: % We establish

3: % functional strong law of large numbers and functional central limit

4: % theorem results for renewal processes conditioned on the number of

5: % renewal events in a fixed horizon, as the number of events is scaled to

6: % infinity. The primary technical condition for our

7: % results to hold is the existence of a `conditioned' probability

8: % measure on triangular arrays of random variables. We then construct

9: % martingale difference sequences with respect to these triangular

10: % arrays and use martingale convergence results to establish the results

11: % of interest with respect to this measure. As an illustration of the utility of these results to

12: % performance analysis, we prove an functional central limit theorem for

13: % the `conditioned' workload process of a $GI/G/1$ queue.

14: We consider a renewal process that is conditioned on the number of

15: events in a fixed time horizon.  We prove that a centered and scaled

16: version of this process converges to a Brownian bridge, as the number

17: of events grows large, which relies on first establishing a functional

18: strong law of large numbers result to determine the centering.  These

19: results are consistent with the asymptotic behavior of a conditioned

20: Poisson process.  We prove the limit theorems over triangular arrays

21: of exchangeable random variables, obtained by conditionning a sequence

22: of independent and identically distributed renewal processes. We construct martingale difference sequences with respect to these triangular arrays, and use martingale convergence results in our proofs.  To illustrate how these results apply to performance analysis in queueing, we prove that the workload process of a single server queue with conditioned renewal arrival process can be approximated by a reflected diffusion having the sum of a Brownian Bridge and Brownian motion as input to its regulator mapping.

23: \end{abstract}

24: