• Martin Kristjansen
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
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.
Udgivelsesdato22 maj 2018
Antal sider15
ID: 279617705