Discrete-event simulation. Modeling, programming, and analysis
Probabilistic models, generic numerical methods in probability and statistics (65C20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01) Discrete event control/observation systems (93C65)
The first step in studying a system consists in converting accumulated knowledge into a model, i.e., into a representation based on theory and/or previously, to some extent, structured empirical observations. Being already available, it is expected that by using the model one can gain more theoretical and experimental knowledge about the original system. According to the complexity of the model one approaches it analytically, by simulation or by combining these two procedures. In this respect and in many cases that are very relevant for applications, the discrete-event systems and their apparent models exhibit a great complexity. In order to properly deal with them, one mostly proceeds by simulation because the values of system performance descriptors are unknown, and determining them remains beyond the capacity of the analytical tools of queueing theory. Discrete-event simulation offers techniques that can approximate the values of these descriptors to within a remarkably small error. The approximations come from analyses of data observed on sample paths generated during execution of a simulation program corresponding to the given model, usually on adequate queue-length and waiting-time processes. At the same time, once a simulation procedure is adopted, one must apply the simulation techniques interactively with the adaptation of the modelling techniques because the designer repeatedly faces the problem of balancing the need for structural detail with the need to make the model amenable to problem solving techniques. In this context the book is a valuable basis for acquiring the necessary skills by describing in nine chapters concepts, methods and providing guidance for: -- modelling the behaviour of a discrete-event system, translating the model into code executable on a computer; -- executing the code and generating output in response to one or more input scenarios, some assigning different numerical values to system parameters and others based on different strategies for the dynamically operating system; -- analysing each output to infer the system behaviour that each scenarios induces; this is done by assessing, by means of statistical methods, how well estimates of system performance measures approximate their true, but unknown, values; -- comparing these inferred behavioural patterns for different scenarios; -- computational complexity as a function of problem size; -- sampling from diverse distributions on a computer; -- pseudorandom number generation; -- using empirical data to estimate the values of the input parameters of a simulation model. The book is highly recommended as an introductory course for graduate and advanced undergraduate students in the mathematical and engineering sciences, particularly operations research, industrial engineering, operations management, computer science, telecommunications engineering, transportation engineering, and to the professionals in these fields who are interested to broaden their knowledge of discrete-event simulation.
- Discrete simulation. An introduction in Modula-2
- QOBJ modeling. A new approach in discrete event simulation
- Using discrete simulation modeling to study large-scale system reliability/availability
- A toolkit of designs for mixing discrete event simulation and system dynamics
- Folded overlapping variance estimators for simulation
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- Estimation of traffic intensity from queue length data in a deterministic single server queueing system
- Stochastic dynamic vehicle routing in the light of prescriptive analytics: a review
- Scaling down discrete-event simulation models
- Simulation of a multiterminal system for container handling
- Analysis of the behavior of the transient period in non-terminating simulations
- Parameter extraction of complex production systems via a kinetic approach
- Modeling and simulation of discrete event systems
- Simulation modeling and Arena
- A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars
- Reach-avoid problems with time-varying dynamics, targets and constraints
- An improved algorithm for robust safety analysis of sampled data systems
- What's decidable about recursive hybrid automata?
- Bounded-rate multi-mode systems based motion planning
- A sufficient condition for the boundedness of matrix products accepted by an automaton
- Efficient finite abstraction of mixed monotone systems
- Compositional construction of approximate abstractions
- Computing bisimulation functions using SOS optimization and -decidability over the reals
- Probabilistic diagnosability of hybrid systems
- Dynamic scheduling for networked control systems
- Closed loop analysis of control command software
- Real-time control under clock offsets between sensors and controllers
- HYST: a source transformation and translation tool for hybrid automaton models
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
- Eliminating spurious transitions in reachability with support functions
- Finite state approximation for verification of partially observable stochastic hybrid systems
- Statistical verification of dynamical systems using set oriented methods
- Requirements for hybrid cosimulation standards
- SpaTeL: a novel spatial-temporal logic and its applications to networked systems
- Computing the Skorokhod distance between polygonal traces
- First steps toward formal controller synthesis for bipedal robots
- Vulnerability analysis of dynamical power networks to stochastic link failure attacks
- Temporal logic motion planning using POMDPs with parity objectives
- Reactive synthesis from signal temporal logic specifications
- Estimator-based reactive synthesis under incomplete information
- Cross-entropy temporal logic motion planning
- Stability and stabilization of polynomial dynamical systems using Bernstein polynomials
- Modeling and simulation
- Using Ada for discrete event simulation
- scientific article; zbMATH DE number 4201713 (Why is no real title available?)
- Planning Formula One race strategies using discrete-event simulation
- An efficient alternative to the exact evaluation of the quickest path flow network reliability problem
- Forty years of discrete-event simulation—a personal reflection
- Dynamic routing of prioritized warranty repairs
- Modeling and tools for network simulation
- Order-Preserving Symmetric Encryption
- Perspectives on the Evolution of Simulation
- Representing Discrete Events in System Dynamics Models: A Theoretical Application to Modelling Coal Production
- scientific article; zbMATH DE number 3904008 (Why is no real title available?)
- scientific article; zbMATH DE number 3907815 (Why is no real title available?)
- scientific article; zbMATH DE number 52929 (Why is no real title available?)
- scientific article; zbMATH DE number 53470 (Why is no real title available?)
- scientific article; zbMATH DE number 53648 (Why is no real title available?)
- A formulation of a simulation modelling methodology
- scientific article; zbMATH DE number 107688 (Why is no real title available?)
- scientific article; zbMATH DE number 176358 (Why is no real title available?)
- Modern Statistical, Systems, and GPSS Simulation
- Exact, analytic, and locally approximate solutions to discrete event-simulation problems
- scientific article; zbMATH DE number 514139 (Why is no real title available?)
- scientific article; zbMATH DE number 977087 (Why is no real title available?)
- scientific article; zbMATH DE number 1950553 (Why is no real title available?)
- scientific article; zbMATH DE number 2044622 (Why is no real title available?)
- In defense of discrete-event simulation
- Computational issues for accessibility in discrete event simulation
- Discrete Event Simulation of Hybrid Systems
- Simulation Modeling Handbook
- scientific article; zbMATH DE number 2086832 (Why is no real title available?)
- Discrete-event simulation: an inquiry into user practice
- scientific article; zbMATH DE number 795182 (Why is no real title available?)
- scientific article; zbMATH DE number 884989 (Why is no real title available?)
- Model Continuity in Discrete Event Simulation
- Outsourcing warranty repairs: Dynamic allocation
- Global feedback stabilization for a class of nonlocal transport equations: the continuous and discrete case
- Discrete-event simulation: from the pioneers to the present, what next?
- Discrete and Continuous Simulation
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Combining optimisation and simulation using logic-based Benders decomposition
- Coupling from the past with randomized quasi-Monte Carlo
- An \(M/G/C/C\) state-dependent network simulation model
- Comparing approximations and heuristics over different time horizons for a production-inventory system under the base-stock policy and conditional value-at-risk objective
- Dynamic submodel integration using an offer-accept discrete event simulation
- Semi-iterative minimum cross-entropy algorithms for rare-events, counting, combinatorial and integer programming
- CPO semantics of timed interactive actor networks
This page was built for publication: Discrete-event simulation. Modeling, programming, and analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2737800)