In this thesis, we develop various controller synthesis approaches with formal safety guarantees for constrained nonlinear systems despite the presence of disturbances and sensor noise. They combine elements from control theory, formal verification in the form of reachability analysis, and optimization. By integrating formal verification into the controller synthesis, we obtain controllers with optimized performance and safety guarantees. The resulting algorithms are easy to use even without deep control knowledge. Their applicability is shown through several examples.     «

In this thesis, we develop various controller synthesis approaches with formal safety guarantees for constrained nonlinear systems despite the presence of disturbances and sensor noise. They combine elements from control theory, formal verification in the form of reachability analysis, and optimization. By integrating formal verification into the controller synthesis, we obtain controllers with optimized performance and safety guarantees. The resulting algorithms are easy to use even without dee...     »

In dieser Dissertation werden mehrere Regelungsverfahren mit formalen Sicherheitsgarantien für beschränkte, nichtlineare Systeme mit externen Störungen und Messrauschen entwickelt. Dazu werden Methoden aus der Regelungstheorie, der formalen Verifikation in Form von Erreichbarkeitsanalyse und der Optimierung kombiniert. Die Integration der Erreichbarkeitsanalyse in die Reglersynthese führt zu optimierten Reglern mit Sicherheitsgarantien. Diese können ohne tiefes Regelungstechnikwissen verwendet werden. Ihre praktische Anwendbarkeit wird in mehreren Beispielen demonstriert.     «

In dieser Dissertation werden mehrere Regelungsverfahren mit formalen Sicherheitsgarantien für beschränkte, nichtlineare Systeme mit externen Störungen und Messrauschen entwickelt. Dazu werden Methoden aus der Regelungstheorie, der formalen Verifikation in Form von Erreichbarkeitsanalyse und der Optimierung kombiniert. Die Integration der Erreichbarkeitsanalyse in die Reglersynthese führt zu optimierten Reglern mit Sicherheitsgarantien. Diese können ohne tiefes Regelungstechnikwissen verwendet w...     »