This paper continues the authors’ previous work on studying the communication among decentralized supervisors for a distributed Discrete-Event System (DES) in the framework of Distributed Supervised DES (DSDES). Given an already available centralized supervisor for a distributed DES, it relates a language property of this supervisor, called weak joint observability, to a property of the state-b...

State space transformations in the max-algebraic system theory for Discrete Event Systems (DES) are discussed. Some transformations between diierent realiza-tions of a given impulse response of a DES are suggested and their limitations are illustrated. It is explained why a general result seems hard to prove. R esum e: Nous discutons certaines transformations d' etat dans la th eorie des syst e...

Most discrete event simulation environments are based on a process-oriented, and therefore multi-threaded paradigm. This results in simulation environments that are very hard to distribute over more computers, and not easy to integrate with scattered external information sources. The architecture presented here is based on the event-based DES paradigm which is implemented by scheduled method in...

New discrete-event formulations of physics simulation models are emerging that can outperform models based on traditional time-stepped techniques. Detailed simulation of the Earth’s magnetosphere, for example, requires execution of sub-models that are at widely differing timescales. In contrast to time-stepped simulation which requires tightly coupled updates to entire system state at regular t...

One of the most widespread techniques to evaluate various aspects of an existing manufacturing system is discrete-event simulation (DES). However, building a simulation model of a manufacturing system needs great resource expenditures. Automated data collection and model buildup can drastically reduce the time of the design phase as well as support model reusability. Since most of the manufactu...

In discrete event simulation (DES) models, stochastic behaviour is modelled by sampling random variates from probability distributions to determine outcomes. However, the distribution of outc...

normal 0 false false false en-us x-none ar-sa microsoftinternetexplorer4 background: urban living and transition of illnesses, today has led hygienic centers for dedicating services to serious challenge management of an outpatient center is very difficult. worse is that the patient advice and service time is much less than waiting time. many people to avoid long waiting go to private treatment ...

Diagnosability is the property that a DiscreteEvent System (DES) exhibits if every fault can be detected and isolated within a finite number of (observable) events that have taken place after its occurrence. In the literature, diagnosability of DESs relies on the availability of a certain observation, which equals the sequence of observable events that have taken place in the DES. But can diagn...

With the goal of developing a systematic approach to handle sequential speciications in the framework of controller synthesis for Discrete Event Sys-tems(DES), we present here a new speciication mod-eling framework based on Temporal Logic (TL) and Net Condition Event Systems (NCESs).