Parallel and Distributed Simulation of Discrete Event Systems
Parallel and Distributed Simulation of Discrete Event Systems

Author: Alois Ferscha

Publisher:

Published: 1994

Total Pages: 51

ISBN-13:

DOWNLOAD EBOOK

Abstract: "The achievements attained in accelerating the simulation of the dynamics of complex discrete event systems using parallel or distributed multiprocessing environments are comprehensively presented. While parallel discrete event simulation (DES) governs the evolution of the system over simulated time in an iterative SIMD way, distributed DES tries to spatially decompose the event structure underlying the system, and executes event occurrences in spatial subregions by logical processes (LPs) usually assigned to different (physical) processing elements. Synchronization protocols are necessary in this approach to avoid timing inconsistencies and to guarantee the preservation of event causalities across LPs. Included in the survey are discussions on the sources and levels of parallelism, synchronous vs. asynchronous simulation and principles of LP simulation. In the context of conservative LP simulation (Chandy/Misra/Bryant) deadlock avoidance and deadlock detection/recovery strategies, Conservative Time Windows and the Carrier Nullmessage protocol are presented. Related to optimistic LP simulation (Time Warp), Optimistic Time Windows, memory management, GVT computation, probabilistic optimism control and adaptive schemes are investigated."

Parallel and Distributed Discrete Event Simulation
Parallel and Distributed Discrete Event Simulation

Author: Carl Tropper

Publisher: Nova Publishers

Published: 2002

Total Pages: 168

ISBN-13: 9781590333778

DOWNLOAD EBOOK

Discrete-event simulation has long been an integral part of the design process of complex engineering systems and the modelling of natural phenomena. Many of the systems that we seek to understand or control can be modelled as digital systems. In a digital model, we view the system at discrete instants of time, in effect taking snapshots of the system at these instants. For example, in a computer network simulation an event can be the sending of a message from one node to another node while in a VLSI logic simulation, the arrival of a signal at a gate may be viewed as an event. Digital systems such as computer systems are naturally susceptible to this approach. However, a variety of other systems may also be modelled this way. These include transportation systems such as air-traffic control systems, epidemiological models such as the spreading of a virus, and military war-gaming models. This book is representative of the advances in this field.

Parallel and Distributed Simulation Systems
Parallel and Distributed Simulation Systems

Author: Richard M. Fujimoto

Publisher: Wiley-Interscience

Published: 2000-01-03

Total Pages: 324

ISBN-13:

DOWNLOAD EBOOK

From the preface, page xv: [...] My goal in writing Parallel and Distributed Simulation Systems, is to give an in-depth treatment of technical issues concerning the execution of discrete event simulation programs on computing platforms composed of many processores interconnected through a network"

Discrete-event System Simulation
Discrete-event System Simulation

Author: Jerry Banks

Publisher: Prentice Hall

Published: 2005

Total Pages: 634

ISBN-13:

DOWNLOAD EBOOK

This book provides a basic treatment of discrete-event simulation, including the proper collection and analysis of data, the use of analytic techniques, verification and validation of models, and designing simulation experiments.Contains up-to-date treatment of simulation of manufacturing and material handling systems. Includes numerous solved examples. Offers an integrated website. Explains how to interpret simulation software output.For those interested in learning more about discrete-event simulation.

Discrete-event System Simulation
Discrete-event System Simulation

Author: Jerry Banks

Publisher:

Published: 1996

Total Pages: 568

ISBN-13:

DOWNLOAD EBOOK

Offers comprehensive coverage of discrete-event simulation, emphasizing and describing the procedures used in operations research - methodology, generation and testing of random numbers, collection and analysis of input data, verification of simulation models and analysis of output data.

Introduction to Discrete Event Systems
Introduction to Discrete Event Systems

Author: Christos G. Cassandras

Publisher: Springer Nature

Published: 2021-11-11

Total Pages: 821

ISBN-13: 3030722740

DOWNLOAD EBOOK

This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques. Topics and features: detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosis comprehensive coverage of centralized and decentralized supervisory control of partially-observed systems timed models, including timed automata and hybrid automata stochastic models for discrete event systems and controlled Markov chains discrete event simulation an introduction to stochastic hybrid systems sensitivity analysis and optimization of discrete event and hybrid systems new in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software tools This proven textbook is essential to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, transportation networks, operations research, and industrial engineering. ​Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University. Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design
Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design

Author: Weiwei Chen

Publisher: Springer

Published: 2014-07-24

Total Pages: 158

ISBN-13: 3319087533

DOWNLOAD EBOOK

This book offers readers a set of new approaches and tools a set of tools and techniques for facing challenges in parallelization with design of embedded systems. It provides an advanced parallel simulation infrastructure for efficient and effective system-level model validation and development so as to build better products in less time. Since parallel discrete event simulation (PDES) has the potential to exploit the underlying parallel computational capability in today’s multi-core simulation hosts, the author begins by reviewing the parallelization of discrete event simulation, identifying problems and solutions. She then describes out-of-order parallel discrete event simulation (OoO PDES), a novel approach for efficient validation of system-level designs by aggressively exploiting the parallel capabilities of todays’ multi-core PCs. This approach enables readers to design simulators that can fully exploit the parallel processing capability of the multi-core system to achieve fast speed simulation, without loss of simulation and timing accuracy. Based on this parallel simulation infrastructure, the author further describes automatic approaches that help the designer quickly to narrow down the debugging targets in faulty ESL models with parallelism.

Modeling and Simulation of Discrete Event Systems
Modeling and Simulation of Discrete Event Systems

Author: Byoung Kyu Choi

Publisher: John Wiley & Sons

Published: 2013-08-07

Total Pages: 427

ISBN-13: 1118732855

DOWNLOAD EBOOK

Computer modeling and simulation (M&S) allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer science, and the military. As computer speeds and memory capacity increase, so DES-M&S tools become more powerful and more widely used in solving real-life problems. Based on over 20 years of evolution within a classroom environment, as well as on decades-long experience in developing simulation-based solutions for high-tech industries, Modeling and Simulation of Discrete-Event Systems is the only book on DES-M&S in which all the major DES modeling formalisms – activity-based, process-oriented, state-based, and event-based – are covered in a unified manner: A well-defined procedure for building a formal model in the form of event graph, ACD, or state graph Diverse types of modeling templates and examples that can be used as building blocks for a complex, real-life model A systematic, easy-to-follow procedure combined with sample C# codes for developing simulators in various modeling formalisms Simple tutorials as well as sample model files for using popular off-the-shelf simulators such as SIGMA®, ACE®, and Arena® Up-to-date research results as well as research issues and directions in DES-M&S Modeling and Simulation of Discrete-Event Systems is an ideal textbook for undergraduate and graduate students of simulation/industrial engineering and computer science, as well as for simulation practitioners and researchers.

Theory of Modeling and Simulation
Theory of Modeling and Simulation

Author: Bernard P. Zeigler

Publisher: Academic Press

Published: 2018-08-14

Total Pages: 694

ISBN-13: 0128134070

DOWNLOAD EBOOK

Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations, Third Edition, continues the legacy of this authoritative and complete theoretical work. It is ideal for graduate and PhD students and working engineers interested in posing and solving problems using the tools of logico-mathematical modeling and computer simulation. Continuing its emphasis on the integration of discrete event and continuous modeling approaches, the work focuses light on DEVS and its potential to support the co-existence and interoperation of multiple formalisms in model components. New sections in this updated edition include discussions on important new extensions to theory, including chapter-length coverage of iterative system specification and DEVS and their fundamental importance, closure under coupling for iteratively specified systems, existence, uniqueness, non-deterministic conditions, and temporal progressiveness (legitimacy). Presents a 40% revised and expanded new edition of this classic book with many important post-2000 extensions to core theory Provides a streamlined introduction to Discrete Event System Specification (DEVS) formalism for modeling and simulation Packages all the "need-to-know" information on DEVS formalism in one place Expanded to include an online ancillary package, including numerous examples of theory and implementation in DEVS-based software, student solutions and instructors manual