Using Finite Forkable DEVS for Decision-Making Based on Time Measured with Uncertainty
Journal Title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems - Year 2016, Vol 3, Issue 9
Abstract
The time-line in Discrete Event Simulation (DES) is a sequence of events defined in a numerable subset of R+. When it comes from an experimental measurement, the timing of these events has a limited precision. This precision is usually well-known and documented for each instruments and procedures used for collecting experimental datas. Therefore, these instruments and procedures produce measurement results expressed using values each associated with an uncertainty quantification, given by uncertainty intervals. Tools have been developed in Continuous Systems modeling for deriving the uncertainty intervals of the final results corresponding to the propagation of the uncertainty intervals being evaluated. These tools cannot be used in DES as they are defined, and no alternative tools that would apply to DES have been developed yet. In this paper, we propose simulation algorithms, based on the Discrete Event System Specification (DEVS) formalism, that can be used to simulate and obtain every possible output and state trajectories of simulations that receive input values with uncertainty quantification. Then, we present a subclass of DEVS models, called Finite Forkable DEVS (FF-DEVS), that can be simulated by the proposed algorithms. This subclass ensures that the simulation is forking only a finite number of processes for each simulation step. Finally, we discuss the simulation of a traffic light model and show the trajectories obtained when it is subject to input uncertainty.
Authors and Affiliations
Damian Vicino, Olivier Dalle, Gabriel Wainer
Keywords
Related Articles
- EP ID EP46054
- DOI http://dx.doi.org/10.4108/eai.24-8-2015.2261152
- Views 306
- Downloads 0
A Performance Perspective on Choosing between Single Aggregate and Multiple Aggregates for GENI Experime nts
The Global Environment for Network Innovations (GENI) provides a virtual laboratory for exploring future internets at scale. It consists of many geographically distributed aggregates for providing computing and networkin...
Centrality-Based Paper Citation Recommender System
Researchers cite papers in order to connect the new research ideas with previous research. For the purpose of finding suitable papers to cite, researchers spend a considerable amount of time and effort. To help researche...
Empirical analysis of IPv6 transition technologies using the IPv6 Network Evaluation Testbed
IPv6 has yet to become more than a worthy successor of IPv4, which remains, for now, the dominant Internet Protocol. This is due to the complicated transition period through which the Internet will have to go, until IPv6...
An Application of SMC to continuous validation of heterogeneous systems.
This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set of heterogeneous components whose number evolves with time. Such components cooperate to accomplish functions that they...
Coupling of the synchronization stations of an Extended Kanban system
In this paper, an approximate method for estimating the performance of the synchronization stations of an Extended Kanban production system is developed. The correct treatment of an Extended Kanban system requires the de...