Computer-based scheduling and resource conflict avoidance in assembly systems

In recent years, several research efforts concentrated on the control of assembly systems and were modeling them as discrete event systems, i.e. event-driven dynamical systems. These systems are characterized by the fact that the evolution of states is nearly completely depending on the existence of asynchronous discrete events. The research described in this paper uses this basis and focuses on the modeling and control of this kind of discrete event systems employing max-plus algebra and an innovative model predictive control scheme. A max-plus algebra based model predictive control scheme is introduced, which can be used to model and control flexible assembly systems. In a second stage, the control strategy is improved by means of appropriate constraints that allows to avoid resource conflicts or to minimize the inadvisable influence of such conflicts. The avoidance of resource conflicts increases the performance of assembly systems. The paper concludes with explanatory examples, which indicate the advantages and performance of the proposed novel approach.

[1]  Alexander M. Gruzlikov,et al.  Event monitoring of parallel computations , 2015, Int. J. Appl. Math. Comput. Sci..

[2]  J. A. Rossiter,et al.  Model-Based Predictive Control : A Practical Approach , 2017 .

[3]  Marc Abrams,et al.  Chitra: Visual Analysis of Parallel and Distributed Programs in the Time, Event, and Frequency Domains , 1992, IEEE Trans. Parallel Distributed Syst..

[4]  Ralf Stetter,et al.  Towards Robust Predictive Fault–Tolerant Control for a Battery Assembly System , 2015 .

[5]  C. Leake Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[6]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[7]  Bart De Schutter,et al.  Model predictive control for max-plus-linear discrete event systems , 2001, Autom..

[8]  Ionela Prodan,et al.  Predictive control for trajectory tracking and decentralized navigation of multi-agent formations , 2012, Int. J. Appl. Math. Comput. Sci..

[9]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

[10]  Zbigniew Antoni Banaszak,et al.  The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes , 2004, Fundam. Informaticae.

[11]  Jong-Tae Lim,et al.  Robust and nonblocking supervisor for discrete-event systems with model uncertainty under partial observation , 2000, IEEE Trans. Autom. Control..

[12]  P. Butkovic Max-linear Systems: Theory and Algorithms , 2010 .