Project Details
Projekt Print View

Formale Synthese verteilter Steuerungen

Subject Area Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term from 2005 to 2010
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 14475508
 
Ziel des Vorhabens ist es, formale Synthesemethoden für verteilte Steuerungen zu erarbeiten und zu implementieren. Dazu werden verteilte Streckenmodelle und lokale Spezifikationen verwendet. Mittels struktureller Methoden zur Ermittlung von Netzpfaden und symbolischen Rückwärtsschalten werden Teilsteuerungen für Teilstrecken bestimmt. Für jede Teilsteuerung werden sowohl die Funktionalität zur Beeinflussung der zugehörigen Teilstrecke als auch die notwendigen Kommunikationsfunktionen zu anderen Teilsteuerungen synthetisiert. Als Resultat ergibt sich ein System von verteilten, untereinander kommunizierenden Steuerungen. Jede dieser Steuerungen wird in zwei Basic Function Blocks nach IEC 61499 überführt. Unter Nutzung von Entwicklungswerkzeugen, die beim Antragsteller bereits verfügbar sind, werden die Function Blocks dann auf verteilten Steuerungsystemen, die beim Antragsteller ebenfalls bereits verfügbar sind, implementiert und an Benchmarks demonstriert. Damit dies automatisiert ablaufen kann, ist die Lösung des Problems der eingeschränkten Messbarkeit von Zustandsgrößen in der Strecke notwendig. Detailliertere Angaben zu diesem und anderen Arbeitsinhalten werden im Abschnitt 3.2 gemacht.
DFG Programme Research Grants
 
 

Additional Information

Textvergrößerung und Kontrastanpassung