Discrete Event Simulation-Based Evaluation of a Single-Lane Synchronized Dual-Traffic Light Intersections

This research involved an exploratory evaluation of the dynamics of vehicular traffic on a road network across two traffic light-controlled junctions. The study uses the case study of a one-kilometer road system modelled on Anylogic version 8.8.4. Anylogic is a multi-paradigm simulation tool that supports three main simulation methodologies: discrete event simulation, agent-based modeling, and system dynamics modeling. The system is used to evaluate the implication of stochastic time-based vehicle variables on the general efficiency of road use. Road use efficiency as reflected in this model is based on the percentage of entry vehicles to exit the model within a one-hour simulation period. The study deduced that for the model under review, an increase in entry point time delay has a domineering influence on the efficiency of road use far beyond any other consideration. This study therefore presents a novel approach that leverages Discrete Events Simulation to facilitate efficient road management with a focus on optimum road use efficiency. The study also determined that the inclusion of appropriate random parameters to reflect road use activities at critical event points in a simulation can help in the effective representation of authentic traffic models. The Anylogic simulation software leverages the Classic DEVS and Parallel DEVS formalisms to achieve these objectives.

Intrusion Detection System for PS-Poll DoS Attack in 802.11 Networks Using Real Time Discrete Event System

Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.

Discrete event model-based simulation for train movement on a single-line railway

The aim of this paper is to present a discrete event model-based approach to simulate train movement with the con- sidered energy-saving factor. We conduct extensive case studies to show the dynamic characteristics of the traffic flow and demonstrate the effectiveness of the proposed approach. The simulation results indicate that the proposed discrete event model-based simulation approach is suitable for characterizing the movements of a group of trains on a single railway line with less iterations and CPU time. Additionally, some other qualitative and quantitative characteristics are investigated. In particular, because of the cumulative influence from the previous trains, the following trains should be accelerated or braked frequently to control the headway distance, leading to more energy consumption.

Demand and Capacity Modelling in Healthcare Using Discrete Event Simulation

The NHS is right now confronting huge pressures relating to demand and capacity in radiology. The purpose of this research has been to provide information about MRI usage, details of operational aspects of MRI services, and to ascertain the planning intentions of NHS radiology services to keep up and create MRI capacity. The report expands on using Discrete Event Simulation (DES) to inspect and plan the utilisation of NHS hospital resources for the radiology department to help a 24 hr service that is available to outpatients which will help with diminishing patient waiting time, better resource usage, understanding the capacity and demand. Consequently, this research examines to adjust staff and resources with the demand of the MRI. The research was investigated using DES in various scenarios to find which resources are inactive;patients are treated slowly. DES helped in discovering resource utilisation and outpatient throughout the system. It additionally helped in distinguishing the bottlenecks in patient flow. The DES simulation results demonstrated that time for the outpatient in the system is less and more outpatients have been treated too. There is a higher level of outpatient patients leaving the system under 120 minutes. The report uncovered an MRI report interpretation time. Reception room time and MRI waiting room time are decreased significantly. It additionally exhibited with an expanded outflow of outpatients, resources, for example, MRI capacity and radiographer utilisation expanded.

Decentralized supervisory control of continuous timed discrete event systems

In this paper,we presented the decentralized supervisory control problem of discrete event system with continuous-time variable.By presenting the definition of coobservability for the timed specification,a necessary and sufficient condition for the existence of decentralized supervisors is obtained.Finally,a numerical example is given.

Discrete-Event Simulation of Viaduct Construction Methods in Riyadh Metro

The Riyadh metro project is one of the current megaprojects that aim to improve the transit systems in Saudi Arabia.It consists of several metro lines with a total length of 176 km and 85 stations.The viaducts are considered as one of the main construction elements in the metro lines.Four methods for viaducts construction have been used in the Riyadh metro project:precast beam,full span launching method,cast on-site,and segment method(precast segment method and BCM(balanced cantilever method)).The viaducts work consumes a large portion of a project’s time and cost.Furthermore,the competitive nature of the construction industry increases the need to improve the efficiency of construction performance.Accordingly,this paper takes the initial steps toward increasing the efficiency of viaduct construction methods through simulation.Simulation of construction processes provides a systematic tool that can be used for determining the resources,time,and cost of these processes.The simulation processes should focus on the main activities affecting this element’s execution for viaducts construction,such as segment storage,handling,transporting,and installation.This study highlights the viaducts construction methods and develops general discrete-event simulation models for the most commonly used viaducts construction methods in the Riyadh metro using AnyLogic simulation software.The simulation models visualize and capture the interaction between the different activities and resources in a viaduct construction.Consequently,the construction drawbacks can be identified.Furthermore,the simulation model can be manipulated by adding assumptions to develop more efficient construction methods in terms of time and cost in such projects.

Discrete Event Simulation to Evaluate Different Treatments of Diabetic Retinopathy Disease

Modeling approach using discrete event simulation has been proven to work well in modeling in health care. The aim of our paper is to propose a simulation approach which shows realistic models presenting different possible treatments in different stages of diabetic retinopathy. We have presented three models in order to choose the best treatment for diabetic retinopathy patients. The first model describes the flow of a patient through stages without any medical treatments. It takes 13 years to reach blindness. The second model which includes the laser photocoagulation treatments leads to blindness after 46 years. Then, the third model illustrates the involvement of vitrectomy operation and delays blindness by 23 years. To construct the models, data were taken from experienced doctors and professors of the ophthalmology department in the University hospital Habib Bourguiba and the endocrinology department in the University hospital Hedi Chaker in Sfax, Tunisia. Our objective is to delay reaching the blindness stage as late as possible. Three models were developed, verified and validated through many iterative implementations with ARENA simulation software.

A Novel Simulation Method for Power Electronics: Discrete State Event Driven Method

In the analysis of power electronics system,it is necessary to simulate ordinary differential equations(ODEs)with discontinuities and stiffness.However,there are many difficulties in using traditional discrete-time algorithms to solve such equations.Kofman and others presented the quantized state systems(QSS)algorithm in the discrete event system specification(DEVS)formalism.The discretization is applied to the state variables instead of time range in QSS.QSS is efficient to solve ODEs,but it is difficulty to be used when simulating actual power electronics systems with controller’s and other events.Based on the idea of this numerical algorithm and discrete event,a Discrete State Event Driven(DSED)simulation method is presented in this paper,which is fit for simulation of power electronics system.The method is developed to deal with non-linearity,stiffness and multi-time scale of power electronics systems.The DSED simulation method includes event definition,module seperation and modeling,event-driven mechanisms,numerical computation based on QSS,and some other operations.Simulation results verified the effectiveness and validity of the proposed method.

Topology-Based and Event-Oriented Approach to Simulation of Cyber-Physical Systems

A simulation model for cyber-physical systems(CPSs)was presented.The model was developed by the method of combination of topology-based and event-oriented that could be used to simulate systems with routing flexibility,service-selection flexibility and service- mode flexibility overall by integrating the strategies related.The validity of the model has been verified by two extensive experiments.

基于EFSM的智能车间制造系统生产物流建模与仿真

制造业的生产物流方式处于不断变革中,对其建模仿真可为制造系统规划设计、分析及改造提供决策支持。依“人-机-物-环-法”分类给出了智能车间制造系统中实体元素的描述,结合EFSM(extended finite state machine)和组件化建模思想,建立了生产和物流组件化EFSM模型;阐述了智能车间多作业生产的建模过程以及组件模型实例化方法;通过EFSM-DEVS(discrete event system specification)模型自动转换及DEVS引擎完成了仿真运行。仿真结果表明:该方法所建立的模型更符合车间实际状况,适用性更广;组件化建模思想能构造更具扩展性的软件;建模及仿真运行的3D可视化使软件直观性更好,其仿真结果与AnyLogic保持一致。

UltraStar:A Lightweight Simulator of Ultra-Dense LEO Satellite Constellation Networking for 6G

The mega-constellation network has gained significant attention recently due to its great potential in providing ubiquitous and high-capacity connectivity in sixth-generation(6G)wireless communication systems.However,the high dynamics of network topology and large scale of mega-constellation pose new challenges to the constellation simulation and performance evaluation.In this paper,we introduce UltraStar,a lightweight network simulator,which aims to facilitate the complicated simulation for the emerging mega-constellation of unprecedented scale.Particularly,a systematic and extensible architecture is proposed,where the joint requirement for network simulation,quantitative evaluation,data statistics and visualization is fully considered.For characterizing the network,we make lightweight abstractions of physical entities and models,which contain basic representatives of networking nodes,structures and protocol stacks.Then,to consider the high dynamics of Walker constellations,we give a two-stage topology maintenance method for constellation initialization and orbit prediction.Further,based on the discrete event simulation(DES)theory,a new set of discrete events is specifically designed for basic network processes,so as to maintain network state changes over time.Finally,taking the first-generation Starlink of 11927 low earth orbit(LEO)satellites as an example,we use UltraStar to fully evaluate its network performance for different deployment stages,such as characteristics of constellation topology,performance of end-to-end service and effects of network-wide traffic interaction.The simulation results not only demonstrate its superior performance,but also verify the effectiveness of UltraStar.

Controller Design of DES Petri Nets with Mixed Constraint

The problem of constructing a Petri net feedback controller, which enforces the conjunction of a set of linear inequalities on the reachable marking of the place and transition modeled by Petri net, is discussed. A new method of controller design with mixed constraint is presented, and a net reduction technique of Petri net fuses all the constrained places into one place whose marking is equal to the sum of the markings of the constrained places, and then compared with the constrained transitions. The net reduction eases the design of controller and holds remarkable advantages especially for systems with large scale. The method is proved to be simpler and more efficient than the method presented by Yamalidou, et al, using an applied case used by Yamalidou, et al.

Parallel architecture and optimization for discrete-event simulation of spike neural networks

Spike neural networks are inspired by animal brains,and outperform traditional neural networks on complicated tasks.However,spike neural networks are usually used on a large scale,and they cannot be computed on commercial,off-the-shelf computers.A parallel architecture is proposed and developed for discrete-event simulations of spike neural networks.Furthermore,mechanisms for both parallelism degree estimation and dynamic load balance are emphasized with theoretical and computational analysis.Simulation results show the effectiveness of the proposed parallelized spike neural network system and its corresponding support components.

A discrete event systems approach to discriminating intermittent from permanent faults

Almost all work on model-based diagnosis （MBD） potentially presumes faults are per- sistent and does not take intermittent faults （IFs） into account. Therefore, it is common for diag- nosis systems to misjudge IFs as permanent faults （PFs）, which are the major cause of the problems of false alarms, cannot duplication and no fault found in aircraft avionics. To address this problem, a new fault model which includes PFs and IFs is presented based on discrete event systems （DESs）. Thereafter, an approach is given to discriminate between PFs and IFs by diagnosing the current fault. In this paper, the regulations of （PFs and IFs） fault evolution through fault and reset events along the traces of system are studied, and then label propagation function is modified to account for PFs and the dynamic behavior of IFs and diagnosability of PFs and IFs are defined. Finally, illustrative examples are presented to demonstrate the proposed approach, and the analysis results show the fault types can be discriminated within bounded delay if the system is diagnosable.

Resilient Fault Diagnosis Under Imperfect Observations–A Need for Industry 4.0 Era

In smart industrial systems,in many cases,a fault can be captured as an event to represent the distinct nature of subsequent changes.Event-based fault diagnosis techniques are capable model-based methods for diagnosing faults from a sequence of observable events executed by the system under diagnosis.Most event-based diagnosis techniques rely on perfect observations of observable events.However,in practice,it is common to miss an observable event due to a problem in sensorreadings or communication/transmission channels.This paper develops a fault diagnosis tool,referred to as diagnoser,which can robustly detect,locate,and isolate occurred faults.The developed diagnoser is resilient against missed observations.A missed observation is detected from its successive sequence of events.Upon detecting a missed observation,the developed diagnoser automatically resets and then,asynchronously resumes the diagnosis process.This is achieved solely based on postreset/activation observations and without interrupting the performance of the system under diagnosis.New concepts of asynchronous detectability and asynchronous diagnosability are introduced.It is shown that if asynchronous detectability and asynchronous diagnosability hold,the proposed diagnoser is capable of diagnosing occurred faults under imperfect observations.The proposed technique is applied to diagnose faults in a manufacturing process.Illustrative examples are provided to explain the details of the proposed algorithm.The result paves the way towards fostering resilient cyber-physical systems in Industry4.0 context.

Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming

Deadlock resolution strategies based on siphon control are widely investigated.Their computational efficiency largely depends on siphon computation.Mixed-integer programming(MIP)can be utilized for the computation of an emptiable siphon in a Petri net(PN).Based on it,deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential complexity.Due to this reason,various MIP methods are proposed for various subclasses of PNs.This work proposes an innovative MIP method to compute an emptiable minimal siphon(EMS)for a subclass of PNs named S^(4)PR.In particular,many particular structural characteristics of EMS in S4 PR are formalized as constraints,which greatly reduces the solution space.Experimental results show that the proposed MIP method has higher computational efficiency.Furthermore,the proposed method allows one to determine the liveness of an ordinary S^(4)PR.

Performance-driven design with the support of digital tools： Applying.discrete event simulation and space syntax on the design of the emergency department

Ptanning the design of the emergency department （ED） is a complex process. Hospital readers and architects must consider many complex and interdependent factors, including evolving market demands, patient volume, care models, operational processes, staffing, and medical equipment. The application of digital toots, such as discrete event simulation （DES） and space syntax analysis （SSA）, arrows hospital administrators and designers to quantitativety and objectively optimize their facilities. This paper presents a case study that utitized both DES and SSA to optimize the care process and to design the space in an ED environment. DES was apptied in three phases： master planning, process improvement in the existing ED, and designing the new ED. SSA was used to compare the new design with the existing layout to evatuate the effectiveness of the new design in supporting visuat surveiltance and care coordination. This case study demonstrates that DES and SSA are effective toots for facilitating decision-making retated to design, reducing capital and operational costs, and improving organizational performance. DES focuses on operational processes and care flow. SSA complements DES with its strength in linking space to human behavior. Combining both tools can lead to high-performance ED design and can extend to broad applications in health care.

Integration of Fault Analysis and Interlock Controller Synthesis for Batch Processes

Integration amongst various decision-making processes, such as planning, design, and operation is necessary to dynamic and flexible batch production. To achieve a batch production integration, utilization of common models used for various decision-making processes is an effective approach. From this point of view, a batch system common model as described by a Petri net is proposed. In this article, a fault diagnosis technique for batch processes is presented using information about fault propagation and the possibilities of integration of fault analysis and controller synthesis are discussed on the basis of the Petri net based common models.

MODELING AND PERFORMANCE ANALYSIS FOR THE SERIAL AND PARALLEL PRODUCTION SYSTEM BASED ON GSPN

Differed from the existed applications of generalized stochastic Petri net(GSPN) theory in machine-tool manufacturing system, reliability computation of FMS, testabilityparameters determination and fault analysis, a new idea of applying GSPN to model and performanceanalysis for the serial and parallel production system is proposed. And one typical discrete eventdynamic system (DEDS), turner-unit of palletizing system, is taken as a real case to research. Basedupon the established GSPN models, the working performances of serial and parallel layout arecompared. Furthermore, their differences of working mechanisms including feeding mechanism,coordinating mechanism and monitoring mechanism are discussed. Thus the theoretical basis which ishelpful to appraise layout plan and its reasonableness is provided. Meanwhile, the research resultsshow that parallel layout is more advantageous to greatly improve the operational speed ofproduction system than serial one.

Evaluation of the impact of commodity price change on mine plan of underground mining

Fluctuations in commodity prices should influence mining operations to continually update and adjust their mine plans in order to capture additional value under new market conditions. One of the adjustments is the change in production sequencing. This paper seeks to present a method for quantifying the net present value(NPV) that may be directly attributed to the change in commodity prices. The evaluation is conducted across ten copper price scenarios. Discrete event simulation combined with mixed integer programming was used to attain a viable production strategy and to generate optimal mine plans. The analysis indicates that an increase in prices results in an increased in the NPV from$96.57M to $755.65M. In an environment where mining operations must be striving to gain as much value as possible from the rights to exploit a finite resource, it is not appropriate to keep operating under the same mine plan if commodity prices alter during the course of operations.