The goal of A02 is the synthesis of automation processes that can be generated at runtime and executed directly without long validation and release. This enables the circular factory to deal with initially unknown products and product states on the level of automation technology. The so-called algebra of automation is developed as the formal basis for the planning, synthesis, and validation of automated processes. Developer tools are created to support modeling with the formal approach. Finally, a prototypical runtime environment is realized to apply the synthesized processes for automation control in a circular factory.

Principal Investigators