From the conceptual design of a product, to the final control code generation for a production system, many complex design trade-offs need to be made. Easy to use formal specifications and optimization tools for multi-robot cells are therefore developed by WP3.
This work package will develop algorithms and tools for offline predictive planning and an online supervisory control implementations. The algorithms and tools will find energy-optimal coordinated robot motions as well as adaptive control for coordination among operations.
Based on an operation-oriented specification language, engineers can express formal requirements and specification with ease. This specification can then be used directly with various optimization and synthesis algorithms.