Program synthesis for data structure conversion in the autonomous mobile industry
Loading...
URL
Journal Title
Journal ISSN
Volume Title
Sähkötekniikan korkeakoulu |
Master's thesis
Unless otherwise stated, all rights belong to the author. You may download, display and print this publication for Your own personal use. Commercial use is prohibited.
Authors
Date
Department
Major/Subject
Mcode
ELEC3055
Degree programme
Language
en
Pages
57 (Content only)
Series
Abstract
Interoperability development between Autonomous Mobile Mobots, Automated Guided Vehicles and their fleet managers provided by different brands became a highly important topic in the factory and warehouse management industry. The compatibility between the providers would provide endless opportunities for the customers to build scalable, flexible, and dynamic systems. The thesis develops a program synthesis method that is capable of making conversions between data structures. The results provide the programmers with a tool that can be used to create function compositions by providing input-output pairs and can save a significant amount of time. The study solves the search problem using Context-free grammar and a beam search guided by a neural network. The work compares the performance of three different artificial intelligence structures recurrent neural networks, long short-term memory networks, and gated recurrent unit networks, and validates the solution on a test set that consists of lines from data structures that are used in the Autonomous Mobile Robot industry combined with some generated data to measure performance in regards of the generalization power.Description
Supervisor
Troubitsyna, ElenaThesis advisor
Poorhadi, EhsanNagy, Benedek