DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems

  title={DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems},
  author={Bernard P. Zeigler and Hae Sang Song and Tag Gon Kim and Herbert Pr{\"a}hofer},
  booktitle={Hybrid Systems},
We make the case that Discrete Event System Speci cation (DEVS) is a universal formalism for discrete event dynamical systems (DEDS). DEVS o ers 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. 

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 30 extracted citations

Anomaly detection and productivity analysis for cyber-physical systems in manufacturing

2017 13th IEEE Conference on Automation Science and Engineering (CASE) • 2017
View 1 Excerpt

Step revision in hybrid Co-simulation with FMI

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) • 2016
View 3 Excerpts


Publications referenced by this paper.
Showing 1-10 of 16 references

The control of discrete event systems

P.J.G. Ramadge, W. M. Wohnham
Proceedings of the IEEE, 77(1):81{98 • 1989
View 3 Excerpts
Highly Influenced

Preface to special issue on environments for discrete event dynamic systems

B. P. Zeigler andW.H. Sanders
Discrete Event Dynamic Systems: Theory and Application, • 1993
View 3 Excerpts
Highly Influenced

Automatic abstraction of event-based control models from contin- uous base models

H. Praehofer, B. P. Zeigler
submitted to IEEE Trans. Systems, Man and Cybernetics • 1995
View 1 Excerpt

CAST Methods in Modelling, chapter 3, pages 123{241

Fr.Pichler, H. Schwaertzel, editors
View 1 Excerpt

System Theoretic Foundations for Combined Discrete-Continuous System Simulation

H. Praehofer
PhD thesis, Johannes Kepler University of Linz, Linz, Austria • 1991
View 2 Excerpts

Object-Oriented Simulation with Hierarchical

B. P. Zeigler
Modular Models. Academic Press, London • 1990
View 3 Excerpts

Statemate: A working environment for the speci cation of compex reactive system

D. Harel
IEEE Trans. on SE, • 1990
View 1 Excerpt

DEVS representation of dynamical systems: Event-based intelligent control

B. P. Zeigler
Pro- ceedings of the IEEE, 77(1):72{80 • 1989
View 1 Excerpt

Intelligent control: A sketch of the theory

Journal of Intelligent and Robotic Systems • 1989
View 1 Excerpt

Special issue on discret event dynamic systems

Y. C. Ho
Proceedings of the IEEE, 77(1) • 1989
View 2 Excerpts

Similar Papers

Loading similar papers…