Jump to main content
Professorship of Algorithmic and Discrete Mathematics
Projects/Software

viRAL – Validierte Inbetriebnahme von Roboteranlagen mit automatischer Logik- und Lageprüfung

 

Contact

 

Prof. Dr. Christoph Helmberg
Tobias Hofmann, M. Sc.

Project Partners

Leadec Industrial Services
Fraunhofer Institute for Machine Tools and Forming Technology

Project Period 2015-08-01 until 2018-07-31
Funding This research has been supported by the European Union project ERDF / SAB 100206299.
Project Summary The employment of industrial robot systems, especially in the automotive industry, led to a tremendous increase in productivity. Nonetheless, rising technological complexity as well as the crucial need for respecting specific safety issues pose new challenges for man and machine. The goal of this project was to develop algorithms, guidelines, and tools that make the commissioning of industrial robot systems more reliable by verifying the programs of robots and logical controllers. This in particular includes optimizing the schedule of the robot systems in order to ensure desired period times as well as conflict-free timetables already in the planning stage. We showed within our project that the Periodic Event Scheduling Problem proposed by Serafini and Ukovich (A mathematical model for periodic scheduling problems, SIAM Journal on Discrete Mathematics, 2(4):550–581, 1989) is well applicable to tackle the arising cycle time minimization tasks. We established a variant of the classical formulation in order to cover the special characteristics of our scenario and demonstrated how this key element can support engineers and programmers throughout the commissioning of real-world robot production systems.
Publications

[1] Helmberg, Christoph, Hofmann, Tobias, and Wenzel, David, Periodic Event Scheduling for Automated Production Systems, in preparation, 2021. (See also Software and Data)

[2] Hofmann, Tobias and Wenzel, David, How to minimize cycle times of robot manufacturing systems, Optimization and Engineering, pp. 1-18, 2020.

Software and Data

IPESPinstances.zip (2.54 MB compressed, 2021-05-01)
It includes the example instances of article [1] and a problem generator (compiled for Linux). Feel free to contact Tobias Hofmann for support.

First Steps

unzip IPESPinstances.zip
cd IPESPinstances
more readme.txt