Discrete event systems
2,907 resources related to Discrete event systems
- Topics related to Discrete event systems
- IEEE Organizations related to Discrete event systems
- Conferences related to Discrete event systems
- Periodicals related to Discrete event systems
- Most published Xplore authors for Discrete event systems
The CDC is the premier conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.
The Frontiers in Education (FIE) Conference is a major international conference focusing on educational innovations and research in engineering and computing education. FIE 2019 continues a long tradition of disseminating results in engineering and computing education. It is an ideal forum for sharing ideas, learning about developments and interacting with colleagues inthese fields.
All topics related to engineering and technology management, including applicable analytical methods and economical/social/human issues to be considered in making engineering decisions.
The 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2020) will be held in Metro Toronto Convention Centre (MTCC), Toronto, Ontario, Canada. SMC 2020 is the flagship conference of the IEEE Systems, Man, and Cybernetics Society. It provides an international forum for researchers and practitioners to report most recent innovations and developments, summarize state-of-the-art, and exchange ideas and advances in all aspects of systems science and engineering, human machine systems, and cybernetics. Advances in these fields have increasing importance in the creation of intelligent environments involving technologies interacting with humans to provide an enriching experience and thereby improve quality of life. Papers related to the conference theme are solicited, including theories, methodologies, and emerging applications. Contributions to theory and practice, including but not limited to the following technical areas, are invited.
The Annual IEEE PES General Meeting will bring together over 2900 attendees for technical sessions, administrative sessions, super sessions, poster sessions, student programs, awards ceremonies, committee meetings, tutorials and more
Experimental and theoretical advances in antennas including design and development, and in the propagation of electromagnetic waves including scattering, diffraction and interaction with continuous media; and applications pertinent to antennas and propagation, such as remote sensing, applied optics, and millimeter and submillimeter wave techniques.
The theory, design and application of Control Systems. It shall encompass components, and the integration of these components, as are necessary for the construction of such systems. The word `systems' as used herein shall be interpreted to include physical, biological, organizational and other entities and combinations thereof, which can be represented through a mathematical symbolism. The Field of Interest: shall ...
The IEEE Transactions on Automation Sciences and Engineering (T-ASE) publishes fundamental papers on Automation, emphasizing scientific results that advance efficiency, quality, productivity, and reliability. T-ASE encourages interdisciplinary approaches from computer science, control systems, electrical engineering, mathematics, mechanical engineering, operations research, and other fields. We welcome results relevant to industries such as agriculture, biotechnology, healthcare, home automation, maintenance, manufacturing, pharmaceuticals, retail, ...
IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...
IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...
2007 Chinese Control Conference, 2007
This paper includes the introduction of the features of simulation method based on SystemC and the analysis of its advantage to discrete event system simulation, meanwhile, a new simulation model based on SystemC is proposed. A detailed example of the queue system is given with application of DEVS to prove the new module is valid and facilitated. It can be ...
IEEE Transactions on Automatic Control, 2000
Ordinal optimization has emerged as an efficient technique for simulation and optimization. Exponential convergence rates can be achieved in many cases. In this paper, we present a new approach that can further enhance the efficiency of ordinal optimization. Our approach intelligently determines the optimal number of simulation replications (or samples) and significantly reduces the total simulation cost. Numerical illustrations are ...
IEEE Transactions on Automatic Control, 1998
This paper addresses the sensitivity analysis of stochastic Petri nets (SPNs) using simulations. The goal is to evaluate the derivatives of performance measures with respect to timing parameters. To characterize the underlying stochastic processes of SPNs, we use a generalized semi-Markov process (GSMP) representation and propose a new representation, called GSMP*, which differs from GSMP in the routing mechanism. By ...
18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004., 2004
The Parallel (and Distributed) Discrete Event Simulation (PADS) community - over it's more than 20 years of existence - has achieved remarkable results in getting the execution of simulations of discrete event systems faster, involving multiple, logically and/or physically dispersed, communicating computational resources. A solid, mature and empirically approved body of foundational concepts, models, systems, methods and algorithms are at ...
1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274), 1998
We present the DSDE (Dynamic Structure of Discrete Events) formalism, a methodology for representing discrete event systems that change structure dynamically. We prove that the DSDE formalism is closed under coupling and that it can be used to construct hierarchical and modular models. The abstract simulators which are necessary to execute dynamic structure models are also presented. These simulators allow ...
Robust Qubit Manipulation with Integrated Circuits: Optical Computing - Pérola Milman at INC 2019
Advanced Simulation of Nanodevices - Luca Selmi at INC 2019
2015 IEEE Honors: IEEE Richard W. Hamming Medal - Imre Csiszar
IEEE Green Energy and Systems Conference 2015
Micro-Apps 2013: Design and Simulation of Phased Arrays in VSS
Panel Q&A - Rebooting Computing: 2016 Technology Time Machine
An IEEE IPC Special Session with X. Chen from Nokia Bell Labs
Philippe Wolf: Designing Secure and Private Complex Data Systems - WF-IoT 2015
IROS TV 2019- The Big Picture with IEEE - Prof. Toshio Fukuda
IEEE Industry Summit Welcoming Remarks & ICRC Readout - ICRC San Mateo, 2019
NGD Systems Pitch: Fog Tank - Fog World Congress
D-Wave Quantum Computer: Technology Update - Fabio Altomare - ICRC San Mateo, 2019
IEEE 125th Anniversary Media Event: Embracing Human Technology Interactions
Grid Integration Systems and Mobility with Keynote Sila Kiliccote - IEEE WIE ILC 2017
Worms, Waves, and Robots
Brooklyn 5G 2016: Closing Remarks
Brooklyn 5G Summit 2014: Dr. Andrea Goldsmith on 5G and Beyond
IROS TV 2019-Collaborative Robotics & Intelligent Systems Institute CoRIS at Oregon State University
Hybrid Computing for Near-term Quantum Computing Systems - Alex McCaskey - ICRC 2018
This paper includes the introduction of the features of simulation method based on SystemC and the analysis of its advantage to discrete event system simulation, meanwhile, a new simulation model based on SystemC is proposed. A detailed example of the queue system is given with application of DEVS to prove the new module is valid and facilitated. It can be adopted in applications for other simulation scheduling problems.
Ordinal optimization has emerged as an efficient technique for simulation and optimization. Exponential convergence rates can be achieved in many cases. In this paper, we present a new approach that can further enhance the efficiency of ordinal optimization. Our approach intelligently determines the optimal number of simulation replications (or samples) and significantly reduces the total simulation cost. Numerical illustrations are included. The results indicate that our approach can obtain an additional 74% computation time reduction above and beyond the reduction obtained through the use of ordinal optimization for a 10-design example.
This paper addresses the sensitivity analysis of stochastic Petri nets (SPNs) using simulations. The goal is to evaluate the derivatives of performance measures with respect to timing parameters. To characterize the underlying stochastic processes of SPNs, we use a generalized semi-Markov process (GSMP) representation and propose a new representation, called GSMP*, which differs from GSMP in the routing mechanism. By using existing results on perturbation analysis of GSMPs and by extending them to GSMP*, unbiased sensitivity estimators are obtained for SPNs simulated under a GSMP or GSMP* framework. Most importantly, we prove that only one simulation run is needed for evaluating both the performance measures and their derivatives for a class of free-choice nets simulated under a GSMP framework and for any free-choice net simulated under a GSMP* framework.
The Parallel (and Distributed) Discrete Event Simulation (PADS) community - over it's more than 20 years of existence - has achieved remarkable results in getting the execution of simulations of discrete event systems faster, involving multiple, logically and/or physically dispersed, communicating computational resources. A solid, mature and empirically approved body of foundational concepts, models, systems, methods and algorithms are at hand and well documented in more than 50.000 pages of research papers. PADS simulation engines, model and software libraries, and operating systems have proven feasibility and applicability of these results in solving real world problems. Despite the (healthy) self-criticism of it's proponents ("Will the field survive?"), PADS was - and is - a success! With this talk we aim at a prospect for the challenges posed by the emerging new models of computational and communication, the evolving new paradigms of interaction and coordination, the new styles of system design, and even the availability of new technologies, for which - in my opinion - no other community qualifies better than the PADS community.
We present the DSDE (Dynamic Structure of Discrete Events) formalism, a methodology for representing discrete event systems that change structure dynamically. We prove that the DSDE formalism is closed under coupling and that it can be used to construct hierarchical and modular models. The abstract simulators which are necessary to execute dynamic structure models are also presented. These simulators allow a description of models independent of the actual simulation procedure, and thus encourage model reuse.
Real-time network simulation refers to simulating computer networks in real time so that the virtual network can interact with real implementations of network protocols, network services, and distributed applications. This paper proposes a new model for real-time simulation of large-scale networks based on powerful network processor. The scheme takes advantage of discrete event system simulation model to simulating large-scale network. This paper describes the implementation of network simulation technology based on Intel IXP2400 platform. Experiment results show that the model can simulate large- scale network, learn routing entries automatically and forward packets at wire-speed.
This paper is concerned with convergence rates of stochastic optimization algorithms depending on the budget. The underlying problems naturally arise from a wide range of applications in Monte Carlo optimization and discrete event systems, for example, optimization of steady-state simulation models with likelihood ratio, perturbation analysis, or finite-difference gradient estimators, optimization of infinite-horizon models with discounting etc. Frequently, one wants to minimize a cost functional /spl alpha/(/spl middot/) over IR/sup r/. We are mainly interested in the situation where the value of /spl alpha/(/spl theta/) for a /spl theta//spl isin/IR (or its gradient) is difficult to compute, and only a gradient estimator is available, which can be computed by simulation. The quality of the estimator may depend on the parameter value /spl theta/ and the computing budget. Assuming that a gradient estimator is available and that both the bias and the variance of the estimator are functions of the budget, we use the gradient estimator in conjunction with a stochastic approximation (SA) algorithm. Our interest is to figure out, how to allocate the total available computational budget to the successive SA iterations. We find the convergence rates in terms of the number of iterations, and the total computational effort. Our results are also applicable to root-finding stochastic approximations.
This paper considers a new analytic perturbation analysis (APA) approach for discrete event dynamic systems (DEDS) with discontinuous sample-path functions with respect to control parameters. The performance functions for DEDS usually are formulated as mathematical expectations, which can be calculated only numerically. APA is based on new analytic formulas for the gradients of expectations of indicator functions, therefore, it is called an analytic perturbation analysis. The gradient of performance function may not coincide with the expectation of a gradient of sample-path function (i.e., the interchange formula for the gradient and expectation sign may not be valid). Estimates of gradients can be obtained with one simulation run of the models.<<ETX>>
In this study, we propose a new method to assist the consistency verification of a discrete event simulation model, specified by DEVS formalism, against user requirement specification, expressed in natural language. Our approach is composed of successive steps of consistency verification. The first is the validity check of UML diagrams against the user requirement specification. The second step is verification of event sequences between an UML diagram and a DEVS model. The proposed verification method has been implemented in an automated tool named VERIDEVS. Inputs to VERIDEVS are UML diagrams and DEVS Graph, and outputs are verification result tables. VERIDEVS consists of a drawing element parser, activation composer, state composer, sequence generator, and sequence comparator.
This paper presents a hybrid modeling/simulation framework within which both accuracy in models and speed in simulation experimentations are obtained. Based on the Zeigler's DEVS formalism and associated system theory, the framework is based on the transformation of selected DEVS model into equivalent analytic ones to simulate both analytic and simulation models within a single environment. For high-speed hybrid simulation, the authors extended DEVSim++ which is a realization of the DEVS formalism in C++. To exemplify the proposed approach, the authors demonstrate performance modeling and simulation of a simple communication network.<<ETX>>
his standard revises and enhances the VHDL language reference manual (LRM) by including a standard C language interface specification; specifications from previously separate, but related, standards IEEE Std 1164 -1993,1 IEEE Std 1076.2 -1996, and IEEE Std 1076.3-1997; and general language enhancements in the areas of design and verification of electronic systems.