Wenn Sicherheit kritisch ist, werden Kontrollsysteme traditionell so entworfen, dass sie in isolierten, klar spezifizierten Umgebungen agieren oder konservativ gegenüber dem Unbekannten sind. Ziel der Forschung in der Gruppe von Prof. Zeilinger ist es, Hochleistungssteuerungen für sicherheitskritische Systeme bereitzustellen, die in wechselnden, unsicheren Umgebungen agieren, möglicherweise groß angelegt sind, aus zahlreichen miteinander verbundenen Teilsystemen bestehen und vor allem menschliche Interaktion beinhalten.