Article

Free access

Building correct simulation models is difficult

Authors:

Enver Yücesan and

Sheldon H. JacobsonAuthors Info & Claims

WSC '92: Proceedings of the 24th conference on Winter simulation

December 1992

Pages 783 - 790

https://doi.org/10.1145/167293.167720

Published: 01 December 1992 Publication History

PDF eReader

References

[1]

Balci, O. (1986) Requirements for Model Development Environments. Computers and Operations Research. Vol.13.1 (J,'m.-Feb.). pp.53-67.

Digital Library

Google Scholar

[2]

B,'dci, O. and R.E. Nance (1987) Simulation Model Development Environments: A Research Prototype. Journal of the Operational ResearchSociety. Vol.38.8. pp.753-763.

Google Scholar

[3]

Balci, O. and R.E. N,-mce (1992) The Simulation Model Development Environment: An Overview. Proceedings of the 1992 Winter Simulation Conference (Swain, Goldsm,'m, and Wilson, Eds.)

Digital Library

Google Scholar

[4]

Balmer, D.W.,and R.J. Paul (1990) Integrated Support Environments for Simulation Modeling. Proceedings of the 1990 Winter Simulation Conforon~o (BalGi. Sadow~ki,and Nancy. Eds.). pp.243-249.

Digital Library

Google Scholar

[5]

Bratley, P. B.L. Fox.,and L.E. Schrage (1987) A Guide to Simulation. Springer-Verlag. New York, NY.

Digital Library

Google Scholar

[6]

Conway, R., W. Maxwell, J. McClain, and S. Worona (1987) User's Guide to XCELL+. The Scientific Press. Redwood City, CA.

Google Scholar

[7]

Dahl, O.J. and N.K. Nygaard (1967) Simula: A Language for Programming and Description of Discrete Event Systems. Introduction and User's Manual. 5th Edition. Norwegian Computing Center, Oslo.

Google Scholar

[8]

Duersch, R.R. and L.W. Schruben (1986) An Interactive Run Length Control for Simulations on PCs. Proceedings of the 1986 Winter Simulation Conference (Wilson. Henriksen. and Roberts, Eds.). pp.866-870.

Digital Library

Google Scholar

[9]

Evans. J.W., J.F. Wallace. and J.L. Sutherl,'md (1967) Simulation Using Digital Computers. Prentice Hall. Englewood Cliffs, NJ.

Google Scholar

[10]

Fox, B.L. and D.M. Landi (1968) An Algorithm for Identifying the Ergodic Subchains and Transient States of a Stochastic Matrix. Comm ACM. Vol.11.9. pp.619-621

Digital Library

Google Scholar

[11]

Garey, M.R.,and D.S. Johnson (1979) Computers and Intractability: A Guide to the Theory of NP- Completeness. W.H. Freem,'m,and Company. New York. NY.

Digital Library

Google Scholar

[12]

Gilman, A.R. and C. Billingham (1989) A Tutori,'d on SEE WHY and WITNESS. Proceedings of the 1989 Winter Simulation Conference (MacNair, Musselman, and Heidelberger, Eds.). pp. 192-200.

Digital Library

Google Scholar

[13]

Glasserman, P. (1991) Gradient Estimation via Perturbation Analysis. Kluwer Academic Publishers Group. Dordrecht, The Netherl,-mds.

Google Scholar

[14]

Glynn, P.W.,and D.L. iglehart (1988) Simulation Methods for Queues: An Overview. Queueing Systems. Vol.3.3. pp.221-256.

Digital Library

Google Scholar

[15]

Gordon, G. (1961) A General Purpose System Simulation Program. Proceedings of Eastern Joint Simulation Conference. pp.87-104.

Google Scholar

[16]

Henriksen, J.O. (1983) The Integrated Simulation Environment (Simulation Softw,'u'e of the 1990s). Operations Research. Vol.31.6. pp. 1053-1073.

Digital Library

Google Scholar

[17]

Hopcroft, J.E.,and J.D. Ullm,'m (I 979) Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, Inc. Reading, MA.

Digital Library

Google Scholar

[18]

Jacobson, S.H. and E. Yiicesan (1992) On the Intractability of Verifying Structural Prop~rti~ of Di~cr~t~ Event Simulation Models. INSEAD Working Paper Series. TM/92. Fontainebleau, France.

Google Scholar

[19]

Law A.M. and W.D. Kelton (1991) Simulation Modeling and Analysis. 2nd Edition. cGraw-Hill. New York, NY.

Digital Library

Google Scholar

[20]

Markowitz, H.M., H.W. K,'ur,and B. Hausner (1963) SIMSCRIPT: A Simulation Programming Language. Prentice-Hall. Englewood Cliffs, NJ.

Google Scholar

[21]

Nance, R.E. (1981) The Time and State Relationships in Simulation Modeling. Corn ACM. Vol.24.4. pp. 173-179.

Digital Library

Google Scholar

[22]

Nance, R.E. (1987) The Conical Methodology: A Framework for Simulation Model Development. The Proceedings of the Conference on Methodology,and Validation (SCS). pp.38-43.

Google Scholar

[23]

Overstreet, C.M. (1982) Model Specification and Analysis for Discrete Event Simulations. Unpublished PhD Dissertation. Virginia Tech. B lacksburg, V A.

Digital Library

Google Scholar

[24]

Overstreet, C.M. and R.E. Nance (1985) A Specification Language to Assist in Analysis of Discrete Event Simulation Models. Corn ACM. Vol.28.2, pp.190-201.

Digital Library

Google Scholar

[25]

Pegden, C.D., R.E. Shannon, and R.P. Sadowski (1990) Introduction to SIMAN. Systems Modeling Corporation. Pittsburgh, PA.

Google Scholar

[26]

Peterson, J.L. (1977) Petri Nets. Computing Surveys. Voi.9.3. pp.223-252.

Digital Library

Google Scholar

[27]

Pritsker, A.A.B. (1986) Introduction to Simulation and SLAM I1. 3rd Edition. John Wiley & Sons. New York, NY.

Digital Library

Google Scholar

[28]

Sargent, R.G. (1988) Event Graph Modeling for Simulation with,an Application to Flexible Manufacturing Systems. Management Science. Vol.34.10. pp.1231-1251.

Digital Library

Google Scholar

[29]

Schmeiser, B. (1990) Simulation Experiments in Handbook of Operations Research and Management Science within volume on Stochastic Models (D. Heyman,and M. Sobel, Eds.) North Holl,'md. New York, NY.

Google Scholar

[30]

Schruben, L. (1982) Detecting Initialization Bias in Simulation Output. Operations Research. Vol.30.3. pp.569-590

Digital Library

Google Scholar

[31]

Schruben, L. (1983) Simulation Modeling with Event Graphs. Corn ACM. Vol.26.11. pp.957-963.

Digital Library

Google Scholar

[32]

Schrub~n, L. (1991) Sigrru~: A Grotphi~vtl Sirrtulu~iort System. The Scientific Press. S,'m Francisco, CA.

Google Scholar

[33]

Schruben, L., H. Singh, and L. Tierney (1983) Optimal Tests for Initialization Bias in Simulation Output. Operations Research. Vol.31.6. pp.1167-1178.

Digital Library

Google Scholar

[34]

Schruben, L. and E. Y ticesan (1987) On the Generality of Simulation Graphs. Technical Report #773. School of OR&IE, Cornell University. Ithaca, NY.

Google Scholar

[35]

Shedler, G.S. (1987) Regeneration and Networks of Queues. Springer-Verlag. New York, NY.

Digital Library

Google Scholar

[36]

Sore, T.K. and R.G. Sargent (1989) A Formal Development of Event Graphs as an Aid to Structured,and Efficient Simulation Programs. ORSA Journal on Computing. Vol.l.2. pp.107-125.

Google Scholar

[37]

Torn, A.A. (1981) Simulation Graphs: A General Tool for Modeling Simulation Designs. Simulation. Vol.37. pp.187-194.

Crossref

Google Scholar

[38]

Welch, P.D. (1983) The Statistical Analysis of Simulation Results. The Computer Performance Modeling Handbook (S.S. Lavenberg, Ed.) pp.268-328. Academic Press. New York, NY.

Google Scholar

[39]

Whitner, R.B. and O. B,'dci (1989) Guidelines for Selecting and Using Simulation Model Verification Techniques. Proceedings of the 1989 Winter Simulation Conference (MacNair, Musselman, and Heidelberger, Eds.). pp.559-568.

Digital Library

Google Scholar

[40]

Whitt, W. (1989) Planning Queueing Simulations. Management Science. Vol.35.11. pp.1341- 1366.

Digital Library

Google Scholar

[41]

Yticesan, E. (1989) Simulation Graphs for the Design and Analysis of Discc,~:e Event Simulation Models. Unpublished PhD Dissertation. Cornell University. Ithaca, NY.

Google Scholar

[42]

Zeigler, B.P. (1976) Theory of Modelling and Simulation. John Wiley. New York, NY.

Digital Library

Google Scholar

Cited By

View all

Jacobson SYücesan E(2011)Intractability results in discrete-event simulationRAIRO - Operations Research10.1051/ro/199529030353129:3(353-369)Online publication date: 29-Mar-2011
https://doi.org/10.1051/ro/1995290303531
Jacobson SYucesan E(2002)Common issues in discrete optimization and discrete-event simulationIEEE Transactions on Automatic Control10.1109/9.98337747:2(341-345)Online publication date: Jan-2002
https://doi.org/10.1109/9.983377
Walton GPatton RParsons DRohrer MMedeiros DGrabau M(2001)Usage testing of military simulation systemsProceedings of the 33nd conference on Winter simulation10.5555/564124.564233(771-779)Online publication date: 9-Dec-2001
https://dl.acm.org/doi/10.5555/564124.564233
Show More Cited By

Index Terms

Building correct simulation models is difficult
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation
    2. Simulation types and techniques
      1. Discrete-event simulation
2. Theory of computation
  1. Computational complexity and cryptography
    1. Problems, reductions and completeness

Recommendations

Development of discrete event system specification (DEVS) building performance models for building energy design
SimAUD '13: Proceedings of the Symposium on Simulation for Architecture & Urban Design

The discrete event system specification (DEVS) is a formalism for describing simulation models in a modular fashion. In this study, it is exploited by forming submodels that allow different professions involved in the building design process to work ...
Read More
Hybrid agent-based and graph-based modeling for building occupancy simulation
TMS '18: Proceedings of the Theory of Modeling and Simulation Symposium

Various models have been developed to simulate the dynamics of building occupancy, among which the two popular types of models are agent-based models and graph-based models. Agent-based models have the advantage of handling microscopic behavior and ...
Read More
Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer
DATE '03: Proceedings of the conference on Design, Automation and Test in Europe - Volume 1

As a fast and accurate SW simulation model,we present a model called fast timed SW model .The model enables fast simulation by native execution of application SW and OS.It gives simulation accuracy by timed SW and HW simulation.When building fast timed ...
Read More

Comments

Information & Contributors

Information

Published In

WSC '92: Proceedings of the 24th conference on Winter simulation

December 1992

1410 pages

ISBN:0780307984

DOI:10.1145/167293

Chairman:
Robert C. Crain
Wolverine Software Corporation, Annandale, VA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1992

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

WSC90

Sponsor:

IIE
IEEE-SMCS
ASA
ACM
ORSA
SCS
TIMS
SIGSIM
IEEE-CS
NIST

WSC90: 1990 Winter Simulation Conference

December 13 - 16, 1992

Virginia, Arlington, USA

Acceptance Rates

Overall Acceptance Rate 3,413 of 5,075 submissions, 67%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
310
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jacobson SYücesan E(2011)Intractability results in discrete-event simulationRAIRO - Operations Research10.1051/ro/199529030353129:3(353-369)Online publication date: 29-Mar-2011
https://doi.org/10.1051/ro/1995290303531
Jacobson SYucesan E(2002)Common issues in discrete optimization and discrete-event simulationIEEE Transactions on Automatic Control10.1109/9.98337747:2(341-345)Online publication date: Jan-2002
https://doi.org/10.1109/9.983377
Walton GPatton RParsons DRohrer MMedeiros DGrabau M(2001)Usage testing of military simulation systemsProceedings of the 33nd conference on Winter simulation10.5555/564124.564233(771-779)Online publication date: 9-Dec-2001
https://dl.acm.org/doi/10.5555/564124.564233
Jacobson SYucesan E(1999)On the Complexity of Verifying Structural Properties of Discrete Event Simulation ModelsOperations Research10.1287/opre.47.3.47647:3(476-481)Online publication date: 1-Mar-1999
https://dl.acm.org/doi/10.1287/opre.47.3.476
Page EOpper J(1999)Observations on the complexity of composable simulationProceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 110.1145/324138.324433(553-560)Online publication date: 1-Dec-1999
https://dl.acm.org/doi/10.1145/324138.324433
Jacobson SYücesan E(1998)Using ACCESSIBILITY to assess the performance of generalized hill climbing algorithmsProceedings of the 30th conference on Winter simulation10.5555/293172.293303(761-770)Online publication date: 1-Dec-1998
https://dl.acm.org/doi/10.5555/293172.293303
Jacobson SYucesan E(1998)Using ACCESSIBILITY to assess the performance of generalized hill climbing algorithms1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274)10.1109/WSC.1998.745061(761-768)Online publication date: 1998
https://doi.org/10.1109/WSC.1998.745061
Hock Soon Tde Souza School R(1997)Intelligent simulation‐based scheduling of workcells: an approachIntegrated Manufacturing Systems10.1108/095760697101587548:1(6-23)Online publication date: 1-Feb-1997
https://doi.org/10.1108/09576069710158754
Arthur JNance R(1996)Independent verification and validationProceedings of the 28th conference on Winter simulation10.1145/256562.256612(230-236)Online publication date: 8-Nov-1996
https://dl.acm.org/doi/10.1145/256562.256612
Yücesan EJacobson S(1996)Computational issues for accessibility in discrete event simulationACM Transactions on Modeling and Computer Simulation10.1145/229493.2295096:1(53-75)Online publication date: 1-Jan-1996
https://dl.acm.org/doi/10.1145/229493.229509

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Development of discrete event system specification (DEVS) building performance models for building energy design

Hybrid agent-based and graph-based modeling for building occupancy simulation

Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Development of discrete event system specification (DEVS) building performance models for building energy design

Hybrid agent-based and graph-based modeling for building occupancy simulation

Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations