On characterizing and assessing the validity of behavioral models and their predictions

Proceedings of the ASME Design Engineering Technical Conference

Volumn 3, Issue , 2004, Pages 325-336

  Malak Jr , Richard J ^a   Paredis, Christiaan J J ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTERIZATION; COMPUTATIONAL COMPLEXITY; DECISION MAKING; PREDICTIVE CONTROL SYSTEMS; PROBLEM SOLVING; PRODUCT DEVELOPMENT; BEHAVIORAL RESEARCH; KNOWLEDGE MANAGEMENT; PRODUCT DESIGN;

CONCEPTUAL FRAMEWORK; DIRECT IMPACT; ENGINEERING DESIGN; VALIDATION; BEHAVIORAL MODEL; CONCEPTUAL FRAMEWORKS; DEVELOPMENT ENVIRONMENT; FORMAL DESCRIPTION; GAIN INSIGHT; KNOWLEDGE IT; MODELLING AND PREDICTIONS; PREDICTION INFORMATIONS; SCIENTIFIC THEORIES; VALIDATION PROBLEM;

BEHAVIORAL RESEARCH; FORECASTING;

EID: 14044272899     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/detc2004-57452     Document Type: Conference Paper

References (51)

1. Balci, O., 1997, "Principles of Simulation Model Validation, Verification and Testing," Transactions of the Society for Computer Simulation International, 14(1), pp. 3-12.
2. Kuhn, T. S., 1996 (1962), The Structure of Scientific Revolutions, University of Chicago Press, Chicago, Il.
3. Szykman, S., Sriram, R., Bochenek, C., and Racz, J., 1998, "The Nist Design Repository Project," Advances in Soft Computing - Engineering Design and Manufacturing, Springer-Verlag, London, pp. 5-19.
4. Szykman, S., Sriram, R., Bochenek, C., Racz, J., and Senfaute, J., 2000, "Design Repositories: Engineering Design's New Knowledge Base," in IEEE Intelligent Systems, vol. 15, pp. 48-55.
5. Mocko, G., Malak Jr., R. J., Paredis, C. J. J., and Peak, R., 2004, "A Knowledge Repository for Behavioral Models in Engineering Design," 24th ASME Computers and Information in Engineering Conference, Salt Lake City, UT, ASME DETC2004-57746.
6. Balci, O., 1995, "Principles and Techniques of Simulation Validation, Verification and Testing," Winter Simulation Conference, pp. 147-154.
7. Schlesinger, S., Crosbie, R. E., Innis, G. S., Lalwani, C. S., Loch, J., Sylvester, R. J., Wright, R. O., Kheir, N., and Bartos, D., 1979, "Terminology for Model Credibility," Simulation, 32(3), pp. 103-104.
8. Oberkampf, W. L., and Trucano, T. G., 2002, "Verification and Validation in Computational Fluid Dynamics," Progress in Aerospace Sciences, 38, pp. 209-272.
9. Baghdasaryan, L., Chen, W., Buranathiti, T., and Cao, J., 2002, "Model Validation Via Uncertainty Propagation Using Response Surface Models," ASME Design Automation Conference, ASME, Montreal, Canada, ASME DETC2002/DAC-34140.
10. Chandrashekar, N., and Krishnamurty, S., 2002, "Bayesian Evaluation of Engineering Models," ASME Design Automation Conference, Montreal, Canada, ASME DETC2002/DAC-34141.
11. Taylor, F., Jayaram, S., Jayaram, U., and Mitsui, T., 2002, "Validation of Virtual Crane Behavior through Comparison with a Real Crane," ASME Computers and Information in Engineering Conference, Montreal, Canada, ASME DETC2002/CIE-34391.
12. Gu, L., and Yang, R. J., 2003, "Computer Model Validation in Vehicle Crash Safety Design," ASME Design Automation Conference, Chicago, II, ASME DETC2003/DAC-48757.
13. Hazelrigg, G. A., 2003, "Thoughts on Model Validation for Engineering Design," 15th ASME International Conference on Design Theory and Methodology, Chicago, II, ASME DETC2003/DTM-48632.
14. Meckesheimer, M., Barton, R. R., Simpson, T., and Booker, A. J., 2001, "Computationally Inexpensive Metamodel Assessment Strategies," ASME Design Automation Conference, Pittsburgh, PA, ASME DETC2001/DAC-21028.
15. Law, A. M., and Kelton, W. D., 2000, Simulation Modeling and Analysis, McGraw-Hill, Boston.
16. Law, A. M., and McComas, M. G., 2001, "How to Build Valid and Credible Simulation Models," Winter Simulation Conference, pp. 22-29.
17. Simpkins, S. D., Paulo, E. P., and Whitaker, L. R., 2001, "Case Study in Modeling and Simulation Validation Methodology," Winter Simulation Conference, IEEE, Arlington, VA, pp. 758-766.
18. Birta, L. G., and Ozmizrak, F. N., 1996, "A Knowledge-Based Approach for the Validation of Simulation Models: The Foundation," ACM Transactions on Modeling and Computer Simulation, 6(1), pp. 76-98.
19. Sargent, R. G., 2001, "Some Approaches and Paradigms for Verifying and Validating Simulation Models," Winter Simulation Conference, pp. 106-114.
20. Mattsson, S. E., Elmqvist, H., and Otter, M., 1998, "Physical System Modeling with Modelica," Control Engineering Practice, 6, pp. 501-510.
21. Tiller, M. M., 2001, Introduction to Physical Modeling with Modelica, Kluwer, Boston, MA.
22. Christen, E., and Bakalar, K., 1999, "Vhdl-Ams - a Hardware Description Language for Analog and Mixed-Signal Applications," IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 40(10), pp. 1263-1272.
23. Guha, R. V., and Lenat, D. B., 1992, "Language, Representation and Contexts," Journal of Information Processing, 15(3), pp. 340-349.
24. Akman, V., and Surav, M., 1997, "The Use of Situation Theory in Context Modeling," Computational Intelligence, 13(3), pp. 427-438.
25. McCarthy, J., 1993, "Notes on Formalizing Context," IJCAI-93: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, Chambery, France, 1, pp. 555-560.
26. Guha, R. V., and McCarthy, J., 2003, "Varieties of Contexts," Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Springer, Stanford, CA, pp. 164-177.
27. Akman, V., and Surav, M., 1996, "Steps toward Formalizing Context," AI Magazine, 17(3), pp. 55-72.
28. Falkenhainer, B., and Forbus, K. D., 1991, "Compositional Modeling: Finding the Right Model for the Job," Artificial Intelligence, 51, pp. 95-143.
29. Simon, H. A., 1996, The Sciences of the Artificial, MIT Press, Cambridge, MA.
30. Parry, G. W., 1996, "The Characterization of Uncertainty in Probabilistic Risk Assessment of Complex Systems," Reliability Engineering and System Safety, 54(2-3), pp. 119-126.
31. Person, S., and Ginzburg, L., 1996, "Different Methods Are Needed to Propagate Ignorance and Variability," Reliability Engineering and System Safety, 54(2-3).
32. Antonsson, E. K., and Otto, K. N., 1995, "Imprecision in Engineering Design," ASME Journal of Mechanical Design, 117, pp. 25-32.
33. Oberkampf, W. L., DeLand, S. M., Rutherford, B. M., Diegert, K. V., and Alvin, K. F., 2002, "Error and Uncertainty in Modeling and Simulation," Reliability Engineering and System Safety, 75(3), pp. 333-357.
34. Dubois, D., 1988, Possibility Theory, Plenum Press, New York.
35. Klir, G. J., 1997, Fuzzy Set Theory: Foundations and Applications, Prentice Hall, Upper Saddle River, NJ.
36. Yager, R. R., Kacprzyk, J., and Fedrizzi, M., 1994, Advances in the Dempster-Shafer Theory of Evidence, John Wiley and Sons, New York.
37. Person, S., 2000, "Probability Bounds Analysis Solves the Problem of Incomplete Specification in Probabilistic Risk and Safety Assessments," Proceedings of the Ninth Conference on: Risk-Based Decisionmaking in Water Resources IX, Santa Barbara, CA, United States, pp. 173-188.
38. Ben-Haim, Y., 2001, Information Gap Decision Theory, Academic Press, London.
39. Ohanian, H. C., 1995, Modern Physics, Prentice Hall, Englewood Cliffs, NJ.
40. Rosenberg, A., 2000, Philosophy of Science: A Contemporary Introduction, Routledge, New York, NY.
41. Naylor, T. H., and Finger, J. M., 1968, "Verification of Computer Simulation Models," Management Science, 14, pp. 92-101.
42. Herskovitz, P. J., 1991, "A Theoretical Framework for Simulation Validation: Popper's Falsificationism," International Journal of Modeling and Simulation, 11(2), pp. 56-58.
43. Kleindorfer, G. B., and Ganeshan, R., 1993, "The Philosophy of Science and Validation in Simulation," Winter Simulation Conference, pp. 50-57.
44. Barlas, Y., and Carpenter, S., 1990, "Philosophical Roots of Model Validation: Two Paradigms," System Dynamics Review, 6(2), pp. 148-166.
45. Pedersen, K., Emblemsvag, J., Bailey, R., Allen, J. K., and Mistree, F., 2000, "Validating Design Methods and Research: The Validation Square," ASME Conference on Design Theory and Methodology, Baltimore, MD, AMSE DETC2000/DTM-14579.
46. Hume, D., 1965 (1739-40), A Treatise of Human Nature, Clarendon Press, Oxford.
47. Popper, K. R., 1972 (1934), The Logic of Scientific Discovery, Hutchinson, London.
48. Miller, D., 1994, Critical Rationalism: A Restatement and Defence, Open Court, Chicago, Il.
49. Popper, K. R., 1983, Realism and the Aim of Science, Rowman and Littlefield, Totowa, NJ.
50. Rae, A., Robert, P., and Hausen, H.-L., 1995, Software Evaluation and Certification: Principles, Practice and Legal Liability, McGraw-Hill, London, UK.
51. Balci, O., 2001, "A Methodology for Certification of Modeling and Simulation Applications," ACM Transactions on Modeling and Computer Simulation, 11(4), pp. 352-377.