On the simultaneous construction of sample paths

Sensitivity analysis and optimization within stochastic discrete event simulation require the ability to rapidly estimate performance measures under different parameter values. One technique, termed "rapid learning", aims at enumerating all possible sample paths under different parameter values of the model based on the observed sample path under the nominal parameter value. There are two necessary conditions for this capability: observability, which asserts that every state observed in the nominal path is always richer in terms of feasible events than the states observed in the constructed paths, and constructability, which, in addition to observability, requires that the lifetime of an event has the same distribution as its residual life. This paper asserts that the verification of the observability condition is an NP-hard search problem. This result, in turn, implies that it is algorithmically not possible to find parameter values satisfying observability; hence, it encourages the development of heuristic procedures. Further implications are also discussed.

[1]  Enver Yücesan,et al.  Intractability results in discrete-event simulation , 1995 .

[2]  Barry L. Nelson,et al.  Ranking, selection and multiple comparisons in computer simulation , 1994, Proceedings of Winter Simulation Conference.

[3]  Enver Yücesan,et al.  Evaluating alternative system configurations using simulation: A nonparametric approach , 1994, Ann. Oper. Res..

[4]  Edwin K. P. Chong,et al.  Discrete event systems: Modeling and performance analysis , 1994, Discret. Event Dyn. Syst..

[5]  Lee W. Schruben,et al.  Modeling paradigms for discrete event simulation , 1993, Oper. Res. Lett..

[6]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[7]  David D. Yao,et al.  Monotonicity in Generalized Semi-Markov Processes , 1992, Math. Oper. Res..

[8]  Lee W. Schruben,et al.  Retrospective simulation response optimization , 1991, 1991 Winter Simulation Conference Proceedings..

[9]  Pirooz Vakili,et al.  Using a standard clock technique for efficient simulation , 1991, Oper. Res. Lett..

[10]  S. Jacobson,et al.  Techniques for simulation response optimization , 1989 .

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

[12]  C. Cassandras,et al.  Sample path properties of timed discrete event systems , 1989, Proc. IEEE.

[13]  Philip Heidelberger,et al.  Discrete event simulations and parallel processing: statistical properties , 1988 .

[14]  Lee W. Schruben,et al.  An experimental procedure for simulation response surface model identification , 1987, CACM.

[15]  J. Turner,et al.  New directions in communications (or which way to the information age?) , 1986, IEEE Communications Magazine.

[16]  J. Kleijnen Statistical tools for simulation practitioners , 1986 .

[17]  M. Garey Johnson: computers and intractability: a guide to the theory of np- completeness (freeman , 1979 .

[18]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[19]  Yu-chi Ho,et al.  A gradient technique for general buffer storage design in a production line , 1979, 1978 IEEE Conference on Decision and Control including the 17th Symposium on Adaptive Processes.

[20]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .