In recent years, the life cycle of industrial products becomes shorter and shorter; the diversity and complexity of functionality are continuously increasing. Thus, conventional methods and techniques of industrial controller design can no longer satisfy the actual demands like smartness, miniaturization, short time-to-market, etc. This paper is devoted to elaborate a methodology for hybrid con...

Discrete event systems (DES) are widely used to model a set of practical systems, such as: industrial systems, computer systems, and also traffic systems. This report explores an extension of discrete event systems with an emphasis on stochastic processes, commonly called stochastic discrete event systems (SDES). There is a need to establish a stochastic abstraction and a model for SDES through...

We present a novel approach for hybrid performance modelling and prediction of large-scale parallel and distributed computing systems, which combines Mathematical Modelling (MathMod) and Discrete-Event Simulation (DES). We use MathMod to develop parameterised performance models for components of the system. Thereafter, we use DES to describe the structure of system and the interaction among its...

Recently there has been an increased focus on the environmental aspects of the manufacturing industry across the world. Boeing and the National Institute of Standards and Technology (NIST) have studied the incorporation of Life Cycle Analysis (LCA) parameters into Discrete Event Simulation (DES) as a means to analyze sustainable performance in the manufacturing area. For machining, accurate ana...

ing ESL Designs to UPPAAL System Models Che-Wei Chang, Rainer Dömer Center for Embedded and Cyber-Physical Systems University of California, Irvine Irvine, CA 92697-2625, USA (949) 824-8919 cheweic,[email protected] http://www.cecs.uci.edu Technical Report CECS-14-13 November 21, 2014 Abstracting ESL Designs to UPPAAL System Modelsing ESL Designs to UPPAAL System Models Che-Wei Chang, Rainer Dömer...

Natural projections play an important role in decentralized control and partial observation of discrete-event systems (DES), where they are used to constructìocal' models of a given`global' system. However, in general a local model obtained by natural projection may be more complex (i.e., have more states and transitions) than the original system. This raises the question: Under what conditions...

A Discrete Event System (DES) is a dynamic system that evolves in accordance with the instantaneous occurrence, at possibly unkown intervals, of physical events. Given a DES, its behavior (the sequence of displayed events) may not satisfy a set of logical performance objectives. The purpose of Supervisory Control is to restrict that behavior in order to achieve those objectives. Linear-Time Tem...

This paper presents an empirical study on the comparison of model building in System Dynamics (SD) and Discrete-event Simulation (DES). We study the model building process of 10 expert modellers (5 SD and 5 DES modellers), who talk aloud while building prison simulation models. The transcripts were coded based on 7 modelling topics: problem structuring, conceptual modelling, data inputs, model ...