In many Discrete Event Systems DES both state and event information are of im portance to the systems designer To obtain compositionally consistent hierarchical models of systems the behavior of Discrete Event Systems with unobservable tran sitions and state output maps is considered Observers for deterministic DES are generalized to nondeterministic DES and characterized using the join semilat...

This chapter deals with modelling and control of discrete event systems. Discrete event systems (DES) are event driven man made systems whose evolution is guided by occurrences of asynchronous events as opposed to classical time driven discrete or continuous systems. DES are modelled by tools from computer science like automata, Petri nets and process algebras. There are two major streams in co...

We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm. The discrete event systems framework is useful in both software, automation and manufacturing, as problems from those domains can be modelled as discrete supervisory control problems. As a formal framework, DES is also s...

this paper presents the formulation and solution of the combinatorial multi-mode resource constrained multi-project scheduling problem. the focus of the proposed method is not on finding a single optimal solution, instead on presenting multiple feasible solutions, with cost and duration information to the project manager. the motivation for developing such an approach is due in part to practica...

This report presents an application of the recently developed theory of optimal Discrete Event Supervisory (DES) control that is based on a signed real measure of regular languages. The DES control techniques are validated on an aircraft gas turbine engine simulation test bed. The test bed is implemented on a networked computer system in which two computers operate in the client-server mode. Se...

Simulation is a well established what-if scenario analysis tool in Operational Research (OR). While traditionally Discrete Event Simulation (DES) and System Dynamics Simulation (SDS) are the predominant simulation techniques in OR, a new simulation technique, namely Agent-Based Simulation (ABS), has emerged and is gaining more attention. In our research we focus on discrete simulation methods (...

In recent research the relevancy of discrete event systems (DES) steadily increases. In order to handle DES the introduction of a DES-system theory is useful. Hereby the systems are characterised and described by the impulse response and the transfer function. Therefore knowledge about the calculation and the properties of these functions will be important. This article outlines the DESsystem t...

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

Research on future energy systems shows that an electricity network is often tolerant to failures but may collapse after encountering a certain number of failures that take place within a short period of time. The smart grid is the upcoming generation of electricity networks. Challenges faced in the smart grid include prompt, reliable, and informative alarm processing to detect the points of fa...

The DEVS framework of discrete event modeling is known to be compatible with the object-oriented (OO) world view. This paper proposes a methodology for the OO development of war game models within the framework. The methodology develops war game models at two layers: a discrete event system (DES) layer and an object model (OM) layer. Within the methodology the DES layer represents abstract beha...