Intervallmethoden zur garantierten Zustandsschätzung und zum Entwurf robuster und optimaler Steuerungen und Regelungen für unsichere Systeme

这些动态系统的分析和综合，不同的算法是不同的。他是一位伟大的园丁，也是一位伟大的创业者。他说：“这是一件非常重要的事情。”Von Seiten des Lehrstuhls是MIT Reibung and Hysterese Unter Zustand-and Stellgröenbeschränkungen Methodisch untersuht的系统。结果：实验结果证实了这三种方法的有效性，即滑动模式和滑动模式。在此基础上，提出了一种新的算法来解决问题和实现问题的方法。在Kombination MIT的验证算法中，所有的信息功能的验证都是从一个系统的验证开始的。算法人是区域和生物机械的一个标杆问题。

Das Ziel dieses Forschungsvorhabens ist die Entwicklung neuartiger intervallarithmetischer Ansätze zur verifizierten Analyse und Synthese dynamischer Systeme, die durch gewöhnliche Differentialgleichungen mit nicht stetigen beziehungsweise nicht stetig differenzierbaren rechten Seiten beschrieben sind. Dabei stehen die Berechnung garantierter Zustandseinschließungen, eine gesicherte Steuerbarkeits-, Beobachtbarkeits- und Stabilitätsanalyse sowie die Synthese von Steuerungen, Regelungen und Zustandsbeobachtern im Fokus. Von Seiten des Lehrstuhls werden Systeme mit Reibung und Hysterese unter Zustands- und Stellgrößenbeschränkungen methodisch untersucht. Resultate werden im Experiment validiert und mit bekannten robusten Regelungsansätzen, beispielsweise modell-prädiktive Regelung und Sliding-Mode-Regelung verglichen. Der Beitrag der Arbeitsgruppe ist eine formale Beschreibung und Klassifizierung von unsicheren Systemen mit zustandsabhängigen Modellumschaltungen, die methodische Weiterentwicklung verifizierter Algorithmen für zugehörige Anfangswertprobleme und ihre zeitgemäße Implementierung. Dies erfolgt mittels Anpassung und Ausweitung bestehender (zum Teil) verifizierter Ansätze für Systeme mit Umschaltungen an konkrete Anwendungen und durch eine Erweiterung des informatischen Funktionsbegriffs in Kombination mit verifizierten Algorithmen. Die Algorithmen werden an Benchmarkproblemen aus der Regelungstechnik und Biomechanik getestet.