Discrete-Event Simulation

This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task – a c

In a probabilistic model, a rare event is an event with a very small probability of occurrence. The forecasting of rare events is a formidable task but is important in many areas. For instance a catas

Discrete-event dynamic systems (DEDs) permeate our world. They are of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. Th

Discover how to use simulation and event modeling to enhance the games you build. Whether you are a game designer, a programmer, or both, "Simulation and Event Modeling for Game Developers" provides

A textbook for a graduate course in discrete event systems, which provides a formal treatment of artificial even-driven systems such as factories and computers that are not amenable to treatments base

This monograph presents a systematic top-down approach to distributed control synthesis of discrete-event systems (DES). The approach is called supervisor localization; its essence is the allocation o

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. C

Within the last decade, several industrialized countries have stressed the importance of advanced manufacturing to their economies. Many of these plans have highlighted the development of additive man

Volume 3 begins with an introduction to which are added four chapters focused on modeling and flow simulation in an environment in 2 or 3 dimensions (2D or 3D). They deal with different cases taken fr

Gives readers a more thorough understanding of DEM and equips researchers for independent work and an ability to judge methods related to simulation of polygonal particlesIntroduces DEM from the funda

Discussing fundamental modeling tools, queuing theory, and discrete event simulation for evaluating production systems, this book presents a development environment for discrete event simulation in a

Complex behavior models (plasticity, cracks, visco elascticity) face some theoretical difficulties for the determination of the behavior law at the continuous scale. When homogenization fails to give

"This is an excellent and well-written text on discrete event simulation with a focus on applications in Operations Research. There is substantial attention to programming, output analysis, pseudo-ran

The complexity of modern embedded systems has increased rapidly in the recent past. Introducing models of computation into the design flow has significantly raised the abstraction in system level desi

The first motivation of Synthesis and Control of Discrete Event Systems is to inform the reader of recent developments and current trends in system synthesis. This is a field of active research aiming

This remarkable reference book tells the story of science from earliest times to the present day, taking in everything from ancient Greek geometry to quantum physics, and the wedge to the worldwide web. Exploring science in a thematic, highly approachable manner, each spread takes as its theme a specific event, discovery, invention, experiment, theory, or individual and explains why this subject was so significant in the development of scientific thought and what its impact on history has been. In addition to providing a broad-ranging and comprehensive history of science, the book also explains how science works, employing DK's trademark clarity and visual ingenuity to render tricky scientific subjects easily comprehensible. Science is structured chronologically with five chapters covering major phases in world history from ancient times to the present day, with an eye to the future. Within these chapters, subjects are arranged in discrete spreads, each of which takes a key scientific

The campaign of Sennacherib against Judah is one of the most widely researched in biblical studies and Ancient Near East studies, and one that also poses scholarly challenges. Allusion to the event is found in Isaiah, Kings, and Chronicles, but there is no correlation between the Assyrian and biblical descriptions of the same event. Dan'el Kahn offers a text-critical analysis of these biblical passages that allude to the military events. Detecting repetitions, breaks in the narrative, and contradictions and inconsistencies in the texts, he traces and reconstructs different and discrete sources. Kahn demonstrates that the biblical passages are based on earlier sources that were later edited and revised by a third hand. Based on historical events that are found in non-biblical texts, he also offers new dates for the sources. He claims that the narrative was written for the book of Isaiah, arguing that it predates the version found in Kings.

This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new concepts, giving extensive applications and examples. Assuming no prior knowledge of discrete mathematics, the authors introduce all background in propositional logic, asymptotics, graphs, hardware and electronics. Important features of the presentation are: • All material is presented in full detail. Every designed circuit is formally specified and implemented, the correctness of the implementation is proved, and the cost and delay are analyzed • Algorithmic solutions are offered for logical simulation, computation of propagation delay and minimum clock period • Connections are drawn from the physical analog world to the digital abstraction • The language of graphs is used to describe formulas and circuits • Hundreds of figures, examples and exercises enhance understanding. The extensive website (http://www.en

This book is an up-to-date self-contained compendium of the research carried out by the authors on model-based diagnosis of a class of discrete-event systems called active systems. After defining the

This easy-to-follow textbook provides an exercise-driven guide to the use of the Discrete Event Systems Specification (DEVS) simulation modeling formalism and the System Entity Structure (SES) simulat

This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics and Management, MS 2016, held in Teruel, Spain, in July 2016. The event

This book provides a rigorous treatment of deterministic and random signals. It offers detailed information on topics including random signals, system modelling and system analysis. System analysis in frequency domain using Fourier transform and Laplace transform is explained with theory and numerical problems. The advanced techniques used for signal processing, especially for speech and image processing, are discussed. The properties of continuous time and discrete time signals are explained with a number of numerical problems. The physical significance of different properties is explained using real-life examples. To aid understanding, concept check questions, review questions, a summary of important concepts, and frequently asked questions are included. MATLAB programs, with output plots and simulation examples, are provided for each concept. Students can execute these simulations and verify the outputs.

Dependability metrics are omnipresent in every engineering field, from simple ones through to more complex measures combining performance and dependability aspects of systems. This book presents the mathematical basis of the analysis of these metrics in the most used framework, Markov models, describing both basic results and specialised techniques. The authors first present both discrete and continuous time Markov chains before focusing on dependability measures, which necessitate the study of Markov chains on a subset of states representing different user satisfaction levels for the modelled system. Topics covered include Markovian state lumping, analysis of sojourns on subset of states of Markov chains, analysis of most dependability metrics, fundamentals of performability analysis, and bounding and simulation techniques designed to evaluate dependability measures. The book is of interest to graduate students and researchers in all areas of engineering where the concepts of lifetime