Abstract
The paper presents the realization of an object-oriented kernel of a new modeling and simulation environment. The kernel system stands out as it is based on systems theoretical concepts and facilitates combined discrete-continuous, modular, hierarchical modeling. Its implementation language is the AI language Common Lisp and its object-oriented superset CLOS. The kernel system serves as the basis for a knowledge-based modeling and simulation environment supporting interactive modeling and simulation and automatic model construction.
Similar content being viewed by others
References
Adelsberger, H.H., Pooch, U.W., Shannon, R.E., Williams, G.N. 1986. Rule based object oriented simulation systems. InIntelligent Simulation Environments (P.A. Luker and H.H. Adelsberger, eds.) Simulation Series, Vol. 17, San Diego, CA: Society of Computer Simulation
Antsaklis, P.J., Passino, K.M., and Wang, S.J. 1989. Towards intelligent autonomous control systems.J. Intelligent Robotic Systems, 1(4), pp. 315–342.
Auernig, F. 1992. An object oriented kernel for system theoretic simulation modelling. Master thesis, Johannes Kepler University, Linz, Austria.
Bobrow, D.G., DeMichiel, L.G., Gabriel, R.P., Keene, S.E., Kiczales, G., and Moon, D.A. 1988.The Common LISP Object System Specification (X3J13-88-002). American National Standard Institute.
Bobrow, D.G., and Stefik, M. 1983.The LOOPS Manual. Palo Alto, CA: Xerox PARC.
Booch, G. 1991.Object oriented design with applications. Redwood City, CA: Benjamin Cummings.
Burden, R.L., and Faires, J.D. 1989.Numerical Analysis. Boston: PWS-Kent.
Cellier, F.E. 1979. Combined continuous/discrete system simulation by use of digital computers. Techniques and tools. Ph.D. thesis, Diss ETH No. 6483, Swiss Federal Institute of Technology, Switzerland.
Cellier, F.E. 1986. Combined continuous/discrete simulation—application, techniques, and tools.Proc. 1986 Winter Simulation Conf., Washington, D.C. pp. 24–33.
Cellier, F.E. 1991.Continuous System Modelling. New York: Springer-Verlag.
Elzas, M.S., Ören, T.I., and Zeigler, B.P. (eds.). 1986.Modelling and Simulation Methodology: Knowledge System's Paradigms. Amsterdam: North-Holland.
Elzas, M.S., Ören, T.I., and Zeigler, B.P. (eds.). 1986.Modelling and simulation in the artificial intelligence era. Amsterdam: North-Holland.
Fishwick, P.A., and Zeigler, B.P. 1992. A multimodel methodology for qualitative model engineering.ACM Trans. Modeling Comput. Simulation, 2(1), pp. 52–81.
Garzia, R.F., Garzia, M.R., and Zeigler, B.P. 1986. Discrete-event simulation.IEEE Spectrum, pp. 32–36.
Ho, Y. (ed.). 1989. Special Issue on Dynamics of Discrete Event Systems.Proc. IEEE, 77(1).
Ingalls, D., Wallace, S., Chow, Y., Ludolph, F., and Doyle, K. 1988. Fabrics—a visual programming environment.OOPSLA '88 Proc., ACM Sigplan Notices, Special Issue.
Kapfer, W. 1989. Optimale Dimensionierung einer Niedertemperatur-Solaranlage für die Warmwasserbereitung. Master thesis, Johannes Kepler University, Linz, Austria.
Keene, S.E. 1989.Object-Oriented Programming in Common LISP. Reading, MA: Addison-Wesley.
Meingassner, B., and Mitterhauser, K. Optimale Dimensionierung einer Solarheizung. Technical report, Institute of Mathematics, Johannes Kepler University, Linz, Austria.
Meyer, B. 1988.Object Oriented Software Construction. Englewood Cliffs, NJ: Prentice Hall.
Meystel, A. 1989. Intelligent control: a sketch of the theory.J. Intelligent Robotic Systems, 2(2, 3), pp. 97–107.
Mittelmann, R., and Praehofer, H. 1990. Design of an object oriented kernel system for computer aided systems theory and systems theory instrumented modelling and simulation. InComputer Aided Systems Theory—EUROCAST '89 (F. Pichler and R. Moreno-Diaz, eds.). Lecture Notes in Computer Science, New York: Springer-Verlag, pp. 76–85.
Ören, T.I. 1984. GEST—a modelling and simulation language based on system theoretic concepts. InSimulation and Model-Based Methodologies: An Integrative View (T.I. Ören, B.P. Zeigler, and M.S. Elzas, eds.). NATO ASI Series, Series F: Computer and System Sciences, Vol. 10, New York: Springer-Verlag, pp. 281–335.
Ören, T.I. 1991. Dynamic templates and semantic rules for simulation advisers and certifiers. InKnowledge-Based Simulation: Methodology and Application (P.A. Fishwick and R.B. Modjeski, eds.). New York: Springer-Verlag, pp. 53–76.
Ören, T.I., Zeigler, B.P., and Elzas, M.S. (eds.). 1984.Simulation and Model-Based Methodologies: An Integrative View. Berlin: Springer-Verlag.
Pichler, F., and Moreno-Diaz, R. (eds.). 1990.Computer Aided Systems Theory—EUROCAST '89. Lecture Notes in Computer Science, Vol. 410, Berlin: Springer-Verlag.
Pichler, F., and Moreno-Diaz, R. (eds.). 1992.Computer Aided Systems Theory—EUROCAST'91. Lecture Notes in Computer Science, Vol. 585, Berlin: Springer-Verlag.
Pichler, F., and Schwärtzel, H. 1990.CAST—Computerunterstuetzte Systemtheorie. Berlin: Springer-Verlag.
Pichler, F., and Schwärtzel, H. (eds.). 1992.CAST Methods in Modelling. Berlin: Springer-Verlag.
Praehofer, H. 1991. Systems theoretic foundations for combined discrete continuous system simulation. Ph.D. thesis, Department of Systems Theory, University of Linz, Austria.
Praehofer, H. 1991. Systems theoretic formalisms for combined discrete continuous system simulation.Int. J. Gen. Systems, 19(3), pp. 219–240.
Pritsker, A.A.B. 1974.The GASP IV Simulation Language. New York: Wiley.
Reisinger, G. 1992. Simulation of combined discrete-continuous, modular, hierarchical models in common Lisp/CLOS. Master thesis, Johannes Kepler University, Linz, Austria.
Rumbaugh, J., Blaha, M., Premerlani, W., Frederick, E., and Lorenson, W. 1991.Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice-Hall.
Saridis, G. 1983. Intelligent robotic controls.IEEE Trans. Auto. Control, AC-28(5).
Steele, G. 1990.Common LISP: The Language, 2nd ed. Burlington: Digital Press.
Symbolics. 1991.Common Lisp Interface Manager (CLIM): Release 1.0. Burlington, MA: Symbolics Corp.
Zeigler, B.P. 1976.Theory of Modelling and Simulation. New York: Wiley.
Zeigler, B.P. 1984.Multifacetted Modelling and Discrete Event Simulation. London: Academic Press.
Zeigler, B.P. 1987. Hierarchical, modular discrete event simulation in an object oriented environment.Simulation J. 49(5), pp. 219–230.
Zeigler, B.P. 1989. DEVS representation of dynamical systems: event-based intelligent control.Proc. IEEE, 77(1), pp. 72–80.
Zeigler, B.P. 1990.Object-Oriented Simulation with Hierarchical, Modular Models. London: Academic Press.
Zeigler, B.P. 1990. High autonomy systems: concepts and models. InAI, Simulation and Planning in High Autonomy Systems (B.P. Zeigler and J.W. Rozenblit, eds.). IEEE Computer Society Press, pp. 2–7.
Zeigler, B.P., and Praehofer, H. 1990. System theory challenges in the simulation of variable structure and intelligent systems. InComputer Aided Systems Theory—EUROCAST '89 (F. Pichler and R. Moreno-Diaz, eds.). Lecture Notes in Computer Science, vol. 410, Berlin: Springer-Verlag, pp. 41–51.
Author information
Authors and Affiliations
Additional information
This research was supported in part by SIEMENS Munich, ZFE, ST.
Rights and permissions
About this article
Cite this article
Praehofer, H., Auernig, F. & Reisinger, G. An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS. Discrete Event Dyn Syst 3, 119–149 (1993). https://doi.org/10.1007/BF01439846
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01439846