Effiziente Rückwärtsreichweitenanalyse gestörter zeitkontinuierlicher linearer Systeme mittels Mengenpropagation
Die Rückwärtsreichweitenanalyse berechnet die Menge der Zustände, die eine Zielregion unter dem Einfluss von Steuerung und Störungen erreichen. Je nach deren Zusammenspiel stellt die rückwärtige erreichbare Menge entweder alle Zustände dar, die in die Zielregion gesteuert werden können, oder alle Zustände, die die Zielregion nicht vermeiden können - die entsprechenden Lösungen können für die Reglersynthese bzw. Sicherheitsverifikation verwendet werden.