Strategy Generation for Distributed Smart Production Systems based on Networks of Timed Automata
Translated title
Strategi generering for distribuerede smarte produktionssystemer baseret på netværk af tidsautomater
Author
Term
4. term
Education
Publication year
2018
Submitted on
2018-05-22
Pages
15
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