An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS-Reference-Cited by-同舟云学术

An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS

Published:1993-07 Issue:2-3 Volume:3 Page:119-149
ISSN:0924-6703
Container-title:Discrete Event Dynamic Systems: Theory and Applications
language:en
Short-container-title:Discrete Event Dyn Syst

Author:

Praehofer H.,Auernig F.,Reisinger G.

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/BF01439846.pdf

Reference44 articles.

1. Simulation Series;H.H. Adelsberger,1986

2. 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.

3. Auernig, F. 1992. An object oriented kernel for system theoretic simulation modelling. Master thesis, Johannes Kepler University, Linz, Austria.

4. 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.

5. Bobrow, D.G., and Stefik, M. 1983.The LOOPS Manual. Palo Alto, CA: Xerox PARC.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Discrete-event simulation of continuous-time systems: evolution and state of the art of quantized state system methods;SIMULATION;2024-03-26

2. Multi-Formalism Modeling and Simulation;Theory of Modeling and Simulation;2019

3. Translation from ECML to Linear Hybrid Automata;Lecture Notes in Electrical Engineering;2012

4. Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech;Communications in Computer and Information Science;2011

5. Expressiveness of verifiable hierarchical clock systems;International Journal of General Systems;2008-08