Discrete-Event Modeling and Simulation


Book Description

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.




Conceptual Modeling for Discrete-Event Simulation


Book Description

Bringing together an international group of researchers involved in military, business, and health modeling and simulation, Conceptual Modeling for Discrete-Event Simulation presents a comprehensive view of the current state of the art in the field. The book addresses a host of issues, including: What is a conceptual model?How is conceptual modelin




Theory of Modeling and Simulation


Book Description

The increased computational power and software tools available to engineers have increased the use and dependence on modeling and computer simulation throughout the design process. These tools have given engineers the capability of designing highly complex systems and computer architectures that were previously unthinkable. Every complex design project, from integrated circuits, to aerospace vehicles, to industrial manufacturing processes requires these new methods. This book fulfills the essential need of system and control engineers at all levels in understanding modeling and simulation. This book, written as a true text/reference has become a standard sr./graduate level course in all EE departments worldwide and all professionals in this area are required to update their skills. The book provides a rigorous mathematical foundation for modeling and computer simulation. It provides a comprehensive framework for modeling and simulation integrating the various simulation approaches. It covers model formulation, simulation model execution, and the model building process with its key activities model abstraction and model simplification, as well as the organization of model libraries. Emphasis of the book is in particular in integrating discrete event and continuous modeling approaches as well as a new approach for discrete event simulation of continuous processes. The book also discusses simulation execution on parallel and distributed machines and concepts for simulation model realization based on the High Level Architecture (HLA) standard of the Department of Defense. Presents a working foundation necessary for compliance with High Level Architecture (HLA) standards Provides a comprehensive framework for continuous and discrete event modeling and simulation Explores the mathematical foundation of simulation modeling Discusses system morphisms for model abstraction and simplification Presents a new approach to discrete event simulation of continuous processes Includes parallel and distributed simulation of discrete event models Presents a concept to achieve simulator interoperability in the form of the DEVS-Bus




Handbook of Research on Discrete Event Simulation Environments: Technologies and Applications


Book Description

"This book provides a comprehensive overview of theory and practice in simulation systems focusing on major breakthroughs within the technological arena, with particular concentration on the accelerating principles, concepts and applications"--Provided by publisher.




Discrete-Event Modeling and Simulation


Book Description

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.




Introduction to Transportation Analysis, Modeling and Simulation


Book Description

This comprehensive textbook/reference provides an in-depth overview of the key aspects of transportation analysis, with an emphasis on modeling real transportation systems and executing the models. Topics and features: presents comprehensive review questions at the end of each chapter, together with detailed case studies, useful links, references and suggestions for further reading; supplies a variety of teaching support materials at the book’s webpage on Springer.com, including a complete set of lecture slides; examines the classification of models used for multimodal transportation systems, and reviews the models and evaluation methods used in transportation planning; explains traffic assignment to road networks, and describes computer simulation integration platforms and their use in the transportation systems sector; provides an overview of transportation simulation tools, and discusses the critical issues in the design, development and use of the simulation models.




Revolutionizing Enterprise Interoperability through Scientific Foundations


Book Description

"This book offers information on the latest advancements and research for Enterprise Interoperability knowledge as well as core concepts, theories, and future directions"--




Simulation Modeling and Analysis with ARENA


Book Description

Simulation Modeling and Analysis with Arena is a highly readable textbook which treats the essentials of the Monte Carlo discrete-event simulation methodology, and does so in the context of a popular Arena simulation environment. It treats simulation modeling as an in-vitro laboratory that facilitates the understanding of complex systems and experimentation with what-if scenarios in order to estimate their performance metrics. The book contains chapters on the simulation modeling methodology and the underpinnings of discrete-event systems, as well as the relevant underlying probability, statistics, stochastic processes, input analysis, model validation and output analysis. All simulation-related concepts are illustrated in numerous Arena examples, encompassing production lines, manufacturing and inventory systems, transportation systems, and computer information systems in networked settings. - Introduces the concept of discrete event Monte Carlo simulation, the most commonly used methodology for modeling and analysis of complex systems - Covers essential workings of the popular animated simulation language, ARENA, including set-up, design parameters, input data, and output analysis, along with a wide variety of sample model applications from production lines to transportation systems - Reviews elements of statistics, probability, and stochastic processes relevant to simulation modeling




Handbook of Dynamic System Modeling


Book Description

The topic of dynamic models tends to be splintered across various disciplines, making it difficult to uniformly study the subject. Moreover, the models have a variety of representations, from traditional mathematical notations to diagrammatic and immersive depictions. Collecting all of these expressions of dynamic models, the Handbook of Dynamic Sy




Model Engineering for Simulation


Book Description

Model Engineering for Simulation provides a systematic introduction to the implementation of generic, normalized and quantifiable modeling and simulation using DEVS formalism. It describes key technologies relating to model lifecycle management, including model description languages, complexity analysis, model management, service-oriented model composition, quantitative measurement of model credibility, and model validation and verification. The book clearly demonstrates how to construct computationally efficient, object-oriented simulations of DEVS models on parallel and distributed environments. - Guides systems and control engineers in the practical creation and delivery of simulation models using DEVS formalism - Provides practical methods to improve credibility of models and manage the model lifecycle - Helps readers gain an overall understanding of model lifecycle management and analysis - Supported by an online ancillary package that includes an instructors and student solutions manual