The Time Warp Operating System runs discrete event simulations in parallel using an optimistic synchronization method based on the theory of virtual time. It has had great success in extracting speedup from many simulations, and is now available for experimental use. The first half of this tutorial will discuss how to use the Time Warp Operating System to write and run discrete event simulation...

1. Discrete-Event Stochastic Systems Recall our previous definition of a discrete-event stochastic system: the system makes stochastic state transitions only at an increasing sequence of random times. If X(t) is the state of the system at time t, then a typical sample path of the underlying stochastic process of the simulation, i.e. (X(t): t ≥ 0), looks like this (for a finite or countably infi...

This paper uses hybrid simulation to evaluate the impact of a whiteboard on the workflow of an A&E department. Hybrid simulation in this context is defined as the integrated use of discrete event simulation and system dynamics; we illustrate how discrete event simulation and system dynamics, by themselves, are incapable of meeting the objective. “Parsimonious” and “divide and conquer” principle...

Based on max-plus algebra, a class of discrete event processes can be described by linear recursive equations[1]. Such a system exhibits asymptotic periodic behavior, and its performance can be evaluated by calculating the eigenvalue of the system matrix in max-plus algebra. On the other hand, control techniques based on switching among different controllers have been explored extensively in re...

However, the simulation technology in use by, and designed for, the AI community often fails to take advantage of much of the work in the larger simulation community to produce stable, repeatable, and efficient simulations. I present SPADES (SYSTEM FOR PARALLEL-AGENT DISCRETE-EVENT SIMULATION) as a simulation substrate for the AI community. SPADES focuses on the agent as a fundamental simulatio...

Optimizing system resource utilization is a key design objective for system engineers in communications, electronics, and other industries. System resources such as processors, memory, or bandwidth on a communication bus are often shared by various components in the system. To understand the utilization of a shared resource, system engineers must do two things: identify constraints on the resou...

The fourth generation (4G) of mobile telecommunication technology provides ultra-band internet access for mobile devices such as smartphones, tablets, and laptops. One of the challenges in the Long Term Evolution (LTE) 4G networks is the low data rate for cell-edge users as well as coverage gaps. In this paper, we define and evaluate models for analysis of performance of mobile networks archite...

Diagnosis of Intermittent Faults in Discrete Event Systems Hu Hong Master of Applied Science Graduate Department of Electrical and Computer Engineering University of Toronto September 2012 Fault diagnosis in discrete event systems is studied using a state-based framework. Faults can be either intermittent or permanent. For intermittent faults, system may recover from faulty behaviour through re...

1 Synthesis of Greatest Linear Feedback for Timed Event Graphs in Dioid Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond and Jean-Louis Ferrier Abstract|This paper deals with the synthesis of greatest linear causal feedback for Discrete Event Systems whose behavior is described in dioid. Such a feedback delays as far as possible the input of the system while keeping the same transfer r...

We describe an implemented system for model-based diagnosis of discrete-event systems, which are continuous systems governed by discrete controllers. Our approach contributes to model-based diagnosis by taking advantage of the system structure (a directed graph depicting component interconnectivity) to eeciently diagnose dynamic systems, and by providing computational guarantees based on such s...