Strongly Consistent Steady-State Derivative Estimates

We establish strong consistency (i.e., almost sure convergence) of infinitesimal perturbation analysis (IPA) estimators of derivatives of steady-state means for a broad class of systems. Our results substantially extend previously available results on steady-state derivative estimation via IPA. Our basic assumption is that the process under study is regenerative, but our analysis uses regenerative structure in an indirect way: IPA estimators are typically biased over regenerative cycles, so straightforward differentiation of the regenerative ratio formula does not necessarily yield a valid estimator of the derivative of a steady-state mean. Instead, we use regeneration to pass from unbiasedness over fixed , finite time horizons to convergence as the time horizon grows. This provides a systematic way of extending results on unbiasedness to strong consistency. Given that the underlying process regenerates, we provide conditions under which a certain augmented process is also regenerative. The augmented process includes additional information needed to evaluate derivatives; derivatives of time averages of the original process are time averages of the augmented process. Thus, through this augmentation we are able to apply standard renewal theory results to the convergence of derivatives.

[1]  Ward Whitt,et al.  Continuity of Generalized Semi-Markov Processes , 1980, Math. Oper. Res..

[2]  Sheldon M. Ross,et al.  Stochastic Processes , 2018, Gauge Integral Structures for Stochastic Calculus and Quantum Electrodynamics.

[3]  Peter W. Glynn,et al.  Proceedings of Ihe 1986 Winter Simulation , 2022 .

[4]  X. Cao,et al.  Realization probability in closed Jackson queueing networks and its application , 1987, Advances in Applied Probability.

[5]  Rajan Suri,et al.  Infinitesimal perturbation analysis for general discrete event systems , 1987, JACM.

[6]  P. Haas,et al.  Regenerative generalized semi-markov processes , 1987 .

[7]  Xi-Ren Cao,et al.  Convergence properties of infinitesimal perturbation analysis , 1988 .

[8]  Xi-Ren Cao,et al.  A Sample Performance Function of Closed Jackson Queueing Networks , 1988, Oper. Res..

[9]  Paul Glasserman,et al.  Performance continuity and differentiability in Monte Carlo optimization , 1988, WSC '88.

[10]  R. Suri,et al.  Perturbation analysis gives strongly consistent sensitivity estimates for the M/G/ 1 queue , 1988 .

[11]  P. Glynn A GSMP formalism for discrete event systems , 1989, Proc. IEEE.

[12]  Alan Weiss,et al.  Sensitivity Analysis for Simulations via Likelihood Ratios , 1989, Oper. Res..

[13]  K. Sigman The stability of open queueing networks , 1990 .

[14]  Jianqiang Hu,et al.  Strong consistency of sample path derivative estimates , 1990 .

[15]  J. Q. Hu,et al.  Strong consistency of infinitesimal perturbation analysis for tandem queueing networks , 1991, Discret. Event Dyn. Syst..

[16]  Paul Glasserman,et al.  Structural Conditions for Perturbation Analysis Derivative Estimation: Finite-Time Performance Indices , 1991, Oper. Res..

[17]  Jianqiang Hu Convexity of sample path performance and strong consistency of infinitesimal perturbation analysis estimates , 1992 .