Methoden zur modellbasierten Programmierung autonomer Systeme

Modelbasierte Programmierte Unterstützzt die Entwickung von Software für eingeBettee and reaktive System e duch eine zusätzliche，issenbasierte Schicht，well che auf base eines system modells der Verfügbaren beobachtungen den aktuellen Systemzustand einschätzt(Diagnosekomponente)bzw.einen gew nschten Zielzustand herstellt(Planungskomponente)。在汽车工业和汽车技术公司，在德卢夫特和劳姆法特-wesentlich的工厂里，只有软件和德伦·安帕松的系统变量才是正确的。如果不是这样的话，我们的自治系统就会变得更好，也就是更好的算法和更好的算法。在此基础上，提出了一种自动建模的方法，并对其进行了定性描述。麻省理工学院人工智能实验室/空间系统实验室的Das Forschungsvorhaben Soll在美国剑桥的麻省理工学院。

Modellbasierte Programmierung unterstützt die Entwicklung von Software für eingebettete und reaktive Systeme durch eine zusätzliche, wissenbasierte Schicht, welche auf Basis eines Systemmodells und der verfügbaren Beobachtungen den aktuellen Systemzustand einschätzt (Diagnosekomponente) bzw. einen gewünschten Zielzustand herstellt (Planungskomponente). Dies erlaubt einen Schritt hin zu höhersprachlichem Programmcode, was die Entwicklung von Software und deren Anpassung an Systemvarianten - z.B. in der Anlagen- und Automobiltechnik, in der Luft- und Raumfahrt - wesentlich vereinfacht. Für zeit- und speicherplatzkritische Anwendungen, wie sie vor allem im Bereich autonomer Systeme auftreten, ist dabei die Adäquatheit des verwendeten Modells sowie die Effizienz der eingesetzten Inferenzalgorithmenvon entscheidender Bedeutung. Hierzu sollen an der TU München entwickelte Methodender automatischen qualitativen Modellabstraktion und der strukturellen Dekomposition von constraintbasierten Verhaltensmodellen im Rahmen von modellbasierter Programmierungeingesetzt und weiter verfeinert werden. Das Forschungsvorhaben soll in Kooperation mit dem Artificial Intelligence Laboratory/Space Systems Laboratory am Massachusetts Instituteof Technology (Cambridge, USA) durchgeführt werden.