Abstract
This paper studies the concurrent simulation of DEVS systems by using their encoding into a formalism for dynamic systems called Generalized Magnitudes (GM). When represented with GMs, the internal parallelism of a DEVS model is foregrounded and the concurrent inference techniques developed for the GMs formalism can be applied to speed up simulation. This approach is used for both atomic and coupled DEVS models, and does not require the modeler’s intervention. The internal structure of a typical DEVS control system is identified, so that the scheduling algorithms can be adapted for further efficiency improvement.
This work was supported in part by the Government of Galicia (Spain) under grant ref. XUGA10501B98, and in part by the Government of Spain, grant ref. PB97-0228.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cabarcos, M., Otero-Díaz, M., Cabalar, P., Otero, R.P.: Efficient concurrent execution of medtool expert systems. In: Conference on Artificial Intelligence Applications (EXPERSYS 1996), Paris (October 1996)
Chow, A.C., Zeigler, B.P.: Parallel DEVS: A parallel, hierarchical, modular modeling formalism. In: Winter Simulation Conference Proceedings, Orlando, Florida (1994)
Cornelissen, F., Jonker, C.M., Treur, J.: Compositional verification of knowledgebased systems: a case study in diagnostic reasoning. In: Plaza, E. (ed.) EKAW 1997. LNCS (LNAI), vol. 1319, Springer, Heidelberg (1997)
Otero, R.P., Barreiro, A., Cabalar, P., Lorenzo, D.: Discrete event simulation in an environment for temporal expert systems. In: Albrecht, R., Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1995. LNCS, vol. 1030, pp. 271–282. Springer, Heidelberg (1996)
Otero, R.P., Barreiro, A., Praehofer, H., Pichler, F., Mira, J.: STIMS-MEDTOOL: Integration of expert systems with systems modelling and simulation. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1993. LNCS, vol. 763, pp. 347–356. Springer, Heidelberg (1994)
Praehofer, H., Reisinger, G.: Distributed simulations of DEVS-based multiformalism models. In: AIS 1994, Gainesville, FL (December 1994)
van Harmelen, F., ten Teije, A.: Validation and verification of conceptual models of diagnosis. In: Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV 1997), pp. 117–128 (June 1997)
Zeigler, B.P.: DEVS representation of dynamical systems: Event-based intelligent control. Proceedings of the IEEE 77(1), 72–80 (1989)
Zeigler, B.P., Kim, T.G., Praehofer, H.: Theory of Modelling and Simulation, 2nd edn. Academic Press, New York (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cabarcos, M., Otero, R.P., Pose, S.G. (2000). Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference. In: Kopacek, P., Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST’99. EUROCAST 1999. Lecture Notes in Computer Science, vol 1798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720123_28
Download citation
DOI: https://doi.org/10.1007/10720123_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67822-9
Online ISBN: 978-3-540-44931-7
eBook Packages: Springer Book Archive