Algebraic modelling, analysis and synthesis of discrete event systems in GF(2)

动力学系统研究与应用[j] . gebräuchlich。Die Systemgrößen sind ort <e:1> blicherweise wertekontinuierlich。Dem ähnlich können dynamicche, ereignisdiskrete Systeme dureine Zustandsdarstellung mit konstanten Koeffizientenmatrizen beschriebenwerden。Da die Größen hier wertediskret sind, bietet siet die formululierung der Gleichungen ber einem endlichen Zahlenkörper, einem Galois-Feld GF(2) mit zwei element 0 and 1 and。这位Systeme Bislang是努尔死Dynamik beschrieben危险,jedoch wurden死algebraischen Eigenschaften der Systemgleichungen uber GF(2)不untersucht。在未来的时间里，我们将在未来的时间里，在未来的时间里，在未来的时间里，我们将在未来的时间里，在未来的时间里，在未来的时间里，我们将在未来的时间里，在未来的时间里，在未来的时间里，我们将在未来的时间里。Den Schwerpunkt des projectsbildet dabei模具识别typcher Automateneigenschaften mit bestestimmsystemtheortischen Kenngrößen der Zustandsdarstellung。系统分析与系统分析与系统分析adäquates Regelungskonzept zu entwerfen， um dem jeweiligen Automaten in gew<s:1> nschtes Sollverhalten aufzuprägen。研究结果表明，自动化技术是一种先进的自动化技术，是一种先进的自动化技术。该系统在hilife中被称为“线性补偿系统”，该系统被称为“线性补偿系统”，并被称为“线性补偿系统”。

Zustandsmodelle sind in der Regelungstechnik seit Jahren für die algebraische Beschreibung dynamischer Systeme gebräuchlich. Die Systemgrößen sind dort üblicherweise wertekontinuierlich. Dem ähnlich können dynamische, ereignisdiskrete Systeme durch eine Zustandsdarstellung mit konstanten Koeffizientenmatrizen beschrieben werden. Da die Größen hier wertediskret sind, bietet sich die Formulierung der Gleichungen über einem endlichen Zahlenkörper, einem Galois-Feld GF(2) mit zwei Elementen 0 und 1 an. Bislang ist nur die Dynamik dieser Systeme beschrieben worden, jedoch wurden die algebraischen Eigenschaften der Systemgleichungen über GF(2) nicht untersucht. Diese Grundlagen sollen im Forschungsvorhaben für den Fall von Automaten mit endlich vielen Zuständen erarbeitet werden. Den Schwerpunkt des Projekts bildet dabei die Identifikation typischer Automateneigenschaften mit bestimmten systemtheoretischen Kenngrößen der Zustandsdarstellung. Nach der Analyse des Systems ist ein adäquates Regelungskonzept zu entwerfen, um dem jeweiligen Automaten ein gewünschtes Sollverhalten aufzuprägen. Das Vorgehen soll dabei in konstruktiver Weise von den einfacheren, linearen zu den komplizierteren, affin-linearen Zustandsgleichungen des Automaten erfolgen. Der Fall nichtlinearer Systeme ist dann mit Hilfe bereits bekannter exakt linearisierender Kompensations- und Entwicklungsverfahren zu betrachten.