A master thesis from Aalborg University
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]
Author(s)
Term
4. term
Education
Publication year
2018
Submitted on
2018-05-22
Pages
15 pages
Abstract
In this paper we present a method for generating strategies for near-optimal uses in a distributed system. The formalism used is networks of timed automata, and the usecase is Festo’s Modular Production System. The tool used is Uppaal Stratego, and we utilise its new query format to hide private information, such that all actors in the distributed setting only have access to the information they would in the real system. We demonstrate how one can obtain such strategies by defining a set of principles one’s Uppaal Stratego model must fulfil.
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.