User: Guest  Login
Original title:
Game-based Synthesis for Distributed Control of Industrial Assembly Lines
Translated title:
Spielbasierte Synthese zur verteilten Steuerung von Industrieautomatisierungsanlagen
Author:
Geisinger, Michael
Year:
2015
Document type:
Dissertation
Faculty/School:
Fakultät für Informatik
Advisor:
Knoll, Alois (Prof. Dr. habil.)
Referee:
Knoll, Alois (Prof. Dr. habil.); Pappas, George J. (Prof., Ph.D.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
Keywords:
industrial automation, synthesis, game theory, process control, model-driven development
Translated keywords:
Industrieautomatisierung, Synthese, Spieltheorie, Prozesssteuerung, modellgetriebene Entwicklung
TUM classification:
DAT 260d; DAT 815d
Abstract:
Shorter product life cycles and increasing personalization of products demand frequent reconfiguration of industrial automation lines, where adaptation of control software is a major cost factor. In order to improve cost efficiency, this work employs game theory to synthesize industrial control software from a formal specification of the automation plant and the task to achieve. The presented workflow integrates with existing standards and is demonstrated on industrial-grade automation systems.
Translated abstract:
Kürzere Produktlebenszyklen und die zunehmende Personalisierung zwingen die Betreiber von Produktionsanlagen zu häufigen Anpassungen, wobei die Anpassung der Steuerungssoftware hohe Kosten verursacht. Um die Kosten zu senken, setzt diese Arbeit Spieltheorie ein, um die Steuerungssoftware aus einer formalen Spezifikation der Anlage und der Produktionsaufgabe zu synthetisieren. Der vorgeschlagene Ansatz berücksichtigt vorhandene Standards und wird auf industrietauglichen Systemen demonstriert.
WWW:
https://mediatum.ub.tum.de/?id=1237829
Date of submission:
26.01.2015
Oral examination:
23.07.2015
File size:
5711612 bytes
Pages:
175
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20150723-1237829-1-5
Last change:
18.11.2015
 BibTeX