About: Systems modeling is a research topic. Over the lifetime, 3751 publications have been published within this topic receiving 65414 citations. The topic is also known as: system model.
TL;DR: In this paper, the authors present a rigorous mathematical foundation for modeling and simulation and provide a comprehensive framework for integrating the various simulation approaches employed in practice, including cellular automata, chaotic systems, hierarchical block diagrams, and Petri nets.
Abstract: From the Publisher:
Although twenty-five years have passed since the first edition of this classical text, the world has seen many advances in modeling and simulation, the need for a widely accepted framework and theoretical foundation is even more necessary today. Methods of modeling and simulation are fragmented across disciplines making it difficult to re-use ideas from other disciplines and work collaboratively in multidisciplinary teams. Model building and simulation has been made easier and faster by riding piggyback on advances in software and hardware. However, difficult and fundamental issues such as model credibility and interoperation have received less attention. These issues are now front and center under the impetus of the High Level Architecture (HLA) standard mandated by the U.S. DoD for all contractors and agencies.
This book concentrates on integrating the continuous and discrete paradigms for modeling and simulation. A second major theme is that of distributed simulation and its potential to support the co-existence of multiple formalisms in multiple model components. Prominent throughout are the fundamental concepts of modular and hierarchical model composition.
This edition presents a rigorous mathematical foundation for modeling and simulation. Also, it now provides a comprehensive framework for integrating the various simulation approaches employed in practice. Including such popular modeling methods as cellular automata, chaotic systems, hierarchical block diagrams, and Petri nets. A unifying concept, called the DEVS Bus, enables models, as expressed in their native formalisms, to be transparently mapped into the Discrete Event System Specification (DEVS). The book shows how to construct computationally efficient, object-oriented simulations of DEVS models on parallel and distributed environments. If you are doing integrative simulations, whether or not they are HLA compliant, this is the only book available to provide the foundation to understand, simplify and successfully accomplish your task.
Herbert Praehofer is an Assistant Professor at the Johannes Kepler University in Linz, Austria. He has over 50 publications in international journals and conference proceedings on Modeling and Computer Simulation, Systems Theory, and Software Engineering.
Tag Gon Kim is a Professor of Electrical Engineering at the Korea Advanced Institutes of Science and Technology (KAIST), Taejon, Korea. His research interests include discrete event systems modeling/simulation, computer/communication systems analysis, and object-oriented simulation engineering. He is a senior member of IEEE and SCS, and a member of ACM.
* 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
* Presentation of a concept to achieve simulator interoperability in the form of the DEVS-Bus
* Complete coverage necessary for compliance with High Level Architecture (HLA) standards
Bernard P Zeigler, is a Professor of Electrical & Computer Engineering at the University of Arizona and heads the Artificial Intelligence Simulation Research Group. He is the author of numerous books and publications, and he is the Editor-in-Chief of the Transactions of the Society for Computer Simulation International.
TL;DR: The SimpleScalar tool set provides an infrastructure for simulation and architectural modeling that can model a variety of platforms ranging from simple unpipelined processors to detailed dynamically scheduled microarchitectures with multiple-level memory hierarchies.
Abstract: Designers can execute programs on software models to validate a proposed hardware design's performance and correctness, while programmers can use these models to develop and test software before the real hardware becomes available. Three critical requirements drive the implementation of a software model: performance, flexibility, and detail. Performance determines the amount of workload the model can exercise given the machine resources available for simulation. Flexibility indicates how well the model is structured to simplify modification, permitting design variants or even completely different designs to be modeled with ease. Detail defines the level of abstraction used to implement the model's components. The SimpleScalar tool set provides an infrastructure for simulation and architectural modeling. It can model a variety of platforms ranging from simple unpipelined processors to detailed dynamically scheduled microarchitectures with multiple-level memory hierarchies. SimpleScalar simulators reproduce computing device operations by executing all program instructions using an interpreter. The tool set's instruction interpreters also support several popular instruction sets, including Alpha, PPC, x86, and ARM.
Abstract: This book is about dynamical systems that are "hybrid" in the sense that they contain both continuous and discrete state variables. Recently there has been increased research interest in the study of the interaction between discrete and continuous dynamics. The present volume provides a first attempt in book form to bring together concepts and methods dealing with hybrid systems from various areas, and to look at these from a unified perspective. The authors have chosen a mode of exposition that is largely based on illustrative examples rather than on the abstract theorem-proof format because the systematic study of hybrid systems is still in its infancy. The examples are taken from many different application areas, ranging from power converters to communication protocols and from chaos to mathematical finance. Subjects covered include the following: definition of hybrid systems; description formats; existence and uniqueness of solutions; special subclasses (variable-structure systems, complementarity systems); reachability and verification; stability and stabilizability; control design methods. The book will be of interest to scientists from a wide range of disciplines including: computer science, control theory, dynamical system theory, systems modeling and simulation, and operations research.
Abstract: Part I: Basics. Introduction to Systems Modeling Concepts. Framework for Modeling and Simulation. Modeling Formalisms and Their Simulators. Introduction to Discrete Event System Specifications (DEVS). Hierarchy of System Specifications. Part II: Modeling Formalisms and Simulation Algorithms. Basic Formalisms: DEVS, DTSS, DESS. Basic Formalisms: Coupled Multicomponent Systems. Simulators for Basic Formalisms. Multiformalism Modeling and Simulation. DEVS-Based Extended Formalisms. Parallel and Distributed Discrete Event Simulation. Part III: System Morphisms: Abstraction, Representation, Approximation. Hierarchy of System Morphisms. Abstraction: Constructing Model Families. Verification, Validation, Approximate Morphisms: Living with Error. DEVS and DEVS-like Systems: Universality and Uniqueness. DEVS Representation of Systems. Part IV: System Design and Modeling and Simulation Environments. DEVS-Based Design Methodology. System Entity Structure/Model Base Framework. Collaboration and the Future.
TL;DR: A systematic analysis of harmonic stability in the future power-electronic-based power systems reveals that the linearized models of ac–dc converters can be generalized to the harmonic transfer function, which is mathematically derived from linear time-periodic system theory.
Abstract: The large-scale integration of power electronic-based systems poses new challenges to the stability and power quality of modern power grids. The wide timescale and frequency-coupling dynamics of electronic power converters tend to bring in harmonic instability in the form of resonances or abnormal harmonics in a wide frequency range. This paper provides a systematic analysis of harmonic stability in the future power-electronic-based power systems. The basic concept and phenomena of harmonic stability are elaborated first. It is pointed out that the harmonic stability is a breed of small-signal stability problems, featuring the waveform distortions at the frequencies above and below the fundamental frequency of the system. The linearized models of converters and system analysis methods are then discussed. It reveals that the linearized models of ac–dc converters can be generalized to the harmonic transfer function, which is mathematically derived from linear time-periodic system theory. Lastly, future challenges on the system modeling and analysis of harmonic stability in large-scale power electronic based power grids are summarized.