Abstract
We make the case that Discrete Event System Specification (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS offers an expressive framework for modelling, design, analysis and simulation of autonomous and hybrid systems. We review some known features of DEVS and its extensions. We then focus on the use of DEVS to formulate and synthesize supervisory level controllers.
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.
Cristos G. Cassandras. Discrete Event Systems. IRWIN, 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.
Fr.Pichler and H. Schwaertzel, editors. CAST Methods in Modelling, chapter 3, pages 123–241. Springer-Verlag, 1992.
Y. C. Ho. Special issue on discret event dynamic systems. Proceedings of the IEEE, 77(1), 1989.
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
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.
H. Praehofer. System Theoretic Foundations for Combined Discrete-Continuous System Simulation. PhD thesis, Johannes Kepler University of Linz, Linz, Austria, 1991.
H. Praehofer and B.P. Zeigler. Automatic abstraction of event-based control models from continuous base models. submitted to IEEE Trans. Systems, Man and Cybernetics, 1995.
P.J.G. Ramadge and W.M. Wohnham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81–98, 1989.
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 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
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zeigler, B.P., Song, H.S., Kim, T.G., Praehofer, H. (1995). DEVS framework for modelling, simulation, analysis, and design of hybrid systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems II. HS 1994. Lecture Notes in Computer Science, vol 999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60472-3_27
Download citation
DOI: https://doi.org/10.1007/3-540-60472-3_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60472-3
Online ISBN: 978-3-540-47519-4
eBook Packages: Springer Book Archive