Strategy Generation for Distributed Smart Production Systems based on Networks of Timed Automata

Strategi generering for distribuerede smarte produktionssystemer baseret på netværk af tidsautomater

Kristjansen, Martin

4. term

Computer Science, Master

2018

2018-05-22

15

Denne afhandling præsenterer en metode til automatisk at generere styringsstrategier til næsten optimal drift i et distribueret system. Vi modellerer systemet som netværk af timede automater, en matematisk måde at beskrive komponenter, deres tilstande og tidskrav. Som casestudie anvender vi metoden på Festos modulære produktionssystem. Med værktøjet Uppaal Stratego syntetiserer vi strategier og udnytter dets nye forespørgselsformat til at skjule private oplysninger, så hver aktør kun har adgang til den information, den ville se i det virkelige system. Vi viser, hvordan man kan opnå sådanne strategier ved at formulere et sæt principper, som en Uppaal Stratego-model skal opfylde.

This thesis presents a method to automatically generate control strategies for near-optimal operation in a distributed system. We model the system as networks of timed automata, a mathematical way to describe components, their states, and timing constraints. As a case study, we apply the method to Festo’s Modular Production System, a modular production setup. Using the Uppaal Stratego tool, we synthesize strategies and take advantage of its new query format to hide private information, so each actor only has access to the information it would see in the real system. We show how to obtain such strategies by stating a set of principles that an Uppaal Stratego model should satisfy.

[This abstract was generated with the help of AI]

Download
View record in AAU Student Projects