This article presents an overview of the state-of-the art in modeling and simulation, and studies to which extent current simulation technologies can effectively support the design process. For simulation-based design, modeling languages and simulation environments must take into account the special characteristics of the design process. For instance, languages should allow models to be easily updated and extended to accommodate the various analyses performed throughout the design process. Furthermore, the simulation software should be well integrated with the design tools so that designers and analysts with expertise in different domains can effectively collaborate on the design of complex artifacts. This review focuses in particular on modeling for design of multi-disciplinary engineering systems that combine continuous time and discrete time phenomena.

1.
Ascher, U. M., and Petzold, L. R., 1998, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, Siam, Philadelphia, Pennsylvania.
2.
Zeigler, B. P., Praehofer, H., and Kim, T. G., 2000, Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems, 2nd ed. Academic Press.
3.
Fishwick
,
P. A.
,
1998
, “
A Taxonomy for Simulation Modeling Based on Programming Language Principles
,”
IIE Transactions
,
30
, pp.
811
20
.
4.
Histand, M. B., and Alciatore, D. G., 1998, Introduction to Mechatronics and Measurement Systems, McGraw-Hill, Boston.
5.
Seshu, S., and Reed, M. B., 1961, Linear Graphs and Electrical Networks, Addison-Wesley, Reading, Massachusetts.
6.
Triengo
,
M. J. L.
, and
Bos
,
A. M.
,
1985
, “
Modeling the Dynamics and Kinematics of Mechanical Systems with Multibond Graphs
,”
J. Franklin Inst.
,
319
, pp.
37
50
.
7.
Paynter, H. M., 1961, Analysis and Design of Engineering Systems, MIT Press, Cambridge, MA.
8.
Rosenberg, R. C., and Karnopp, D. C., 1983, Introduction to Physical System Dynamics, McGraw-Hill, New York.
9.
Edstro¨m, K., 1999, “Simulation of Newton’s Pendulum Using Switched Bond Graphs,” 1999 Western MultiConference, San Francisco, California.
10.
Ferris, J. B., and Stein, J. L., 1995, “Development of Proper Models of Hybrid Systems: A Bond Graph Formulation,” International Conference on Bond Graph Modeling and Simulation, Las Vegas, Nevada.
11.
Breunese, A. P. J., and Broenink, J. F., 1997, “Modeling Mechatronic Systems Using the SIDOPS+ Language,” ICBGM ’97, Phoenix, AZ, pp. 301–306.
12.
Trent
,
H. M.
,
1955
, “
Isomorphisms between Oriented Linear Graphs and Lumped Physical Systems
,”
J. Acoust. Soc. Am.
,
27
, pp.
500
527
.
13.
Branin, F. H., 1966, “The Algebraic-Topological Basis for Network Analogies and the Vector Calculus,” Symposium on Generalized Networks, Brooklyn, New York, pp. 453–491.
14.
Durfee
,
W. K.
,
Wall
,
W. B.
,
Rowell
,
D.
, and
Abbott
,
F. K.
,
1991
, “
Interactive Software for Dynamic System Modeling Using Linear Graphs
,”
IEEE Control Syst. Mag.
,
11
, pp.
60
66
.
15.
McPhee
,
J. J.
,
1996
, “
On the Use of Linear Graph Theory in Multibody System Dynamics
,”
Nonlinear Dyn.
,
9
, pp.
73
90
.
16.
Baciu
,
G.
, and
Kesavan
,
H. K.
,
1997
, “
From Particle-Mass to Multibody Systems: Graph-Theoretic Modeling
,”
IEEE Trans. Syst. Man Cybern.
,
27
, pp.
244
250
.
17.
Muegge, B. J., 1996, “Graph-Theoretic Modeling and Simulation of Planar Mechatronic Systems,” thesis, University of Waterloo, Systems Design Engineering, Waterloo.
18.
Elmqvist, H., Mattsson, S. E., and Otter, M., 1998, “Modelica: The New Object-Oriented Modeling Language,” The 12th European Simulation Multiconference, Manchester, UK.
19.
Zeigler, B. P., 1990, Object-Oriented Simulation with Hierarchical, Modular Models, Academic Press.
20.
Strauss
,
J. C.
, et al.
,
1967
, “
The SCI Continuous System Simulation Language (CSSL)
,”
Simulation
,
9
, pp.
281
303
.
21.
Maffezzoni
,
C.
, and
Girelli
,
R.
,
1998
, “
Moses: Modular Modeling of Physical Systems in an Object-Oriented Database
,”
Math. Comput. Modell.
,
4
, pp.
121
147
.
22.
Kloas, M., Friesen, V., and Simons, M., 1995, “Smile: A Simulation Environment for Energy Systems,” 5th International IMACS-Symposium on Systems Analysis and Simulation, Berlin, Germany, pp. 503–506.
23.
Mattsson
,
M. E.
, and
Otter
,
S.
,
1998
, “
Physical System Modeling with Modelica
,”
Control Eng. Prac.
,
6
, pp.
501
510
.
24.
Piela
,
P. C.
,
Epperly
,
T. G.
,
Westerberg
,
K. M.
, and
Westerberg
,
A. W.
,
1991
, “
ASCEND: An Object Oriented Computer Environment for Modeling and Analysis. 1 — the Modeling Language
,”
Comput. Chem. Eng.
,
15
, pp.
53
72
.
25.
Cellier, F. E., 1991, Continuous System Modeling, Springer-Verlag.
26.
Glynn, P. W., 1992, “A GSMP Formalism for Discrete Event Systems,” in Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, Y.-C. Ho, ed., IEEE Press, pp. 11–20.
27.
Koenig, H. E., Tokad, Y., Kesavan, H. K., and Hedges, H. G., 1967, Analysis of Discrete Physical Systems, McGraw-Hill, New York.
28.
Banks, J., 1998, Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice, Wiley, New York.
29.
Barton
,
P. I.
, and
Pantelides
,
C. C.
,
1994
, “
Modeling of Combined Discrete/Continuous Processes
,”
AIChE J.
,
40
, pp.
966
979
.
30.
Fishwick, P. A., 1997, “Integrating Continuous and Discrete Models with Object Oriented Physical Modeling,” 1997 Western Simulation Multiconference, Phoenix, Arizona.
31.
Cellier, F. E., 1996, “Object-Oriented Modeling: Means for Dealing with System Complexity,” 15th Benelux Meeting on Systems and Control, Mierlo, Netherlands.
32.
Diaz-Calderon, A., Paredis, C. J. J., and Khosla, P. K., 2000, “Reconfigurable Models: A Modeling Paradigm to Support Simulation-Based Design,” 2000 Summer Computer Simulation Conference, Vancouver, Canada.
33.
Zhang, G., and Zeigler, B. P., 1989, “The System Entity Structure: Knowledge Representation for Simulation Modeling and Design,” in Artificial Intelligence, Simulation and Modeling, L. E. Widman, K. A. Loparo, and N. R. Nielsen, eds., Wiley, New York, pp. 47–73.
34.
Zeigler
,
B. P.
, and
Luh
,
C.-J.
,
1991
, “
Model Based Management for Multifacetted Systems
,”
ACM Trans. Model. Comput. Simul.
,
1
, pp.
195
218
.
35.
Anderson, M., 1994, “Object-Oriented Modeling and Simulation of Hybrid Systems,” thesis, Lund Institute of Technology, Department of Automatic Control, Lund, Sweden.
36.
Diaz-Calderon
,
A.
,
Paredis
,
C. J. J.
, and
Khosla
,
P. K.
,
2000
, “
Automatic Generation of System-Level Dynamic Equations for Mechatronic Systems
,”
J. Comput.-Aided Mater. Des.
,
32
, pp.
339
354
.
37.
Kubler, R., and Schiehlen, W., 1999, “Modular Modeling and Simulation of Multibody Systems,” ASME DETC 1999 17th Biennial Conference on Mechanical Vibration and Noise, Las Vegas, Nevada, pp. DETC99/VIB-8227.
38.
Otter
,
M.
,
Elmqvist
,
H.
, and
Cellier
,
F.
,
1996
, “
Modeling of Multibody Systems with the Object-Oriented Modeling Language Dymola
,”
Nonlinear Dyn.
,
9
, pp.
91
112
.
39.
Lu¨ckel, J., Junker, F., and Toepper, S., 1993, “Block-Oriented Modeling of Rigid Multibody Systems with Regard to Subsystem Techniques,” in Advanced Multibody System Dynamics Simulation and Software Tools, W. Schiehlen, ed., Kluwer Academic Publishers, Dordrecht, Netherlands, pp. 49–66.
40.
Sinha, R., Paredis, C. J. J., and Khosla, P. K., 2000, “Integration of Mechanical CAD and Behavioral Modeling,” IEEE/ACM Workshop on Behavioral Modeling and Simulation, Orlando, FL.
41.
Crolla, D. A., Horton, D., and Firth, G. R., 1993, “VDAS-a Toolkit Approach to Vehicle System Simulation,” in Advanced Multibody System Dynamics Simulation and Software Tools, W. Schiehlen, ed., Kluwer Academic Publishers, pp. 367–372.
42.
Wittenburg, J., and Wolz, U., 1985, “MESA VERDE: A Symbolic Program for Nonlinear Articulated-Rigid-Body Dynamics,” ASME Design Engineering Technical Conference, Cincinnati, OH.
43.
Schiehlen
,
W.
,
1997
, “
Multibody System Dynamics: Roots and Perspectives
,”
Multibody Syst. Dynam.
,
1
, pp.
149
188
.
44.
Shabana
,
A.
,
1997
, “
Flexible Multibody Dynamics: Review of Past and Recent Developments
,”
Multibody Syst. Dynam.
,
1
, pp.
189
222
.
45.
Gillespie, B., and Colgate, J. E., 1997, “A Survey of Multibody Dynamics for Virtual Environments,” ASME Dynamic Systems and Control Division, Dallas, TX.
46.
Schwerin, V., 1999, Multibody System Simulation: Numerical Methods, Algorithms, and Software.
47.
Richard
,
M.
, and
Gosselin
,
C.
,
1993
, “
A Survey of Simulation Programs for the Analysis of Mechanical Systems
,”
Math. Comput. Simul.
,
35
, pp.
103
121
.
48.
Broenink, J. F., Hilderink, G. H., and Bakkers, A. W. P., 1998, “Conceptual Design for Controller Software of Mechatronic Systems,” 1998 Lancaster International Workshop on Engineering Design, Lancaster, UK, pp. 215–229.
49.
Rai, S., and Jackson, W., 1999, “Collaborative Design of Modular Electromechanical Systems with Distributed Controls,” 1999 ASME Design Engineering Technical Conference, Las Vegas, Nevada, pp. DETC99/DTM-8775.
50.
Le, T., Renner, F. M., and Glesner, M., 1997, “Hardware in-the-Loop Simulation — a Rapid Prototyping Approach for Designing Mechatronics Systems,” 8th International Workshop on Rapid System Prototyping (RSP ’97), Chapel Hill, NC.
51.
Boot, R., Richert, J., and Schu¨tte, H., 1998, “Automated Test of ECUs in a Hardware-in-the-Loop Simulation Environment,” ASIM 98, Zu¨rich, Switzerland.
52.
Tummescheit, H., and Eborn, J., 1998, “Design of a Thermo-Hydraulic Model Library in Modelica,” 12th European Simulation Multiconference, Manchaster, UK.
53.
Ludecke, A., Trieu, H.-K., Hoffmann, G., Weyand, P., and Pelz, G., 1999, “Modeling in Hardware Description Languages for the Simulation of Coupled Fluidic, Thermal and Electrical Effects,” 1999 Behavioral Modeling and Simulation, Orlando, Florida.
54.
Pahl, G., and Beitz, W., 1996, Engineering Design: A Systematic Approach, 2nd ed., Springer-Verlag, London, U.K.
55.
Shooter, S. B., Keirouz, W., Szykman, S., and Fenves, S. J., 2000, “A Model for the Flow of Design Information,” ASME DETC 2000, 12th International Conference on Design Theory and Methodology, Baltimore, MD, pp. DETC2000/DTM-14550.
56.
Sydow, A., 1982, “Hierarchical Concepts in Modeling and Simulation,” in Progress in Modeling and Simulation, F. E. Cellier, ed., Academic Press, London.
57.
Shah, J. J., and Mantyla, M., 1995, Parametric and Feature-Based CAD/CAM: Concepts, Techniques, Applications, Wiley, New York.
58.
Sinha, R., Paredis, C. J. J., Gupta, S. K., and Khosla, P. K., 1998, “Capturing Articulation in Assemblies from Component Geometry,” ASME Design Engineering Technical Conference, Atlanta, GA.
59.
Daberkow
,
A.
, and
Kreuzer
,
E. J.
,
1999
, “
An Integrated Approach for Computer-Aided Design in Multibody System Dynamics
,”
Eng. Comput.
,
15
, pp.
155
170
.
60.
Lin
,
S.-T.
, and
Lin
,
J.-H.
,
1998
, “
Computer Aided Dynamic Analysis and Simulation of Multibody Mechanical Systems in AutoCAD
,”
Simulation
,
71
, pp.
328
335
.
61.
Duckering, B. C., 2000, “Behavioral Modeling Technology: Leveraging Engineering Knowledge in CAD Models,” The Fourth IFIP Working Group 5.2 Workshop on Knowledge Intensive CAD (KIC-4), Parma, Italy, pp. 126–135.
62.
Qureshi, S., Shah, J., Sunderarajan, K. G., Urban, S., Harter, E., Parazzoli, C., and Bluhm, T., 1997, “A Framework for Providing an Integrated View of Electromechanical Product Design Information,” TeamCAD: GVU/NIST Workshop on Collaborative Design, Atlanta, Georgia.
63.
Stein, J. L., and Louca, L. S., 1995, “A Component-Based Modeling Approach for Systems Design: Theory and Implementation,” International Conference on Bond Graph Modeling and Simulation, Las Vegas, NV.
64.
Susca, L., Mandorli, F., and Rizzi, C., 2000, “How to Represent ”Intelligent“ Components in a Product Model: A Practical Example,” The Fourth IFIP Working Group 5.2 Workshop on Knowledge Intensive CAD (KIC-4), Parma, Italy, pp. 197–208.
65.
Bettig, B., Summers, J. D., and Shah, J. J., 2000, “Geometric Examplars: A Bridge between CAD and AI,” The Fourth IFIP Working Group 5.2 Workshop on Knowledge Intensive CAD (KIC-4), Parma, Italy, pp. 57–71.
66.
Neul, R., Becker, U., Lorenz, G., Schwarz, P., Haase, J., and Wu¨nsche, S., 1998, “A Modeling Approach to Include Mechanical Microsystem Components into the System Simulation,” 1998 Design Automation and Test in Europe, Paris, France.
67.
Dewey
,
A.
,
Srinivasan
,
V.
, and
Icoz
,
E.
,
2000
, “
Towards a Visual Modeling Approach to Designing Microelectromechanical System (MEMS) Transducers
,”
J. Micromech. Microeng.
,
9
, pp.
332
340
.
68.
Romanowicz, B. F., 1998, Methodology for the Modeling and Simulation of Microsystems, Kluwer Academic Publishers, Dordrecht, The Netherlands.
69.
Mukherjee
,
T.
, and
Fedder
,
G. K.
,
1999
, “
Hierarchical Mixed-Domain Circuit Simulation, Synthesis and Extraction Methodology for MEMS
,”
J. VLSI Signal Process.-Syst. Signal, Image Video Technol.
,
21
, No.
3
, pp.
233
249
.
70.
Hofmann, K., Lang, M., Karam, J. M., Glesner, M., and Courtois, B., 1996, “Generation O: A Behavioral Model of an Acceleration Sensor from Its Finite-Element-Description,” Third France-Japan Congress and First Europe-Asia Congress on Mechatronics, Besancon, France.
71.
Wilson, N. M., Dutton, R. W., and Pinsky, P. M., 1999, “Investigation of Tetrahedral Automatic Mesh Generation for Finite-Element Simulation of Micro-Electro-Mechanical Switches,” International Conference on Modeling and Simulation of Microsystems, Semiconductors, Sensors and Actuators, San Juan, Argentina, pp. 305–308.
72.
Finger, S., Konda, S., Prinz, F., Siewiorek, D., Subrahmanian, E., Tenenbaum, M., Cutkosky, M., Leifer, L., Bajcsy, R., and Birmingham, W., 1994, “Creating an Advanced Collaborative Open Resource Network,” 6th International ASME Conference on Design Theory and Methodology, Minneapolis, MN.
73.
Sriram, D., Logcher, R. D., Groleau, N., and Cherneff, J., 1992, “Dice: An Object-Oriented Programming Environment for Cooperative Engineering Design,” in Artificial Intelligence in Engineering Design, Vol. III, T. Tong and D. Sriram, eds., Academic Press, New York, pp. 303–366.
74.
Choi
,
K. K.
,
Chang
,
K. H.
,
Wang
,
J. Y.
,
Tsai
,
C. S.
, and
Steele
,
J. S.
, 1996, “A Simulation-Based Design Approach for Concurrent Engineering,” University of Iowa, Iowa City, Technical Report R96-08, November.
75.
Cutkosky
,
M. R.
,
Tenenbaum
,
J. M.
, and
Glicksman
,
J.
,
1996
, “
Madefast: Collaborative Engineering over the Internet
,”
Commun. ACM
,
39
, pp.
78
87
.
76.
Bajaj, C., and Cutchin, S., 1999, “Web Based Collaborative Visualization of Distributed and Parallel Simulation,” 1999 IEEE Parallel Visualization and Graphics Symposium, San Francisco, California, pp. 47–54.
77.
Iwasaki, Y., Farquhar, A., Fikes, R., and Rice, J., 1997, “A Web-Based Compositional Modeling System for Sharing of Physical Knowledge,” International Joint Conference on Artificial Intelligence, pp. 494–500.
78.
Lutz
,
R.
,
Scrudder
,
R.
, and
Graffagnini
,
J.
,
1998
, “
High Level Architecture Object Model Development and Supporting Tools
,”
Simulation
,
71
, pp.
401
409
.
79.
Park
,
H. C.
, and
Kim
,
T. G.
,
1998
, “
A Relational Algebraic Framework for VHDL Models Management
,”
Trans. Soc. Comput. Simul. Int.
,
15
, pp.
43
55
.
80.
Breunese
,
A. P. J.
,
Top
,
J. L.
,
Broenink
,
J. F.
, and
Akkermans
,
J. M.
,
1998
, “
Library of Reusable Models: Theory and Application
,”
Simulation
,
71
, pp.
7
22
.
81.
Murdock, J. W., Szykman, S., and Sriram, R. D., 1997, “An Information Modeling Framework to Support Design Databases and Repositories,” 1997 ASME Design Engineering Technical Conferences, Sacramento, CA, pp. DETC97/DFM-4373.
82.
Ozawa, M., Cutkosky, M. R., and Howley, B. J., 1998, “Model Sharing Among Agents in a Concurrent Product Development Team,” Workshop on Knowledge Intensive CAD, KIC-3, IFIP 5.2 Working Group, Tokyo, Japan, pp. 1–12.
83.
Schlenoff, C., Denno, P., Ivester, R., Szykman, S., and Libes, D., 1999, “An Analysis of Existing Ontological Systems for Applications in Manufacturing,” ASME DETC 19th Computers and Information in Engineering Conference, Las Vegas, Nevada, pp. DETC99/EIM-9024.
84.
Devedzic
,
V.
,
1999
, “
A Survey of Modern Knowledge Modeling Techniques
,”
Exp. Syst. Appl.
,
17
, pp.
275
294
.
85.
Szykman, S., Senfaute, J., and Sriram, R. D., 1999, “The Use of XML for Describing Functions and Taxonomies in Computer-Based Design,” 19th DETC/Computers and Information in Engineering Conference, Las Vegas, Nevada, pp. DETC99/EIM-9025.
86.
Szykman
,
S.
,
2000
, “
Design Respositories: Engineering Design’s New Knowledge Base
,”
IEEE Intell. Syst.
,
15
, pp.
48
55
.
87.
Szykman, S., Fenves, S. J., Shooter, S. B., and Keirouz, W., 2000, “A Foundation for Interoperability in Next-Generation Product Development Systems,” 2000 ASME Design Engineering Technical Conferences (20th Computers and Information in Engineering Conference), Paper No. DETC2000/CIE-14622, Baltimore, MD.
88.
Nguyen, H., 1998, “Model Validation and Abstraction,” HW/SW Codesign MEDEA/ESPRIT Conference, Grenoble, France.
89.
Lee, K., and Fishwick, P. A., 1997, “A Semi-Automated Method for Dynamic Model Abstraction,” SPIE.
90.
Hsieh, Y.-W., and Levitan, S. P., 1998, “Model Abstraction for Formal Verification,” 1998 Design Automation and Test in Europe, Paris.
91.
Ozawa, M., Biswas, G., and Zhu, L., 1999, “Task Distribution and Lumped Parameter Modeling in Multi-Disciplinary Product Development,” ASME Design Engineering Technical Conferences, Las Vegas, Nevada.
You do not currently have access to this content.