In the discrete modeling approach for hybrid control systems, the continuous plant is reduced to a discrete event approximation, called the DES-plant, that is governed by a discrete event system, representing the controller. The observability of the DES-plant model is crucial for the synthesis of the controller and for the proper closed loop evolution of the hybrid control system. Based on a ve...

A discrete event system (DES) is a dynamic system with discrete states the transitions of which are triggered by events. In this paper we propose the application of the Spin software model checker to a discrete event system that controls the industrial production of autonomous products. The flow of material is asynchronous and buffered. The aim of this work is to find concurrent plans that opti...

This paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event setting. From the continuous model the abstraction only remembers two pieces of information: indiscernability between modes (when they are guaranteed to generate different observations) and ephemerality (when the system cannot stay forever in a given set of modes...

A timeline in Discrete-Event Simulation (DES) is a sequence of events defined in a numerable subset of R+. Discrete-Event Modeling and Simulation try to reproduce the behaviour of real-world experiments. Nevertheless, measuring the experimental data for science and engineering (which is later used for modeling and simulation) introduces the need for uncertainty quantifications. In modeling of C...

The authors consider identifying an unknown discrete event system (DES) as recognition of characteristic functions of a discrete event systems specification (DEVS) model that validly represents the system. Such identification consists of two major steps: behavior learning using a specially designed neural network and extraction of a DEVS model from the learned neural network. This paper present...

The representation of the desired behaviour of a logical discrete-event system (DES), using predicates and associated sets of blocking events, is introduced. The control of a regular DES consists in blocking events when a predicate concerning the system behaviour becomes true. If a blocking event is uncontrollable an algorithm is given which transforms the associated “uncontrollable” predicates...

The application of discrete event simulation and system dynamics in the logistics and supply chain context. previously worked for a research project that introduces stakeholder participation and facilitation in discrete-event simulation modelling. Her research interests include the comparison of simulation approaches (discrete-event simulation and system dynamics), participative simulation mode...

This paper presents an application of the recently developed theory of language-measure-based discrete event supervisory (DES) control to aircraft propulsion systems. A two-layer hierarchical architecture is proposed to coordinate the operations of a twin-engine propulsion system. The two engines are individually controlled to achieve enhanced performance and reliability, as necessary for fulfi...

Titre New representations for (max,+)-automata with applications to the performance evaluation of discrete event systems Type de publication Communication Type Communication avec actes dans un congrès Année 2012 Langue Anglais Date du colloque 2012 Titre du colloque WODES 2012 Titre des actes ou de la revue Proceedings of the 11th edition of Workshop On Discrete Event System Auteur Boukra, Raba...

Through a study taking past Computer-Integrated Manufacturing (CIM) experiences, and the ISA 5] and NAMUR 7] references into account, we tried to see how far techniques developed in the eld of Discrete Manufacturing Systems (DMS) could be extended to Batch Chemical Processes 1]. As a result, a distributed hierarchical control system has been built. The proposed supervisory control system is com...