To initiate a discussion on the modeling requirements for distributed control of discrete-event systems, a partially-automated regionbased methodology is presented. The methodology is illustrated via a well-known example from distributed computing: the dining philosophers. 1 Decentralized, Asynchronous, and Distributed DES Control In this section, we explain our understanding of the gradual evo...

Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-know...

The hypothesis space approach to model-based diagnosis (MBD) of discrete-event systems (DESs) finds out candidates by checking each hypothesis, this being a subset of all the possible faults of the system. The hypothesis is a candidate if, assuming that all and only the faults in the hypothesis itself are affecting the system, is consistent with the system description and the observation. In th...

The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of current industrial systems, which are often modelled as a Discrete Event Systems (DES), is a need. Due to the state explosion problem, the performance evaluation of DES becomes increasingly difficult as the size of the systems i...

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

Despite intensive research on and expansion of the theoretical aspects of Discrete-Event Systems (DES) control theory, a limited amount of research has been reported on its implementation and integration into existing systems. Similarly, a means of identifying which types of systems are good or poor candidates for application of DES control theory and respective methodologies for its implementa...

In this paper the problem of Fault Tolerant Control (FTC) in the framework of Discrete Event Systems (DES) modeled as automata is considered. The approach we follow is the so-called active approach in which the supervisor actively reacts to the detection of a malfunctioning component in order to eventually meet degraded control specifications. Starting from an appropriate model of the system, w...

    Discrete event system,   Supervisory control,   Petri Net, Constraint   This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...

A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem...

This paper is the first of its type in that it provides an empirical study comparing the two simulation approaches of Discrete-Event Simulation (DES) and System Dynamics (SD). Prior comparison work is limited and mostly based on the authors‟ personal opinions. In the present work the comparison is based on managers‟ (executive MBA students) perceptions of two simulation models of the same probl...