Nicholas G. ODREY Professor, Department of Industrial & Manufacturing Systems Engineering, Lehigh University, Bethlehem, PA 18015, USA. ABSTRACT A real-time scheduling and control methodology in dioid algebra that allows repeated production of parts over the planning horizon of a flow-shop in the presence of disturbances is proposed in this paper. The behavior of a manufacturing system as an di...

1 Synthesis of Greatest Linear Feedback for Timed Event Graphs in Dioid Bertrand Cottenceau, Laurent Hardouin, Jean-Louis Boimond and Jean-Louis Ferrier Abstract|This paper deals with the synthesis of greatest linear causal feedback for Discrete Event Systems whose behavior is described in dioid. Such a feedback delays as far as possible the input of the system while keeping the same transfer r...

Résumé en anglais This paper deals with formal modelling of Petri nets including shared resources. These phenomena appear widely in the production management context, for the modelling of manufacturing cells. But, they usually cannot be formally represented in dioid algebraic structures based on sets of scalars. In this paper, we design a method to describe such a phenomenon in a dioid of inter...

This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. The synthesis presented here is mainly based on dioid, interval analysis and residuation theory. keyword Discrete-event systems ; Timed event graphs ; Dioid ; Interval analysis ; Residuation theory ; Feedback synthesis

Dioid algebra associated with Petri Nets are appropriate tools for modeling, analyzing, and evaluating the performance of Discrete Event Systems (DESs). These tools are restricted to model systems characterized by choice phenomena and conflicts. In this paper a routing policy to arbitrate and resolve the conflicts encountered while modeling DESs by dioid algebra, is proposed. This routing polic...

Heaps models are powerful models for concurrent timed discrete event systems. They admit linear description using dioid algebras. Inspired by supervisory control of logical discrete event systems we introduce parallel composition of heap models, called synchronous product, to formally describe the action of supervisor (represented by another heap model) on the system. This additional explicit c...

We consider the modelling of urban bus networks in dioid algebras. In particular, we show that their dynamic behavior can be modeled by a Min-Max recursive equation.

This paper deals with control of transportation systems. We propose an approach based on dioid theory to compute timetables of a transportation network. We generalize the problem by considering additional constraints for the control objective. Copyright c ©2006 IFAC

A specification of the linear system theory over dioids is proposed for periodic systems. Using the conventional periodic system theory as a guideline, we study periodic systems for which the underlying algebraic structure is a dioid. The focus is on representations (impulse response and state model) associated with such systems, the properties of these representations as well as the state spac...