Modern healthcare achieved great progress in developing and manufacturing medical devices, treatment procedures and drugs to serve individual patients. However, relatively little technical talent and material resources have been devoted to improving the overall health care delivery process as a system. Discrete-event simulation (DES) models and queuing analytic (QA) theory are the most widely a...

Based on operating mode management, this paper introduces a new framework for studying dynamics of Discrete Event Systems (DES). Studied system presents several operating modes due to the state space explosion problem. To cure this problem, we propose a multi-model approach where each model describes a system in a given operating mode. We assume that only one attempted operating mode is activat...

Network simulation models are becoming common for modeling the spread of infections. However, speed is often an issue for large populations. Choosing a discrete time simulation (DTS) over a discrete event simulation (DES) helps to remedy this problem at the cost some accuracy. We analyze and quantify the loss in accuracy for the common SI and SIS processes. Specifically we prove the DTS method ...

Quality improvement (QI) efforts are an indispensable aspect of health care delivery, particularly in an environment of increasing financial and regulatory pressures. The ability to test predictions of proposed changes to flow, policy, staffing, and other process-level changes using discrete event simulation (DES) has shown significant promise and is well reported in the literature. This articl...

This paper is concerned with diagnosability analysis, which proves a requisite for several tasks during the system’s life cycle. The Model-Based Diagnosis (MBD) community has developed specific approaches for Continuous Systems (CS) and for Discrete Event Systems (DES) in two distinct and parallel tracks. In this paper, the correspondences between the concepts used in CS and DES approaches are ...

In this paper, model-based systems engineering (MBSE) and discrete event simulation (DES) are combined to assess the performance of an offshore production system at early stage. Various tools applied industrial case concerning retrieval deep-sea minerals, a engine is developed calculate annual output. A mean 1 Million tonnes ore per year estimated for operation in Norwegian Sea using Monte Carl...

Problem statement: The heterogeneity in the choice of simulation platforms for real time scheduling stands behind the difficulty of developing a common simulation environment. A Discrete Event Simulation (DES) for a real time scheduling domain encompassing event definition, time advancing mechanism and scheduler has yet to be developed. Approach: The study focused on the proposed and the develo...

Model verification is to check the correctness of the model implementation comparing with a model specification. The specification is modeling and description properties of a real system. The implementation is the ready to simulation model described from model specification. Our proposed frame work is system morphism based approach, which has various levels of morphism depending on system descr...

Based on two intuitions – (i) event-driven systems and multi-agent systems are two computational paradigms that are amenable of a coherent interpretation within a unique conceptual framework; (ii) integrating the two simulation approaches can lead to a more expressive and powerful simulation framework – we propose a computational model integrating Discrete-Event Simulation (DES) and Multi-Agent...