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.

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.

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.

A Model Combining Discrete Event System Simulation and Genetic Algorithm for Buffer Allocation in Unreliable Large Production Lines

To solve the difficulties in allocating buffers for unreliable large production lines, this paper inves-tigated a model combining the genetic algorithm with the discrete event system simulation method. In the simulation method, times-to-failure of an unreliable large production line is assumed to follow exponential distribution, whereas times-to-repair and times-to-processing are set to follow an Erlang-k distribution. Using a genetic algorithm based on special position-based mapping means and elitist protection strategy, the buffer configuration of an auto-body welding line is optimized. The simulation of the optimized configuration shows that the performance of the production line, such as productivity and the main average utilization of the workstations, is much improved. This model can optimize the allocation of buffers for unreliable large production lines effectively.

Application of networked discrete event system theory on intelligent transportation systems

The responses of vehicles to the changes in traffic situations inevitably have delays in observing an event and implementing a control command,which often causes fatal accidents.So far,the methods for handling delays are empirical and cannot be mathematically proven.To eliminate the accidents caused by such delays,in this paper,we develop mathematically provable methods to handle these delays.Specifically,we use networked discrete event systems to model the process of driving vehicles and present a supervisory controller for handling delay situations.The method developed in this paper could serve as a new start for modeling and controlling the responsive behaviors of self-driving vehicles in the future.

Efficient robust supervisors for discrete event systems

This paper is a sequel to a previous publication by the same authors, in which an efficient modular solution to a robust supervisory control problem for discrete event systems modeled by finite automata with prefix-closed specification languages has been presented. This solution is based on a general recursive robust control scheme, which has been successfully applied to a number of problems. The additional contributions of the present paper are： （a） a slight generalization of the problem assumptions; （b） an alternative derivation of some of the results and an alternative formulation of the controller; （c） a detailed description of a very efficient on-line implementation algorithm; and （d） an illustrative practical example.

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.

Specification of dynamic structure discrete event systems using single point encapsulated control functions

In Discrete Event System Specification(DEVS),the dynamics of a network is constituted only by the dynamics of its basic components.The state of each component is fully encapsulated.Control in the network is fully decentralized to each component.At dynamic structure level,DEVS should permit the same level of decentralization.However,it is hard to ensure structure consistency while letting all components achieve structure changes.Besides,this solution can be complex to implement.To avoid these difficulties,usual dynamic structure approaches ensure structure consistency allowing structure changes to be done only by the network having newly added dynamics change capabilities.This is a safe and simple way to achieve dynamic structure.However,it should be possible to simply allow components of a network to modify the structure of their network,other components and/or their own structure—without having to modify the usual definition a DEVS network.In this manuscript,it is shown that a simple fully decentralized approach is possible while ensuring full modularity and structure consistency.

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.

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.

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.

Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting

The supervisory control problem for discrete event system(DES) under control involves identifying the supervisor, if one exists, which, when synchronously composed with the DES,results in a system that conforms to the control specification. In this context, we consider a non-deterministic DES under complete observation and control specification expressed in action-based propositional μ-calculus. The key to our solution is the process of quotienting the control specification against the plan resulting in a new μ-calculus formula such that a model for the formula is the supervisor. Thus the task of control synthesis is reduced a problem of μ-calculus satisfiability. In contrast to the existing μ-calculus quotienting-based techniques that are developed in deterministic setting, our quotienting rules can handle nondeterminism in the plant models. Another distinguishing feature of our technique is that while existing techniques use a separate μ-calculus formula to describe the controllability constraint(that uncontrollable events of plants are never disabled by a supervisor), we absorb this constraint as part of quotienting which allows us to directly capture more general state-dependent controllability constraints. Finally, we develop a tableau-based technique for verifying satisfiability of quotiented formula and model generation. The runtime for the technique is exponential in terms of the size of the plan and the control specification. A better complexity result that is polynomial to plant size and exponential to specification size is obtained when the controllability property is state-independent. A prototype implementation in a tabled logic programming language as well as some experimental results are presented.

Deadlock-free dynamic resource assignment in multi-robot systems with multiple missions:application in wireless sensor networks

In unstructured environments, dynamic resource assignment is required for effective cooperation of robot teams. In some scenarios, robots are in charge of executing multiple missions simultaneously. This creates risks of deadlock due to the presence of shared resources among various missions. The main contribution of this paper is the development of a novel approach that combines the one-step look-ahead deadlock avoidance policy with dynamic resource assignment. The dynamicresource assignment is achieved using greedy resource assignment for multi-mission robot teams in the framework of a matrix-based discrete event controller. Simulation results are presented in MATLAB to discuss in detail the proposed control strategy. The paper also discusses the toolkit developed in LabVIEW which is used to implement this control framework using a suitable example.

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.

Workshop Scheduling Based on a Rule-restrained Colored Petri Net and the Development of a Scheduling System on the Internet/Intranet

In the paper, the gap between theoretical research and practical applicationsof workshop scheduling is analyzed. According to practical application requirements, thetraditional Petri net is expanded and a Rule-restrained Colored Petri Net (RCPN) is put forward tomodel workshop activities. Then, the architecture of the workshop scheduling system based on RCPN ispresented. Finally, the scheduling system that adopts a 3 -layer B/S/D mode is developed on theInternet/Intranet by using the Web database and Java.

Simulation-based Manufacturing System Modeling

In recent years, computer simulation appears to be very advantageous technique for researching the resource-constrained manufacturing system. This paper presents an object-oriented simulation modeling method, which combines the merits of traditional methods such as IDEF0 and Petri Net. In this paper, a four-layer-one-angel hierarchical modeling framework based on OOP is defined. And the modeling description of these layers is expounded, such as: hybrid production control modeling and human resource dispatch modeling. To validate the modeling method, a case study of an auto-product line in a motor manufacturing company has been carried out.

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

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