Passive Robustness Computing of a Milk Manufacturing Unit with Time Constraints: Alarm Filtering Issues
1 Simon Collart DUTILLEUL1, Anis M’HALLA1,2, Etienne CRAYE1, Mohamed BENREJEB2
Laboratoire d’Automatique, Génie Informatique et Signal,
Ecole Centrale de Lille,
Cité Scientifique BP 48,
59651 Villeneuve d’Ascq, France,
2 Laboratoire de Recherche en Automatique,
Ecole Nationale d’Ingénieurs de Tunis,
BP 37, le Belvédère, 1002 Tunis, Tunisie,
Abstract: The presented work is dedicated to the robustness of a milk manufacturing workshop including time interval constraints. In such systems, operation times are included between a minimum and a maximum value. Weighted Marked Graphs are used for modelling. Some results proposing to transform Weighted Marked Graphs into Marked Graphs are reviewed, which allow obtaining a model that can be used to apply some robustness results of the state of the art. The main contribution of this paper is a computing algorithm of the maximal time disturbances allowed at a given point. Finally, to demonstrate the effectiveness and accuracy of the proposed algorithm, an application to a milk production unit is outlined. The possession of this exact value allows checking the death of marks on the levels of synchronization transitions of a P-time Petri net model without generating any false alarm. The results show that the difference between the exact value and the lower bound of the state of the art algorithm is quite important.
Keywords: Weighted Marked Graphs, P-time Petri nets, milk manufacturing unit, passive robustness, false alarm, time disturbance.
CITE THIS PAPER AS:
Simon Collart DUTILLEUL, Anis M’HALLA, Etienne CRAYE, Mohamed BENREJEB, Passive Robustness Computing of a Milk Manufacturing Unit with Time Constraints: Alarm Filtering Issues, Studies in Informatics and Control, ISSN 1220-1766, vol. 20 (4), pp. 393-402, 2011.
Many techniques for the modelling and quantitative analysis of manufacturing systems have been investigated. Among them, Coloured Petri Nets are considered as tools especially suitable for systems that exhibit concurrency, conflicts, and synchronization. Unfortunately, when there are maximum duration constraints, the modelling power of Coloured Petri Net is a disadvantage, as it becomes really difficult to prove, using properties of the net structures that the time constraints remains fulfilled.
Marked Graphs (MG) on the other hand are known for their strong analytical properties, but they do not allow the assembly or disassembly of batch components to be represented in a compact form. To take into account these kinds of processes and to reduce the size of the models, Weighted Marked Graphs (WMGs) can be used [Toursi and Sauer, 2004], [Marchetti and Munier, 2009]. WMGs are particular MGs allowing weights on the arcs. In most works, the proposed solution is to transform the WMG into an ordinary MG allowing the use of well-known methods of performances analysis [Munier, 1993], [Nakamura and Silva, 1999], [Hamaci et al., 2006]. Marked Graphs indeed are specifically designed to do performance evaluations which prove some structural properties on the graphs. However, few results based upon this tool address the time disturbance robustness problem.
The systems considered with these approaches have a robustness property which allows maintaining products quality when there are time disturbances [Jerbi et al., 09]. The robustness is defined as the ability of the system to preserve the specifications facing some expected or unexpected variations. Therefore, the robustness characterizes the capacity to deal with disturbances. Passive robustness is based upon variations included in validity time intervals. There is no control modification to preserve the required specifications.
The work presented in this paper focuses on the robustness of workshops with assembling tasks, regarding time disturbances. This paper is organised as follows. Section 2 begins with the definition of the P-time Petri Nets and WMGs models of workshops. In section 3, some results about the transformation of a WMG into an ordinary MG are described. They can be used as a first step towards the study of the robustness of the considered milk manufacturing unit.
The problem of the passive robustness of manufacturing systems is tackled in section 4. The passive robustness (local robustness) of a given path in the milk manufacturing workshop is analytically built up. Lastly, a new algorithm computing the exact passive robustness margin allowed at a given node is presented.
An illustrative example is outlined and the qualitative results are discussed. Finally, some conclusions of this work are given.
- CHETOUANE, F., S. Collart Dutilleul, J.-P. Denat, Modelling And Analysis of Time Constraints Using P-Time Petri Nets for a Multi-Hoist Electroplating Line, Conference IFAC/IFIP/IEEE Management and Control of Production and Logistics MCPL’04, Santiago, Chile, Nov. 2004, pp. 279-284.
- COLLART-DUTILLEUL, S., N. Jerbi, E. Craye, M. Benrejeb, Robust Dynamic Control of Multi-product Job-shops, 4th IFAC Conference on Management and Control of Production and Logistics, MCPL’07, Sibiu, Vol. 2, 2007, pp. 265 – 270.
- COMMONER F., A. W. Holt, S. Even, A. Pnueli, Marked Directed Graphs, Journal of Computer and System Sciences, Vol. 5, 1971, pp. 511-523.
- HAMACI, S., J.-L. Boimond, S. Lahaye, Performance Analysis of Timed Event Graphs with Multipliers using (Min, +) Algebra, Journal of Discret Event System, Vol. 16, 2006, pp. 185-190.
- JERBI, N., S. Collart Dutilleul, E. Craye, M. Benrejeb, Robust Control of Multi-product Job-shops in Repetitive Functioning Mode, IEEE International Conference on Systems, Man and Cybernetic, 2004, pp. 4917-4922.
- JERBI N., S. Collart Dutilleul, E. Craye, M. Benrejeb, Time Disturbances and Filtering of Sensors Signals in Tolerant Multi-product Job-shops with Time Constraints, International Journal of Computers, Communications & Control, Vol. 1, No. 4, 2006, pp. 61 – 72.
- JERBI N., S. Collart Dutilleul, E. Craye, M. Benrejeb, Localization Algorithm of Time Disturbances in Tolerant Multi-product Job-shops, Studies in Informatics Control, Vol. 16, No. 1, 2007.
- JERBI N., S. Collart-Dutilleul, E. Craye, M. Benrejeb, Commande robuste des ateliers manufacturiers à contraintes de temps, Journal Européen des Systèmes Automatisés, Vol. 43, No. 1-2, 2009, pp. 7-33.
- KHANSA, W., J. P. Denat, S. Collart-Dutilleul, P-Time Petri Nets for Manufacturing Systems, IEE Workshop on Discrete Event Systems (WODES’96), Edinburgh, 1996, pp. 94-102.
- LONG, J., Flow Optimization Method for Control Synthesis of Flexible Manufacturing Systems Modeled by Controlled Timed Petri Nets, IEEE International Conference on Robotics and Automation, Atlanta, Vol. 1, 1993, pp. 598 – 603.
- MARCHETTI, O., A. Munier, A Sufficient Condition for the Liveness of Weighted Event Graphs, European Journal of Operational Research, Vol. 197, Issue 2, 2009, pp. 532-540.
- M’HALLA, A., N. Jerbi, S. Collart-Dutilleul, Craye E., M. Benrejeb, Fuzzy Filtering of Sensors Signals in Manufacturing Systems with Time Constraints, International Journal of Computers, Communications & Control, Vol. 5, Issue 3, 2010.
- M’HALLA, A., N. Jerbi, S. Collart-Dutilleul, Craye E., M. Benrejeb, Rejection of Temporal Disturbances in Milk Manufacturing Unit with Time Constraints, CD-Rom of IFAC Symposium on Large Scale Systems: Theory and Applications, LSS 2010, France.
- M’HALLA, A., N. Jerbi, S. Collart-Dutilleul, Craye E., M. Benrejeb, Passive Robustness in Milk Manufacturing Unit with Time Constraints, in USB key proceeding of International Conference on Management and Control of Production and Logistics MCPL 2010, Portugal.
- M’HALLA, A., N. Jerbi, S. Collart-Dutilleul, Craye E., M. Benrejeb, Graphe d’événement P-Temporel à Arc valués: Application à une Unité de Production du Lait. Revue Electronique Sciences & Technologies de l’Automatique (e-STA), Vol. 7, no. 1, 2010, pp. 9-16.
- MUNIER, A., Régime asymptotique optimal d’un graphe d’événements temporisé: application à un problème d’assemblage, RAIRO 27(5), 1993, pp. 171-180.
- NAKAMURA, M., M. Silva, Cycle Time Computation in Deterministically Timed Weighted Marked Graphs, 7th IEEE International Conference on Emerging Technologies and Factory Automation, Vol.2, Spain, 1999, pp. 1037-1046.
- TOURSI L., N. Sauer, Branch and Bound Approach for Marking Optimization Problem of Weighted Marked Graphs, IEEE International Conference on Systems, Man and Cybernetic, The Hague, Vol. 2, 2004, pp. 1777-1782.
- TERUEL E., P. Chrzastowski-Wachtel, J. M. Colom, M. Silva, On weighted T-systems, Advances in Petri nets, Lecture Notes in Computer Science, Vol. 616, 1992, pp. 348-367.
- SAUER N., Marking Optimization of Weighted Marked Graphs, Journal of Discrete Event Dynamic Systems: Theory and Applications, Vol. 13, Issue 3, 2003, pp. 245-262.