Abstract
In this paper we address the question of the expressibility of discrete event specified systems (DEVS), i.e., we characterize the subclass of dynamical systems which can be homomorphically represented by DEVS models. We show that causal dynamical systems with piecewise constant input and output segment spaces are DEVS-representable. Moreover, DEVS-representable dynamical systems are closed under coupling, i.e., that a valid coupling of DEVS-representable dynamical systems is a DEVS-representable dynamical system. This justifies hierarchical, modular construction of both DEVS models and real-world (continuous or discrete) counterpart systems. Furthermore, we investigate a subclass of dynamical systems in detail, viz., discretely interacting continuous systems with internal dynamics specified by differential equations. This class is important in the rapidly developing field of hybrid autonomous systems control. As an application to CAST (computer-aided system technology), we show that this class is amenable to DEVS representation and therefore, also new forms of high performance parallel/distributed discrete event simulation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
P.J. Anstaklis, M.D. Passino, and S.J. Wang. Towards intelligent autonomous control systems. Journal of Intelligent and Robotic Systems, 1(4):315–342, 1989.
P. J. Antsaklis, K. M. Passino, and S. J. Wang. Towards intelligent autonomous control systems. J. of Intelligent and Robotic Systems, 1(4):315–342, 1989.
T. Asahi and B. P. Zeigler. Behavioral characterization of discrete event systems. In Proc. of AI, Simulation and Planning in High-Autonomy Systems, pages 127–132, Tucson AZ, Sept 1993. IEEE/CS Press.
M. Perestrello de Vasconcelos and B. P. Zeigler. Discrete event simulation of forest landscape response to fire disturbances. Ecological Modeling, 65:177–198, 1993.
D. Harel et al. Statemate: A working environment for the specification of compex reactive system. IEEE Trans. on SE, 16(4):403–414, 1990.
R.L. Grossman, A. Nerode, A.P. Raun, and H. Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1993.
Y. C. Ho. Special issue on discrete event dynamic systems. Proceedings of the IEEE, 77(1), 1989.
M.D. Lemmon and P.J. Anstaklis. Hybrid systems and intelligent control. In Proc. of the 1993 IEEE International Symposium on Intelligent Control, pages 174–179, Chicago, IL, 1993.
Y.-H. Li. Hybrid synthesis of optimal control for discrete event systems. In Proc. of the 1993 IEEE International Symposium on Intelligent Control, pages 308–313, Chicago, IL, 1993.
C. Liao, A. Motaabbed, D. Kim, and B.P. Zeigler. Distributed simulation algorithms for sparce output DEVS. In Proc. of AI, Simulation and Planning in High-Autonomy Systems, pages 171–177, Tucson AZ, Sept 1993. IEEE/CS Press.
C.J. Luh and B. P. Zeigler. Abstracting event-based control models for high autonomy systems. IEEE Trans. on Systems, Man and Cybernetics, 23(1):42–54, 1993.
A. Meystel. Intelligent control: A sketch of the theory. Journal of Intelligent and Robotic Systems, 2(2):97–107, 1989.
L. Padula and M. A. Arbib. Systems Theory. Saunders, Philadelphia, 1974.
F. Pichler and H. Schwaertzel, editors. CAST Methods in Modelling. Springer-Verlag, 1992.
H. Praehofer. System Theoretic Foundations for Combined Discrete-Continuous System Simulation. PhD thesis, Johannes Kepler University of Linz, Linz, Austria, 1991.
H. Praehofer, P. Bichler, and B. P. Zeigler. Synthesis of endomorphic models for event-based control. In Proc. of AI, Simulation and Planning in High-Autonomy Systems, pages 120–126, Tucson AZ, Sept 1993. IEEE/CS Press.
P.J.G. Ramadge and W.M. Wohnham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81–98, 1989.
J. A. Stiver and P.J. Anstaklis. Extracting discrete event models from hybrid control systems. In Proc. of the 1993 IEEE International Symposium on Intelligent Control, pages 298–301, Chicago, IL, 1993.
G. Wunsch, editor. Handbuch der Systemtheorie. Akademie-Verlag, Berlin, 1986.
B. P. Zeigler. Theory of Modelling and Simulation. John Wiley, New York, 1976.
B. P. Zeigler. Multifacetted Modelling and Discrete Event Simulation. Academic Press, London, 1984.
B. P. Zeigler. DEVS representation of dynamical systems: Event-based intelligent control. Proceedings of the IEEE, 77(1):72–80, 1989.
B. P. Zeigler. Object-Oriented Simulation with Hierarchical, Modular Models. Academic Press, London, 1990.
B. P. Zeigler, George Ball, and Doo Hwan Kim. Hierarchical distributed genetic algorithms control of simulation-based optimization. In Proceedings of the Petaflops Frontier Workshop, 1995 Conference on Massively Parallel Computation, Washington, DC., 1995. IEEE/CS Press.
B. P. Zeigler and W. H. Sanders. Preface to special issue on environments for discrete event dynamic systems. Discrete Event Dynamic Systems: Theory and Application, 3(2):110–119, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Praehofer, H., Zeigler, B.P. (1996). On the expressibility of discrete event specified systems. In: Klir, G.J., Ören, T.I. (eds) Computer Aided Systems Theory — CAST '94. Lecture Notes in Computer Science, vol 1105. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61478-8_68
Download citation
DOI: https://doi.org/10.1007/3-540-61478-8_68
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61478-4
Online ISBN: 978-3-540-68600-2
eBook Packages: Springer Book Archive