Entwicklung systemtheoretischer Methoden zur Analyse und zum Entwurf von Agentensystemen (AUREG-IST)

我们的代理系统是以软件(代理)的形式存在的，而且所有的代理都是从国家的角度出发的，涉及的问题包括L和他的问题。从现代自动化的角度来看，这是一项系统化的工作。从严格的系统理论分析中，我们可以看出这两个系统之间的关系。一位柴油司机斯黛尔·格雷夫特正在进行一项新的工作。Das Ziel des Projektes is die Entwickrong von System理论en Methoden zur分析and zum Entwurf von Agenten Basierten Automatisierungs-and Regelungssystem en.我是Vordergrund stehen De Be De Exakta数学分析和Entwurf von Agentensystem en MIT Garantiertem System verten，z.b.um den hohemm Sinherheitsanforderungen in Automatisisisisiergstechnischen Anwendungen Gerecht zu den.所有的分析方法都是错误的，稳定的是系统的特性和分析的结果。在这两种情况下，我们会得到更多的信息，而不是更多的信息。这是一种系统化的方法，所有的方法都是正确的，所有的系统都是这样的，它们的数学和系统理论都是这样的。从方法论的角度来看，公式化的分析和有效的数值算法是非常重要的。

Ein Agentensystem besteht aus autonomen Systemen, meist in Form von einzelnen Softwareeinheiten (Agenten) realisiert, welche im allgemeinen Fall durch selbstständiges Kommunizieren, Entscheiden und Handeln vorgegebene Problemstellungen lösen können. Insbesondere eignen sich Agentensysteme für die systematische Bewältigung von komplexen Aufgabenstellungen, wie sie zum Beispiel in der modernen Automatisierungstechnik auftreten. Dem steht jedoch der große Nachteil gegenüber, dass eine rigorose systemtheoretische Analyse von Agentensystemen seither nicht möglich ist und dass Agenten mit garantierten Eigenschaften bislang nicht systematisch entworfen werden können. An dieser Stelle greift das beantragte Projekt ein. Das Ziel des Projektes ist die Entwicklung von systemtheoretischen Methoden zur Analyse und zum Entwurf von agentenbasierten Automatisierungs- und Regelungssystemen. Im Vordergrund stehen dabei die exakta mathematische Analyse von Systemeigenschaften und der Entwurf von Agentensystemen mit garantiertem Systemverhalten, z.B. um den hohem Sicherheitsanforderungen in automatisierungstechnischen Anwendungen gerecht zu werden. Konkret soll im beantragten Projekt zum Einen eine neue Analysemethode entwickelt werden, die es erlaubt, Stabilitätseigenschaften von einer Klasse von Agentensystemen zu charakterisieren und zu analysieren. Die betrachtete Klasse von Agentensystemen zeichnet sich dadurch aus, dass die einzelnen Agenten mit Hilfe von “wenn-dann-sonst”-Regeln als schaltende Systeme modelliert werden können. Zum Anderen soll eine systematische Entwurfsmethode entwickelt werden, die es erlaubt, allgemeine Agentensysteme so zu entwerfen, dass garantierte mathematische und systemtheoretische Aussagen über ein bestimmtes Systemverhalten des Agentsystems gemacht werden können. Um die praktische Anwendbarkeit zu ermöglichen, sollen die neuen Methoden so formuliert werden, dass die Analyse und der Entwurf mit Hilfe von effizienten numerischen Algorithmen am Rechner durchgeführt werden können.