Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

In recent years, the use of discrete event simulation to solve problems from natural sciences has become more common as the dynamic time evolution of the real-world system is naturally incorporated in the discrete event system model. The parallel simulation of these discrete event systems puts some extra requirements on the parallel synchronization schemes such as Time Warp. The large scientifi...

To perform dextrous manipulation e ciently, it is necessary to coordinate the interactions of many component processes. This paper investigates one approach to coordination: discrete-event systems. The applicability of discrete-event systems to the modeling of dextrous manipulation tasks is studied. Discrete-event control theory o ers formal methods for determining whether a coordinator of the ...

A discrete event system, is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Place-transitions Petri nets (commonly called Petri nets) are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution. Timed Petri nets are an extension of Petri nets that model discrete ev...

A probabilistic discrete event system (PDES) is a nondeterministic discrete event system where the probabilities of nondeterministic transitions are specified. State estimation problems of PDES are more difficult than those of non-probabilistic discrete event systems. In our previous papers, we investigated state estimation problems for non-probabilistic discrete event systems. We defined four ...

This article introduces a stand–alone implementation of the Quantized State System (QSS) integration methods for continuous and hybrid system simulation. QSS methods replace the time discretization of classic numerical integration by the quantization of the state variables. These algorithms lead to discrete event approximations of the original continuous systems and show some advantages over cl...

In practice, most projects result in cost overruns and schedule slippage due to poor resource management. This paper presents an approach that aims at reducing project duration and costs by empowering project managers to assess different scenarios. The proposed approach addresses combinatorial modes for tasks, multi-skilled resources, and multiple calendars for resources. A case study reported ...

In this paper we present a new framework for integrating a human supervisor into an existing autonomous control system. We model the human as a discrete event system to simplify the integration. By choosing the discrete event formalism, complex processes can be modelled in an eecient and systematic manner which is ideal for modelling human interactions. The autonomous system is also modelled as...