Einführung in Signal Flow Graphs und Mason's Gain Formula

Signalflussgraphen (SFGs) sind ein elegantes grafisches Werkzeug zur Modellierung linearer zeitinvarianter (LTI) Systeme. Sie stellen Systemvariablen als Knoten und die Ursache-Wirkungs-Beziehungen zwischen ihnen als gerichtete Zweige dar, die jeweils einen Gewinn tragen. SFGs sind besonders nützlich bei der Analyse von Multi-Loop-Feedback-Systemen, kaskadierten Stufen oder komplexen Netzwerken, in denen herkömmliche Blockdiagramme umständlich werden. Die Mason's Gain Formula bietet eine disziplinierte, systematische Methode, um die Gesamtübertragungsfunktion direkt vom SFG zu berechnen, ohne den Graphen Schritt für Schritt zu reduzieren oder zu vereinfachen. Diese Formel ist für Steuerungsingenieure, Signalverarbeitungsdesigner und alle, die mit miteinander verbundenen dynamischen Systemen arbeiten, unerlässlich.

Ein Signalflussgraph ist kompakter als ein Blockdiagramm, da er nur Knoten und gerichtete Kanten verwendet, wodurch die Notwendigkeit der Summierung von Verbindungspunkten und Abgriffspunkten entfällt. Jeder Knoten fungiert sowohl als Summierungspunkt als auch als Verzweigungspunkt. Diese Einfachheit, kombiniert mit Masons Formel, ermöglicht eine schnelle Ableitung von Übertragungsfunktionen, die ansonsten das Lösen mehrerer gleichzeitiger Gleichungen erfordern würden. Die Formel berücksichtigt alle Vorwärtspfade, Rückkopplungsschleifen und ihre Wechselwirkungen - selbst die verschränktesten Topologien werden problemlos gehandhabt.

Grundlagen der Signalflussdiagramme

Nodes und Branchs

Jeder Knoten in einem SFG entspricht einer Systemvariable (z. B. Spannung, Position, Fehlersignal), Zweige sind Pfeile von einem Knoten zum anderen, mit einer zugehörigen Verstärkung, die den Übertragungskoeffizienten zwischen diesen Variablen darstellt. Beispielsweise kann bei einem einfachen elektronischen Verstärker der Eingangsspannungsknoten mit einer Verstärkung verbunden sein, die der Open-Loop-Verstärkung des Verstärkers entspricht. Die Richtung des Pfeils zeigt die Kausalität an: Die Variable am Ende beeinflusst die Variable am Kopf.

Bauvorschriften

Um eine SFG aus einem Satz linearer Gleichungen zu erstellen:

  • Identifizieren Sie alle Variablen und weisen Sie jede einem eindeutigen Knoten zu.
  • Schreibe jede Gleichung in die Form: Ausgabevariable = (Summe der Gewinne × geeignete Eingangsvariablen).
  • Zeichnen Sie einen Zweig von jedem Eingangsvariablenknoten zum Ausgangsknoten und kennzeichnen Sie ihn mit der entsprechenden Verstärkung.
  • Wenn eine Variable auf beiden Seiten der Gleichung erscheint, behandeln Sie sie als Selbstschleife oder Feedback-Pfad.

Selbstschleifen sind Zweige, die am selben Knoten beginnen und enden. Sie stellen eine direkte Rückkopplung einer Variablen zu sich selbst dar (z. B. einen Leaky Integrator). Alle Schleifen in einem SFG müssen für Masons Formelberechnungen identifiziert werden.

Unterschiede zu Blockdiagrammen

Während Blockdiagramme separate Summenübergänge und Abgriffspunkte verwenden, integrieren SFGs diese Funktionen in Knoten. Dies reduziert die Gesamtzahl der grafischen Elemente und vereinfacht die Analyse. Die SFGs gehen jedoch davon aus, dass jeder Knoten alle eingehenden Signale summiert (der Wert eines Knotens entspricht der Summe aller eingehenden Signale) und dass alle ausgehenden Zweige den Wert dieses Knotens tragen. Diese "Stern"-Eigenschaft ist entscheidend für die korrekte Anwendung der Mason-Formel.

Mason's Gain Formula im Detail

Mason’s Gain Formula berechnet die Übertragungsfunktion T von einem bestimmten Eingangsknoten zu einem bestimmten Ausgangsknoten:

T = (Σ[k Pk Δk ) / Δ

Wobei:

  • Pk = Gain des k-ten Vorwärtspfades (ein Pfad vom Eingang zum Ausgang, der keinen Knoten mehr als einmal besucht).
  • Δ = Determinante des Graphen = 1 – (Summe aller einzelnen Schleifengewinne) + (Summe der Verstärkungsprodukte aller möglichen Paare von nicht berührenden Schleifen) – (Summe der Verstärkungsprodukte aller möglichen Tripel von nicht berührenden Schleifen) + ...
  • Δk = Cofaktor des k-ten Vorwärtspfades = Wert von Δ nach Entfernen aller Schleifen, die den k-ten Vorwärtspfad berühren (einen beliebigen Knoten mit ihm teilen).

Die Wechselzeichenreihe in Δ folgt dem gleichen Muster wie die Determinante einer Matrix, weshalb sie in der Graphentheorie als "Determinante" bezeichnet wird.

Schlüsselbegriffe definiert

  • Vorwärtspfad: Ein Pfad von Eingang zu Ausgang, der keinen Knoten mehr als einmal durchläuft.
  • Loop (Feedback-Schleife): Ein geschlossener Pfad, der am selben Knoten beginnt und endet und keinen Knoten mehr als einmal durchläuft (außer dem Start-/Endknoten).
  • Nicht berührende Schleifen: Schleifen, die keine Knoten gemeinsam haben. Wenn zwei oder mehr Schleifen keine Knoten gemeinsam haben, sind sie nicht berührend und ihr Verstärkungsprodukt erscheint in den höheren Termen von Δ.
  • Berührungsschleifen: Schleifen, die sich mindestens einen Knoten teilen. Ihre Verstärkungsprodukte sind nicht direkt in den Determinantenbegriffen jenseits der Summe erster Ordnung enthalten.

Schritt-für-Schritt-Beispiel: Ein Zwei-Schleifen-System

Betrachten Sie einen einfachen Signalflussgraphen mit Knoten, die mit R (Input), E (Fehler), V (Zwischenstufe) und C (Ausgabe) beschriftet sind. Verzweigungsgewinne: R→E: 1, E→V: G12, C→E: –H1 (negative Rückkopplung) und V→E: –H2) (ein weiterer Rückkopplungspfad).

Schritt 1: Identifizieren Sie Vorwärtspfade Nur einen Vorwärtspfad: R → E → V → C. Sein Gewinn P1 = 1 × G1 × G2 = G1G2.

Schritt 2: Identifizieren Sie alle Schleifen1: E → V → C → E (gain = G121122]: E → V → E (gain = G2]= (-H12

Schritt 3: Überprüfen Sie auf nicht berührende Schleifen. L1 verwendet Knoten E, V, C; L2 verwendet Knoten E, V. Sie teilen sich Knoten E und V, also berühren sie sich.

Schritt 4: Berechnung Δ Δ = 1 – (L1 + L212121H112

Schritt 5: Compute cofactor Δ1 für den Vorwärtspfad 1 Alle Schleifen entfernen, die den Vorwärtspfad berühren. Beide Schleifen berühren den Vorwärtspfad (sie teilen sich die Knoten E und V), also nach dem Entfernen von ihnen Δ1 = 1 (keine verbleibenden Schleifen).

Schritt 6: Wenden Sie die Formel von Mason an T = (P1 Δ112 × 1) / (1 + G12H11H2).

Dieses Ergebnis entspricht dem, was man durch manuelles Lösen der algebraischen Gleichungen erhalten würde. Die Macht der Formel ist offensichtlich: Sie erforderte nur Mustererkennung und einfache Arithmetik, selbst bei zwei interagierenden Schleifen.

Handhabung mehrerer Vorwärtspfade und nicht berührende Schleifen

Reale Systeme enthalten oft mehrere Vorwärtspfade und viele Schleifen. Betrachten wir ein komplexeres SFG mit drei Vorwärtspfaden und drei Schleifen, bei denen zwei Schleifen nicht berührend sind. Die Determinante Δ würde Begriffe für das Produkt der beiden nicht berührenden Schleifen enthalten. Der Cofaktor jedes Vorwärtspfads Δk würde modifiziert, indem nur die Schleifen entfernt werden, die diesen bestimmten Pfad berühren, wodurch möglicherweise einige nicht berührende Kombinationen zurückbleiben. Die Formel skaliert sich natürlich auf jede Größe. Sie ist nur durch die Geduld des Analysten begrenzt, Pfade und Schleifen aufzuzählen. Für sehr große Graphen verwenden automatisierte Algorithmen die Formel von Mason als Grundlage für Software-Tools.

Praktische Anwendungen in Steuerungssystemen und Signalverarbeitung

Transferfunktionsableitung in Feedbacksystemen

Regeltechniker verwenden häufig Masons Gain-Formel, um aus Blockdiagrammen, die in SFGs umgewandelt wurden, Closed-Loop-Übertragungsfunktionen abzuleiten. Beispielsweise kann eine Kaskade von Controller, Anlage und Sensor mit Rückkopplung durch eine SFG mit mehreren internen Schleifen dargestellt werden. Anstatt Blockdiagrammreduktion durchzuführen (was für mehr als zwei Schleifen fehleranfällig ist), gibt Masons Formel das Ergebnis direkt an. Dies ist besonders wertvoll bei der Analyse von Multiple-Input-Multiple-Output-Systemen (MIMO), bei denen mehrere Rückkopplungspfade interagieren.

Analoges und digitales Filterdesign

In der Signalverarbeitung modellieren SFGs Filterstrukturen wie Direct-Form, Kaskade oder Zustandsraumimplementierungen. Masons Formel hilft, den Gesamtfrequenzgang aus den Zweigverstärkungen zu berechnen, die Filterkoeffizienten entsprechen. Beispielsweise kann ein biquadratischer Filterabschnitt mit Rückkopplung schnell analysiert werden, um seine Übertragungsfunktion zu bestimmen, was Koeffizientenquantisierungsstudien oder Stabilitätsprüfungen unterstützt. Viele Lehrbuchableitungen digitaler Filterstrukturen beruhen auf Masons Formel, um die Äquivalenz zwischen verschiedenen Architekturen nachzuweisen.

Elektronische Schaltungsanalyse

SFGs werden auch bei der Analyse von Rückkopplungsverstärkern, Oszillatoren und aktiven Filtern verwendet. Der Verstärkungsfaktor eines Rückkopplungsverstärkers um eine Schleife kann direkt aus dem SFG ausgelesen werden, und die Formel ergibt den Closed-Loop-Verstärker. Ingenieure können Eingangs- und Ausgangsimpedanzen berechnen, indem sie geeignete Variablen definieren und die Mason-Formel für die Übertragungsfunktion zwischen Spannungs- und Stromknoten verwenden. Dieser Ansatz zeigt oft Erkenntnisse, die durch herkömmliche Knotenanalysen verdeckt werden.

Vorteile der Verwendung von Mason's Gain Formula

  • Systematisch und fehlerresistent: Sobald das SFG gezeichnet ist, reduziert die Formel das Problem auf eine Reihe von Aufzählungen und einfachen algebraischen Summen.
  • Handhabt die Komplexität elegant: Die Formel funktioniert für eine beliebige Anzahl von Schleifen, Vorwärtspfaden und nicht berührenden Kombinationen, ohne dass es einer Gleichungslösung oder iterativen Reduktion bedarf.
  • Visuelle Klarheit: Die SFG macht die Struktur von Verbindungen sichtbar. Ingenieure können Rückkopplungspfade, Kaskadenstufen und Feedforward-Zweige auf einen Blick erkennen. Die Formel baut dann auf diesem visuellen Verständnis auf.
  • Breit anwendbar: Von den Hausaufgaben des Grundstudiums bis zum Design professioneller Steuerungssysteme wird die Methode universell gelehrt und verwendet. es gilt für kontinuierliche, zeitdiskrete und sogar mechanische oder thermische Systeme, die durch lineare Gleichungen modelliert werden.
  • Grundlage für die Automatisierung: Viele Computer-Aided Control System Design (CACSD)-Tools verwenden intern Masons Formel oder deren graphentheoretische Äquivalente zu Rechenübertragungsfunktionen aus grafischen Modellen.

Einschränkungen und Überlegungen

Obwohl mächtig, ist Mason's Gain Formula kein universeller Löser für alle Probleme:

  • Skalierbarkeit für sehr große Graphen: Das manuelle Aufzählen aller Vorwärtspfade und Schleifen wird unpraktisch, wenn die SFG Dutzende von Knoten hat. In solchen Fällen ist Software notwendig. Die kombinatorische Explosion von nicht berührenden Schleifenkombinationen kann selbst für moderate Graphen entmutigend sein.
  • Lineare Systeme nur: Die Formel gilt ausschließlich für lineare zeitinvariante Systeme. Nichtlineare oder zeitvariable Systeme erfordern andere Techniken (z. B. Kleinsignallinearisierung um einen Betriebspunkt vor der Anwendung von Mason).
  • Potenzial für Vorzeichenfehler: Die wechselnden Vorzeichen in Δ erfordern eine sorgfältige Buchhaltung. Ein verpasster Begriff oder ein falsches Vorzeichen kann zu einer fehlerhaften Übertragungsfunktion führen.
  • Kein direkter Einblick in Stabilitätsränder: Die Formel liefert eine symbolische oder numerische Übertragungsfunktion, zeigt jedoch nicht direkt Verstärkungs- oder Phasenränder.

Vergleich mit anderen analytischen Methoden

Blockdiagramm Reduktion

Blockdiagramm-Reduktion beinhaltet die Kombination von Blöcken in Reihen-, Parallel- und Rückkopplungskonfigurationen Schritt für Schritt. Bei Systemen mit zwei oder drei Schleifen ist die Reduktion überschaubar. Bei verschachtelten Rückkopplungsschleifen und mehreren Vorwärtspfaden wird die Reduktion schnell chaotisch. Masons Formel umgeht die Reduktionsschritte und liefert das Ergebnis in einem Schuss, so dass es für nicht-triviale Topologien bevorzugt wird.

Darstellung des Zustands-Raums

State-Space-Modelle beschreiben ein System über Matrizen und eignen sich besonders für Computersimulationen, MIMO-Systeme und nichtlineare Erweiterungen. Um eine Übertragungsfunktion aus dem State-Space zu erhalten, ist jedoch eine Matrixinversion erforderlich (z. B. G(s)=C(sI-A)-1B+D). Für Systeme mittlerer Größe ist dies einfach, aber für sehr große symbolische Systeme ist die symbolische Inversion teuer. Masons Formel kann, wenn sie auf ein aus den Zustandsgleichungen abgeleitetes SFG angewendet wird, manchmal eine symbolische Übertragungsfunktion effizienter erzeugen - obwohl dies in der Praxis selten erforderlich ist. Die meisten Ingenieure verwenden den State-Space für die Analyse und Masons Formel in erster Linie für das Lehren und kleine Handberechnungen.

Direkte algebraische Lösung aus Gleichungen

Das Schreiben und Lösen simultaner Gleichungen (mithilfe der Cramer-Regel) funktioniert immer, wird aber für mehr als ein paar Variablen schnell langweilig. Masons Formel ist im Wesentlichen eine grafische Neuformulierung der Cramer-Regel, die auf die SFG zugeschnitten ist, so dass sie einen intuitiveren Pfad zum gleichen Ergebnis bietet. Zum Beispiel ist die Determinante Δ analog zum Nenner der Cramer-Regel und die Zählersummen stimmen mit dem Zählerausdruck überein. Die grafische Verbindung hilft den Schülern, die Verbindung zwischen der Systemstruktur und der Algebra zu erkennen.

Häufige Fehler und wie man sie vermeidet

  • Vergessen, alle Vorwärtspfadgewinne zu multiplizieren: Jeder Vorwärtspfadgewinn ist das Produkt jedes Zweiggewinns entlang dieses Pfades, einschließlich des anfänglichen Zweigs vom Eingangsknoten.
  • Falsche Definition von nicht berührenden Schleifen: Schleifen sind nur dann nicht berührend, wenn sie sich no Knoten teilen (nicht nur keine Zweige). Wenn zwei Schleifen den gleichen Knoten durchlaufen, berühren sie sich, und ihr Produkt erscheint nicht in den höheren Begriffen.
  • Zeichenfehler in Schleifenverstärkungen: Denken Sie daran, dass ein Zweigverstärker negativ sein kann, wenn er Subtraktion im ursprünglichen System darstellt.
  • Selbstschleifen vernachlässigend: Selbstschleifen (ein Zweig von einem Knoten zurück zu sich selbst) sind auch Schleifen. Ihr Gewinn muss in die Summe der Schleifengewinne einbezogen werden.
  • Cofaktormodifikation auslassen: Für jeden Vorwärtspfad ist Δk nicht einfach Δ minus der berührenden Schleifen; es muss berechnet werden, indem alle berührenden Schleifen vollständig aus dem Graphen entfernt und dann die Determinante des reduzierten Graphen neu berechnet wird.

Erweiterte Themen: Masons Formel in der Frequenz-Domäne

Masons Gain-Formel ist nicht von Natur aus auf die s-Domäne oder z-Domäne beschränkt; sie funktioniert mit jedem algebraischen Gewinn. Sie wird jedoch am häufigsten im Kontext von Laplace-Transformationen für Zeitkontinuierliche Systeme und z+1 oder z-1 gelehrt. Die Formel ergibt die Gesamtübertragungsfunktion als rationale Funktion. Dies ist besonders nützlich für die Analyse digitaler Filterstrukturen mit mehreren Verzögerungen und Rückkopplungsschleifen.

Praktischer Workflow für Ingenieure

  1. Zeichnen Sie den SFG aus den Systemgleichungen oder aus einem Blockdiagramm, um sicherzustellen, dass jeder Knoten einer eindeutigen Variablen entspricht.
  2. Beschriften Sie alle Verzweigungsgewinne symbolisch oder mit numerischen Werten.
  3. Aufzählen jeden Pfad von der Eingabe zur Ausgabe. Schreiben Sie jeden Pfadgewinn als Produkt.
  4. Aufzählen jeder Schleife in der Grafik. Schreiben Sie jede Schleife Verstärkung als Produkt.
  5. Identifizieren Sie alle Sätze von nicht berührenden Schleifen (Paare, Tripel usw.).
  6. Berechnen Sie Δ mit der Wechselzeichenreihe.
  7. Bestimmen Sie für jeden Vorwärtspfad, welche Schleifen den Pfad berühren, und berechnen Sie dann Δk als Determinante des Graphen, wobei diese Schleifen entfernt werden.
  8. Wenden Sie die Formel an: T = (Σ Pk Δk) / Δ.
  9. Vereinfachen Sie den resultierenden rationalen Ausdruck, falls erforderlich, für weitere Analysen (Stabilität, Frequenzgang).

Durch diesen Workflow wird sichergestellt, dass keine Schleifen oder Pfade verpasst werden, und es wird eine systematische Überprüfung der Berührungsbedingungen erzwungen. Viele Lehrbücher bieten Vorlagen für diesen Vorgang.

Fazit: Warum Masons Gain Formula anhält

Masons Gain-Formel bleibt ein Eckpfeiler der linearen Systemanalyse mehr als sieben Jahrzehnte nach ihrer Einführung. Sein eleganter graphentheoretischer Ansatz verwandelt das Problem der Ableitung von Übertragungsfunktionen in eine visuelle Aufzählungsaufgabe, die algebraische Arbeit und Fehler reduziert. Für Steuerungsingenieure, Signalverarbeitungsspezialisten und Elektroingenieure ist es ein mentales Werkzeug, das die Lücke zwischen dem Blockdiagramm eines Systems und seinem mathematischen Modell überbrückt. Während moderne Software das schwere Heben bewältigen kann, vertieft die Beherrschung von Masons Formel das Verständnis von Feedback, Interaktionen und Systemstruktur. Ob Sie eine lernende Steuerungstheorie sind oder ein praktizierender Ingenieur, der einen Multi-Loop-Regler behebt, Masons Formel bietet Klarheit und Effizienz, die keine andere manuelle Methode bietet.

Für weitere Lektüre, beziehen Sie sich auf Standard-Kontroll-Lehrbücher wie Ogatas “Modern Control Engineering” oder Franklin et al.’s “Feedback Control of Dynamic Systems”, die ganze Kapitel zu SFGs und Mason’s Formel widmen. Für digitale Signalverarbeitungsanwendungen siehe Proakis und Manolakis Die ursprüngliche Arbeit von Samuel J. Mason, “Feedback Theory – Some Properties of Signal Flow Graphs”, veröffentlicht in Proceedings of the IRE (1953), bleibt eine klassische Referenz für diejenigen, die an den theoretischen Grundlagen interessiert sind.