Summary: Many long-run delay characteristics of computer, communication, manufacturing, and transportation systems can be specified as time-average limits of sequences of delays in generalized semi-Markov processes (GSMPs). We consider sequences of delays that are determined from the state transitions of the GSMP using the method of start vectors. In this setting, time-average limits typically must be estimated using simulation. Previous work on estimation methods for delays has focused on GSMPs for which there exists a sequence of regeneration points. For such systems, it is often possible to find an explicit sequence of regeneration points or od-regeneration points for the sequence of delays, so that point estimates and confidence intervals for time-average limits can be obtained using the regenerative method for simulation output analysis or one of its variants.
This paper is concerned with GSMPS for which this approach is not feasible, either because regeneration points for the GSMP cannot be identified or because regenerations occur too infrequently. We provide conditions on the building blocks of a GSMP and start-vector mechanism under which the sequence of delays is an od-regenerative process and cycle sums have finite moments – these conditions do not require that there exist regeneration points for the GSMP. Although in our setting the od-regeneration points for the sequence of delays usually cannot be determined explicitly, the mere existence of these points implies that time-average limits are well defined and the sequence of delays obeys a multivariate functional central limit theorem. It then follows (from results of Glynn, Iglehart, and Muñoz) that methods based on standardized time series can be used to obtain strongly consistent point estimates and asymptotic confidence intervals for time-average limits and functions of time-average limits. In particular, the method of batch means is applicable.