Diagnosis of coupled quantisized systems using automaton networks

Quantisierte Systeme和wertekontinuerliche Systeme， derensignale nur quantisiert gemessen werden können。Das ingangs- ausgangsverhalten solcher system ist deshalch Symbolfolgen gekennzeichnet。在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国。摘要/ abstract摘要：本文提出了一种基于数学模型的自动化数学模型，用于研究自动化系统的数学模型。Um die Komplexität des models zu reduzieren, sollen in diesem Projekt gekoppelte quantisierte system components wise modellierden，因此得到的结果为model die Form eines automatenetzes。疾病模型的建立是为了诊断糖尿病。这个项目是分阶段进行的。在第二阶段，我们的方法是合成和分解，我们的方法是自动分解，我们的方法是自动分解，我们的方法是自动分解。摘要：本文采用了一种新的方法，即采用了一种新的方法，即采用了一种新的方法，即采用了一种新的方法，即采用了一种新的方法。大北大学<s:1> ssen Bedingungen aufgestellt werden， under denen das erhaltene automatnetz ein vollständiges模型系统列表和folglich <e:1> r die Prozessdiagnose ingesetzt werden kann。在“诊断算法”（diagnosis algorithmus zu entwickeln）中，“自动诊断算法”（auf dem Automatennetz）也被称为“诊断算法”（Beschreibung beruht）。所有的研究方法和实验方法都是错误的。

Quantisierte Systeme sind wertekontinuierliche Systeme, deren Signale nur quantisiert gemessen werden können. Das Eingangs-Ausgangsverhalten solcher Systeme ist deshalb durch Symbolfolgen gekennzeichnet. In bisherigen Arbeiten konnte gezeigt werden, dass Fehler in quantisierten Systemen mit Hilfe einer rein ereignisdiskreten Beschreibung diagnostiziert werden können, wobei stochastische Automaten zur Darstellung des Systems eingesetzt werden. Die Verhaltensrelation des Automaten kann für gegebene Quantisierungen mit Hilfe von Abstraktionsmethoden aus dem Zustandsraummodell des wertekontinuierlichen Systems berechnet werden. Um die Komplexität des Modells zu reduzieren, sollen in diesem Projekt gekoppelte quantisierte Systeme komponentenweise modelliert werden, so dass das resultierende Modell die Form eines Automatennetzes hat. Diese Modellform soll zur Fehlerdiagnose eingesetzt werden. Das Projekt gliedert sich in drei Phasen. In der ersten Phase werden Methoden zur Komposition und Dekomposition stochastischer Automaten entwickelt, wobei insbesondere Beziehungen zwischen den Verhaltensrelationen der Teilautomaten und des Automatennetzes erarbeitet werden sollen. Basierend auf diesen Beziehungen sowie den bekannten Abstraktionsmethoden werden in der zweiten Phase Methoden für die komponentenweise Modellierung gekoppelter quantisierter Systeme untersucht. Dabei müssen Bedingungen aufgestellt werden, unter denen das erhaltene Automatennetz ein vollständiges Modell des Systems ist und folglich für die Prozessdiagnose eingesetzt werden kann. In der dritten Phase ist ein Diagnosealgorithmus zu entwickeln, der auf dem Automatennetz als Beschreibung beruht. Alle entwickelten Methoden werden an einer Laboranlage experimentell erprobt.