A Formal Framework for Multi-Agent Task Planning
By Anatoli Tziola and Savvas Loizou This paper presents a solution to the task planning problem for multi-agent systems. A formal framework is developed based on the Nondeterministic Finite Automata with ϵ-transitions, where given the capabilities, constraints and failure modes of the agents involved, an initial state of the system and a task specification, an optimal […]
Manufacturing Logistics Optimization Using the SPECTER Task Planner: A Shoe Manufacturing Logistics Case Study
By Anatoli Tziola and Savvas Loizou This paper presents an application of SPECTER task planner for shoe manufacturing logistics. In this case study we propose an abstract model of the work flow of a shoe manufacturing company taking into account: i) the workflow stages; ii) the time costs (i.e. a machine operation, products time construction, […]
Discrete Abstractions for Manufacturing Logistics Optimization for the Food Service Industry
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 […]