Diagnosis of coupled quantisized systems using automaton networks

量子系统是一个完整的系统，它是一个完整的系统，也是一个系统。这是一种新的解决方案，它是一种新的系统。在此基础上，提出了一种新的诊断方法--自动控制系统，并对其进行了量化分析。本文介绍了自动控制系统的基本原理和方法，并对系统进行了建模。从现在开始，我们就可以从这个项目中得到更多的数据，所以我们就可以把这些数据转换成自动化的形式。已对故障诊断进行了诊断。Das Projekt Gledert Sich in Drei Phasen.在这一阶段中，我们采用的是一种方法，一种是随机的方法，一种是自动控制，一种是自动控制，另一种是自动控制。在此基础上，提出了一种新的数量化方法体系。在此基础上，建立了系统模型，并进行了相应的诊断程序。在Dritten阶段，诊断算法是zu entwickeln，der auf DEM Automatennetz ALS 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.