A discrete event system (DES) is a dynamic system with discrete states the transitions of which are triggered by events. In this paper we propose the application of the Spin software model checker to a discrete event system that controls the industrial production of autonomous products. The flow of material is asynchronous and buffered. The aim of this work is to find concurrent plans that opti...

Multi-fidelity simulation is an effective approach to balancing speed and accuracy in expensive simulation, its performance affected by the quality of multi-fidelity models. Building high-quality models non-trivial, especially for complex systems, because current manual modeling methods require sufficient domain knowledge experience, increasing labor time costs. Motivated issues, this paper foc...

High energy ball mills are used to grind powder material down to a particle size below one micron. Up to now, the detailed physical mechanisms of the grinding process inside the mill have not been fully understood. Hence, the design of these mills as well as their process parameters is based on empirical results. The ball mill has been simulated by discrete event simulation (DES) using typical ...

Speeding up Discrete Event Simulations (DESs) is a broad research field. Promising Parallel Simulation (PDES) approaches with optimistic and conservative synchronisation schemes have emerged throughout the years. However, in area of real-time simulation, PDESs are rarely considered. This caused by complex problem fitting parallel executed DES models to clock. Hence, this paper gives an extensiv...

OF THE DISSERTATION Optimizing Many-Threads-to-Many-Cores Mapping in Parallel Electronic System Level Simulation By Guantao Liu Doctor of Philosophy in Computer Engineering University of California, Irvine, 2017 Professor Rainer Dömer, Chair In hardware/software codesign, Discrete Event Simulation (DES) has been in use for decades to verify and validate the functionality of Electronic System Le...

The discrete-event system (DES) behavior of physical plants is often modelled as regular languages that can be realized by deterministic finite state automata (DFSA). The concept and construction of quantitative measures of regular languages have been recently reported in literature, and major applications of the language measure are: quantitative evaluation of the discrete-event dynamic behavi...

In this work, we provide an approach for Modeling and Simulation (M&S) of crowds using Cellular Discrete EVent System Specification (Cell-DEVS). We present many examples of Cellular Discrete EVent System Specification entitybased crowd models, and we show how to use Cellular Discrete EVent System Specification for entity-based modeling and simulation of crowds. We provide an approach for using ...

At Kennedy Space Center (KSC), an important use of Discrete Event Simulation (DES) addresses ground operations .of missions to space. DES allows managers, scientists and engineers to assess the number of missions KSC can complete on a given schedule within different facilities, the effects of various configurations of resources and detect possible problems or unwanted situations. For fifteen ye...

System Dynamics modeling and Discrete Event Simulation both can be used to model corporate business decisions. However, there seems to be little dialog between the two communities of modelers. For instance, at the recent WinterSim simulation conference in Washington, DC, there were no presentations of System Dynamics models. Discussions held by the author with a number of practitioners in each ...

Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, an event may conceivably be observable at one state and unobservable at another state and the observability may become dependent on the history of event occurrences. This paper presents a framework for analysis of generalised projection ...