Record #292874 - GSI Repository

DFG project G:(GEPRIS)286055632

Vollautomatische und formal korrekte Lösung komplexer Regelungsprobleme

Coordinator	Professor Dr. Gunther Reißig
Grant period	2016 - 2021
Funding body	Deutsche Forschungsgemeinschaft
	DFG
Identifier	G:(GEPRIS)286055632

Note: In einer Vielzahl von Anwendungsfeldern stellt die technische Entwicklung zunehmend Anforderungen an die Regelungstechnik, denen klassische Reglerentwurfsverfahren nicht in vollem Umfang gewachsen sind. Der abstraktionsbasierte Entwurf ist ein relativ junger Ansatz, der gegenüber klassischen Verfahren erhebliche Vorteile aufweist, so etwa die Fähigkeit zur vollautomatischen und formal korrekten Lösung von Regelungsproblemen für komplexe Regelungsziele und nichtlineare kontinuierliche Strecken unter Störungen. Aufgrund einer Reihe ungelöster Probleme hat der Ansatz aber bisher keine praktische Bedeutung erlangt. Der Antragsteller beabsichtigt, Theorie und Berechnungsverfahren des abstraktionsbasierten Reglerentwurfs weiterzuentwickeln, um dem Ziel seiner routinemäßigen praktischen Anwendbarkeit näher zu kommen. Insbesondere sollen Verfahren bereitgestellt werden, die erstens komplexere Regelungsprobleme lösen können als bisherige abstraktionsbasierte Verfahren, die zweitens stets einen Regler liefern, der die Regelungsziele erfüllt, wenn ein solcher Regler existiert, und die drittens die Einhaltung vorgegebener Spezifikationen beweisbar erzwingen. Um diese Ziele zu erreichen, sollen einerseits bekannte Techniken zur Effizienzsteigerung des abstraktionsbasierten Entwurfs, die derzeit nur auf sehr einfache Regelungsziele anwendbar sind, auf eine Klasse von Regelungszielen erweitert werden, die durch Formeln in Linearer Temporaler Logik gegeben sind. Zusätzlich sollen diese Techniken mit völlig neuen Verfahren kombiniert werden, um die Effizienz noch einmal drastisch zu steigern. Diese hier zu erforschenden Verfahren sollen geometrische Eigenschaften erreichbarer Mengen, die beim Entwurf ohnehin berechnet werden müssen, ausnutzen, zudem die Rechengenauigkeit auf allen algorithmischen Ebenen anpassen, und darüber hinaus sicherstellen, daß sich die Kosten validierter Numerik amortisieren. Der Erfolg des Projekts soll durch die Lösung zweier anspruchsvoller Regelungsprobleme, die sich einer Behandlung durch abstraktionsbasierte Verfahren bisher entziehen, demonstriert werden.

Recent Publications

There are no publications

Record created 2023-01-31, last modified 2024-09-28

Similar records

Add to personal basket
Export as Author List with IDs BibTeX (UTF-8), EndNote XML, EndNote Text, RIS, MARC, Print MARC, MARCXML, DC,
Request correction
Submit fulltext

GSI Homepage \| GSI Library \| English Deutsch \| guest :: login GSI Repository
Search	Submit	Personalize Your alerts Your baskets Your searches	Help