Towards a tropical automaton product minimizing global completion times

The main contribution of this paper is oriented towards system modeling with resource conflicts, in which a set of tasks must be completed at the earliest. Mutual exclusion between tasks with underlying resource conflicts is modeled as subsystems through local tropical automata. Parallel task execution is explored through a new framework for a synchronous product of tropical automata directly minimizing the global completion time of a set of tasks. A dater-based analysis is proposed to determine an optimal qualitative schedule and relies on proposed definitions of global, private, and synchronizing daters. This approach drastically narrows the solution spectrum, and allows finding the optimal task schedule. The approach is applied to a flow network as a case study, but can be applied to systems of different nature.

[1]  S. Gaubert.  Performance evaluation of (max, +) automata , 1995, IEEE Trans. Autom. Control..

[2]  Jean-Louis Boimond,et al.  Compositions of (max, +) automata , 2015, Discret. Event Dyn. Syst..

[3]  Jean-Louis Boimond,et al.  Just in Time Control of Constrained (max,+)-Linear Systems , 2007, Discret. Event Dyn. Syst..

[4]  Geert Jan Olsder,et al.  Max Plus at Work-Modelling and Analysis of Synchronized Systems , 2006 .

[5]  Georges Habchi,et al.  An algebraic max-plus model for HVLV systems scheduling and optimization with repetitive and flexible periodic preventive maintenance : just-in-time production. , 2012 .

[6]  Olivier H. Roux,et al.  Discrete time approach of time Petri nets for real-time systems analysis , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

[7]  Georges Habchi,et al.  A Mathematical Model for HVLV Systems Scheduling and Optimization With Periodic Preventive Maintenance Using (max, +) Algebra , 2012 .

[8]  Aguilar Jose.  Definition of an energy function for the random neural to solve optimization problems. , 1998, Neural networks : the official journal of the International Neural Network Society.

[9]  Nidhal Rezg,et al.  Air Traffic Management Using Petri Net Synthesis Tools , 2010 .

[10]  José Aguilar,et al.  A hybrid approach based on genetic algorithms and (max, +) algebra for network applications , 2017, Appl. Soft Comput..

[11]  Eric Niel,et al.  Scheduling Operations in a Flow Network with Flexible Preventive Maintenance: A (max, +) , 2014 .

[12]  José Aguilar,et al.  A General Ant Colony Model to solve Combinatorial Optimization Problems , 2001, Rev. Colomb. de Computación.

[13]  Jose Aguilar,et al.  A Cost-Criticality Based (Max, +) Optimization Model for Operations Scheduling , 2014 .

[14]  Éric Niel,et al.  Path search algorithm minimizing interferences with envisaged operations in a pipe network , 2009, 2009 European Control Conference (ECC).

[15]  Kiam Tian Seow,et al.  A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[16]  Imre Simon,et al.  Recognizable Sets with Multiplicities in the Tropical Semiring , 1988, MFCS.

[17]  Thomas Colcombet,et al.  Approximate comparison of distance automata , 2013, STACS.

[18]  Sam Kwong,et al.  Genetic algorithms and their applications , 1996, IEEE Signal Process. Mag..

[19]  S. G. Ponnambalam,et al.  An ant colony optimization algorithm for flexible job shop scheduling problem , 2010 .

[20]  Jean-Louis Boimond,et al.  Supervisory Control of (max,+) Automata: A Behavioral Approach , 2009, Discret. Event Dyn. Syst..

[21]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[22]  Jean Mairesse,et al.  Modeling and analysis of timed Petri nets using heaps of pieces , 1997, 1997 European Control Conference (ECC).

[23]  Carlos Cotta,et al.  Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms , 2009, J. Artif. Intell. Res..

[24]  Eric Niel,et al.  (Max, +) Optimization Model for Scheduling Operations in a Flow Network with Preventive Maintenance Tasks , 2013 .