Book Chapter10.1007/3-540-60472-3_27
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
Bernard P. Zeigler,Hae Sang Song,Tag Gon Kim,Herbert Praehofer +3 more
- 01 Jan 1995
- Vol. 999, pp 529-551
70
TL;DR: It is made the case that Discrete Event System Specification (DEVS) is a universal formalism for discrete event dynamical systems (DEDS) and an expressive framework for modelling, design, analysis and simulation of autonomous and hybrid systems.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Layered discrete event system specification for a ship production scheduling model
TL;DR: A layered discrete event system specification modeling method for a ship production scheduling system that provides a layer concept for mixed level of information and is designed to facilitate cross-linked information between different layers is proposed.
Application of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example
Hae Sang Song,Tag Gon Kim +1 more
- 01 Feb 2005
TL;DR: An extension of the DEVS formalism, real-time DEVS (RT-DEVS), which has a sound semantics for the specification of real- time systems in a hierarchical modular fashion is employed, which represents a global time between the models.
CaTMAS: A multi-agent model for simulating the dynamics of carbon resources of West African villages
TL;DR: The Carbon of Territory Multi-Agent Simulator (CaTMAS) model is based on the Organization-Role-Entity-Aspect (OREA) meta-model and the multi-agent systems approach as discussed by the authors.
Approximate Discrete-Event Method for Supervisory Control
Maaz Jamal,Gabriel Wainer +1 more
- 10 Dec 2023
TL;DR: Approximate Discrete-Event Method for Supervisory Control reduces state space complexity and enables practical model deployment on embedded hardware.
A layered modeling and simulation architecture for agent-based system development
Hessam S. Sarjoughian,Bernard P. Zeigler,Steven B. Hall +2 more
- 01 Feb 2001
TL;DR: The paper proposes a layered architectural framework to support agent based system development in a collaborative, multidisciplinary engineering setting, intended to form the basis for environments that support development of agents, in both performance and simulation modes, as well as in hybrid combination.
References
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
The control of discrete event systems
Peter J. Ramadge,W. M. Wonham +1 more
- 01 Jan 1989
TL;DR: The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered.
3K
STATEMATE: a working environment for the development of complex reactive systems
David Harel,H. Lachover,A. Naamad,Amir Pnueli,M. Politi,R. Sherman,A. Shtull-Trauring,Mark B. Trakhtenbrot +7 more
TL;DR: The main novelty of STATEMATE is in the fact that it `understands` the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
•Book
Multifacetted Modelling and Discrete Event Simulation
Bernard P. Zeigler
- 01 Mar 1984
TL;DR: A new variety of lily plant of the chalice-type Asiatic Hybrid particularly distinguished by the gold coloring of its five to six inch diameter flowers which are borne in raceme arrangement on tall strong stems.
778
Related Papers (5)
Bernard P. Zeigler,Tag Gon Kim,Herbert Praehofer +2 more
- 01 Jan 1976
Yentl Van Tendeloo,Hans Vangheluwe +1 more
- 15 Apr 2018