Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant |
| |
Authors: | Abdourrahmane M Atto Claude Martinez Saïd Amari |
| |
Affiliation: | aLISTIC, Université de Savoie, Polytech Annecy-Chambéry, France;bIRCCyN UMR CNRS 6597, LUNAM Université, Université de Nantes, Nantes, France;cLURPA, ENS Cachan, France |
| |
Abstract: | In this paper, we propose a (max, +)-based method for the supervision of discrete event systems subject to tight time constraints. Systems under consideration are those modeled as timed event graphs and represented with linear (max, +) state equations. The supervision is addressed by looking for solutions of constrained state equations associated with timed event graph models. These constrained state equations are derived by reducing duration constraints to elementary constraints whose contributions are injected in the system’s state equations. An example for supervisor synthesis is given for an industrial manufacturing plant subject to a strict temporal constraint, the thermal treatment of rubber parts for the automotive industries. Supervisors are calculated and classified according to their performance, considering their impact on the production throughput. |
| |
Keywords: | Discrete event systems (max +) Algebra Dioids Time constraints Supervisor Control |
本文献已被 ScienceDirect 等数据库收录! |
|