in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

Discrete event modeling and simulation reinforcement learning are two frameworks suited for cyberphysical system design, which, when combined, can give powerful tools optimization or decision making process example. This paper describes how discrete could be integrated into concepts in order to assist the realization of systems, more specially considering temporal, hierarchical, multi-agent asp...

this article proposes composition of fuzzy sets theory with discrete-event simulation and puts it into application in order to model uncertain activity duration in simulating a real-world system. the purpose of this paper is to assess the usefulness of fuzzy simulation for modeling uncertain activity duration, especially when insufficient or no sample data is available. in this research, fuzzy ...

Discrete-event simulation based optimization is the process of finding the optimum design of a stochastic system when the performance measure(s) could only be estimated via simulation. Randomness in simulation outputs often challenges the correct selection of the optimum. We propose an algorithm that merges Ranking and Selection procedures with a large class of random search methods for continu...

in previous studies we first concentrated on utilizing crisp simulationto produce discrete event fuzzy systems simulations. then we extendedthis research to the simulation of continuous fuzzy systems models. in this paperwe continue our study of continuous fuzzy systems using crisp continuoussimulation. consider a crisp continuous system whose evolution depends ondifferential equations. such a ...

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 ...

since the analysis of complex services systems by using mathematical modeling techniques, with considering the random patterns prevailing in them, is so difficult or probably impossible, improvement guidelines are often followed based on the experts' experiences using qualitative methods. in the present paper, by employing a discrete event computer simulation methodology, criminal trial sy...

This paper presents the application of discrete event system in the field of power system. In power system there are various components which required control and coordination when they are in operation. The theory of discrete event system has been applied in the application part of power system. The discrete nature of ULTC and discrete switching behavior of SVC are best suited for the supervis...