Für viele regelungstechnische Aufgabenstellungen sind umfangreiche theoretische Ansätze und Methoden vorhanden und werden stets weiterentwickelt. Allerdings ist die Überprüfung des sicheren Betriebs von Systemen, die mit solchen Methoden entworfen wurden, sehr aufwendig. Die Systeme müssen auch bei variierenden Arbeitspunkten und unter realen Einflüssen entsprechend den gestellten Spezifikationen reagieren. Ingenieure stehen deshalb vor der Herausforderung die korrekte Funktion der entwickelten Methoden nicht nur unter idealen Laborbedingungen sondern auch in den verschiedensten realen Situationen durch ausführliches Testen sicherzustellen.

Das Ziel der Forschungsgruppe Systeme mit Garantien ist die Verringerung dieses Aufwands. Hierfür werden alle auftretenden Unsicherheiten in einem technischen System bereits während der Entwicklung systematisch berücksichtigt. Dies wird durch die Entwicklung durchgängiger Methoden von der Modellierungs- und Entwurfsphase bis zur Verifikation der gestellten Anforderungen ermöglicht. Insbesondere im Entwicklungsprozess sicherheitskritischer Systeme ist dies von Vorteil, wenn funktionalen Sicherheitsanforderungen garantiert erfüllt werden müssen.