Die System- und Regelungstheorie trifft mathematisch beweisbare Aussagen über dynamische Systeme. Am iFR beschäftigen wir uns in diesem Rahmen mit der Stabilität, Robustheit und Sicherheit von Flugdynamiken sowie der Zuverlässigkeit, Korrektheit und Verifikation komplexer Flugregler. Wichtige Aspekte sind dabei die Skalierbarkeit der verwendeten Algorithmen für flugmechanische Problemstellungen und die Echtzeitfähigkeit anspruchsvoller Regelungsverfahren.