Discrete Abstractions for Manufacturing Logistics Optimization for the Food Service Industry
Paper
By Anatoli Tziola and Savvas Loizou This paper presents an analysis under a formal methods framework for multi-agent systems applications in manufacturing logistics optimization. More specifically, a case study for workflow abstraction for manufacturing logistics optimization is presented utilizing the SPECTER task planner framework for a food service company. A workflow abstraction is constructed considering the workflow stages, the temporal costs (i.e. a machine operation, products time construction, worker transitions between work-cells) and the agents involved in the production line (such as robots, machines, humans, materials, products etc.). Based on the derived abstraction, different case studies are investigated and sub-optimal solutions are provided. The paper leverages the modeling power of the SPECTER framework, while demonstrating its potential applications in providing solutions for the food service industry.CoDiT_2024
