Discrete-Event Simulation

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

"Discrete Event Physics" introduces a new branch of Physics concerned with elucidating the meaning of concepts traditionally studied in that discipline. It is complementary to Mathematical and Experim

To perform computer simulation successfully, two rather different sets of skills are required. One of these relates to programming: a simulation program should do what its author intends and do it efficiently. The other is concerned with the collection and analysis of data: statistical tools have to be used in order to obtain with a minimum of effort, accurate and reliable estimates for the desired performance measures. Dr Mitrani covers both of these aspects of the simulation method. The important topics of point and interval estimation, simulation efficiency and the analysis of simulation experiments are discussed in detail. This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of computer science, operations research and statistics in universities and polytechnics. It will be of benefit also to practitioners in the field.

This book addresses the problem of fault diagnosis of Discrete Event Systems (DESs). It provides the basic techniques and approaches necessary for the design of an efficient fault diagnosis system for

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied ba

This book describes the new generation of discrete choice methods, focusing on the many advances that are made possible by simulation. Researchers use these statistical methods to examine the choices that consumers, households, firms, and other agents make. Each of the major models is covered: logit, generalized extreme value, or GEV (including nested and cross-nested logits), probit, and mixed logit, plus a variety of specifications that build on these basics. Recent advances in Bayesian procedures are explored, including the use of the Metropolis-Hastings algorithm and its variant Gibbs sampling. This second edition adds chapters on endogeneity and expectation-maximization (EM) algorithms. No other book incorporates all these fields, which have arisen in the past 25 years. The procedures are applicable in many fields, including energy, transportation, environmental studies, health, labor, and marketing.

This book presents a unified theory of rare event simulation and the variance reduction technique known as importance sampling from the point of view of the probabilistic theory of large deviations. I

Modeling Discrete-Event Systems with GPenSIM describes the design and applications of General Purpose Petri Net Simulator (GPenSIM), which is a software tool for modeling, simulation, and performance

Stochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions. This book delivers a comprehensive overview on modeling with a qua

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

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

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

"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 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 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 textbook is ideal for a course in engineering systems dynamics and controls. The work is a comprehensive treatment of the analysis of lumped parameter physical systems. Starting with a discussion of mathematical models in general, and ordinary differential equations, the book covers input/output and state space models, computer simulation and modeling methods and techniques in mechanical, electrical, thermal and fluid domains. Frequency domain methods, transfer functions and frequency response are covered in detail. The book concludes with a treatment of stability, feedback control (PID, lead-lag, root locus) and an introduction to discrete time systems. This new edition features many new and expanded sections on such topics as: solving stiff systems, operational amplifiers, electrohydraulic servovalves, using Matlab with transfer functions, using Matlab with frequency response, Matlab tutorial and an expanded Simulink tutorial. The work has 40% more end-of-chapter exercises and 3

o Computer Automation in Manufacturing provide instruction in computer architecture, interfacing to mechanical systems, and software development for continuous control and discrete event systems. T

Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control. Recently this discrete

In studying the dynamics of populations, whether of animals, plants or cells, it is crucial to allow for intrinsic delays, due to such things as gestation, maturation or transport. This book is concerned with one of the fundamental questions in the analysis of the effect of delays, namely determining whether they effect the stability of steady states. The analysis is presented for one or two such delays treated both as discrete, where an event which occurred at a precise time in the past has an effect now, and distributed, where the delay is averaged over the population's history. Both of these types occur in biological contexts. The method used to tackle these questions is linear stability analysis which leads to an understanding of the local stability. By avoiding global questions, the author has kept the mathematical prerequisites to a minimum, essentially advanced calculus and ordinary differential equations.

Markov chains are central to the understanding of random processes. This is not only because they pervade the applications of random processes, but also because one can calculate explicitly many quantities of interest. This textbook, aimed at advanced undergraduate or MSc students with some background in basic probability theory, focuses on Markov chains and quickly develops a coherent and rigorous theory whilst showing also how actually to apply it. Both discrete-time and continuous-time chains are studied. A distinguishing feature is an introduction to more advanced topics such as martingales and potentials in the established context of Markov chains. There are applications to simulation, economics, optimal control, genetics, queues and many other topics, and exercises and examples drawn both from theory and practice. It will therefore be an ideal text either for elementary courses on random processes or those that are more oriented towards applications.