Formal representation of adaptive production systems (A02)

• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: since 2024
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 471687386

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 (WP1). Developer tools are created to support modeling with the formal approach (WP2). Finally, a prototypical runtime environment is realized (WP3) to apply the synthesized processes for automation control in a circular factory.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1574: A Circular Factory for the Perpetual Product
• Applicant Institution: Karlsruher Institut für Technologie
• Project Head: Dr.-Ing. Julius Pfrommer