Formale Repräsentation adaptiver Produktionssysteme (A02)

• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
• Förderung: Förderung seit 2024
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 471687386

Ziel von A02 ist die Synthese von automatisierungstechnischen Abläufen, die zur Laufzeit generiert und ohne langwierige Validierung und Freigabe direkt zur Ausführung gebracht werden können. Damit wird die Kreislauffabrik befähigt, auf Ebene der Automatisierungstechnik mit initial unbekannten Produkten und Produktzuständen umzugehen. Die sogenannte Algebra der Automatisierung wird als formale Grundlage für Algorithmen zur Planung, Synthese und Validierung automatisierter Abläufe entwickelt (AP1). Weiter werden Werkzeuge für die Unterstützung der Modellierung auf der formalen Grundlage erzeugt (AP2) und eine Laufzeitumgebung für die Automatisierungssteuerung einer Kreislauffabrik prototypisch umgesetzt (AP3).

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1574: Kreislauffabrik für das ewige Produkt
• Antragstellende Institution: Karlsruher Institut für Technologie
• Teilprojektleiter: Dr.-Ing. Julius Pfrommer