Hybrid control systems consist of a discrete event (DES) controller supervising a continuousstate (CSS) plant. A controller can be synthesized by obtaining a DES controller for an equivalent DES representation (DES plant) of the CSS plant. An important issue concerns the logical invariance (stability) of DES plant transitions to variations in the initial CSS plant state. This paper provides a s...

This paper is concerned with the logical control of hybrid control systems (HCS). It is assumed that a discrete-event system PES) plant model has already been extracted from the continuous-time plant. The problem of hybrid control system design can then be solved by applying logical DES controller synthesis techniques to the extracted DES plant. Traditional DES synthesis methods, however, are n...

We develop in this paper a monitoring approach for Discrete Event Systems (DES) starting from a time Petri net model representing the a priori known behavior of such a system. The originality of our approach lies in the combination made of the concept of event observability with the exploitation of the temporal constraints on these events in order to refine the result of the monitoring process....

A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled supervisors, whose control policy is represented as a net structure, as opposed to mapping supervisors, whose control policy is computed as a feedback function of the marking of the system. The compiled...

This paper modifies the foundations of combined Discrete Event Simulation (DES) and Continuous Systems Simulation (CSS) by extending the CSS part to the stochastic domain through including discrete (although aggregated) entities. The traditional combined DES/CSS simulation, where the modeller selects between a DES and a CSS description for components of the system under study, lacks a solid the...

Abstract The situation under consideration is that of a given Discrete Event System (DES), whose behavior has to be modified by means of a feedback control (named Supervisor) in order to achieve a given set of requirements that the initial DES did not satisfy. To do so, the DES is modeled as a Hierarchical Finite State Machine (HFSM). Further, instead of translating the HFSM to ordinary state m...

In certain discrete event applications it may be desirable to find a particular controller, within the set of acceptable controllers, which optimizes some quantitative performance measure. In this paper we propose a theory of optimal control to meet such design requirements for deterministic systems. The discrete event system (DES) is modeled by a formal language. Event and cost functions are d...

The situation under consideration is that of a given Discrete Event System (DES), whose behavior has to be modified by means of a feedback control (named Supervisor) in order to achieve a given set of requirements that the initial DES did not satisfy. To do so, the DES is modeled as a Hierarchical Finite State Machine (HFSM). Further, instead of translating the HFSM to ordinary state machines a...

The achievements attained in accelerating the simulation of the dynamics of complex discrete event systems using parallel or distributed multiprocessing environments are comprehensively presented. While parallel discrete event simulation (DES) governs the evolution of the system over simulated time in an iterative SIMD way, distributed DES tries to spatially decompose the event structure underl...

Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, an event may conceivably be observable at one state and unobservable at another state and the observability may become dependent on the history of event occurrences. This paper presents a framework for analysis of generalised projection ...