Transfer Function from a Signal Flow Graph (SFG): Finding (\frac{C}{R})
A signal flow graph (SFG) is a graphical representation of a set of linear relationships, where directed branches carry gains and nodes represent variables. To find the overall transfer function (\frac{C}{R}), the standard approach is Mason’s Gain Formula. In this section we’ll use that framework to compute (\frac{C}{R}) from an arbitrary SFG by (i) enumerating forward paths, (ii) enumerating loops, and (iii) applying Mason’s formula determinants. 2
Key terms you’ll use: signal flow graph , forward path , loop , Mason’s gain formula.
Footnotes
-
Mason's gain formula (Signal flow graph) - Defines Mason’s gain formula and the determinant terms. ↩
-
Signal flow graph (general) - Background on SFGs and their relationship to transfer functions. ↩
Mason's Gain Formula (Signal Flow Graph) - Derivation & Examples
Mason’s Gain Formula (the computation template)
For an SFG with:
- Forward paths (P_k) from (R) to (C),
- Loop gains (L_i) for all individual loops,
- Non-touching loop groups,
Mason’s formula states:
where:
and (\Delta_k) is the same determinant as (\Delta), but only including loops that do not touch forward path (P_k). 3
Important: If the figure you provided contains specific gains (e.g., blocks like (G(s)), (H(s)), constants, etc.), you plug those branch gains into (P_k), (L_i), and (\Delta), then simplify algebraically.
Footnotes
-
Mason's gain formula (Signal flow graph) - Defines Mason’s gain formula and the determinant terms. ↩
-
Signal flow graph (general) - Background on SFGs and their relationship to transfer functions. ↩
-
Control system block diagram reduction & loop/path concepts (general references) - Useful for interpreting feedback loops and their influence on transfer functions. ↩
Step-by-step: Compute \(\frac{C}{R}\) from the given SFG
- 1Step 1
Label the source node as (R) and the sink node as (C). If the diagram uses intermediate summing nodes, treat them as graph nodes with incoming/outgoing edges.
- 2Step 2
List every distinct directed path from (R) to (C) that does not pass through the same node more than once.
- 3Step 3
Multiply the gains of all branches along path (P_k): (P_k=\prod (\text{branch gains on that path})).
- 4Step 4
List every directed cycle that starts and ends at the same node (no repeated intermediate nodes in the cycle definition).
- 5Step 5
Multiply branch gains around each loop. Sign is handled automatically if branch gains are negative at summing junctions.
- 6Step 6
Use $$ \Delta = 1 - \sum_i L_i + \sum_{\text{non-touching } i,j} L_iL_j - \cdots
- 7Step 7
For each (P_k), remove (exclude) every loop that touches (shares any node with) (P_k), then compute the determinant of the remaining non-touching loops using the same alternating-sign rule.
- 8Step 8
Compute , then algebraically simplify.
Visual structure (how paths and loops appear)
A forward path shares nodes with (R \to C). Loops are “detours” that start/end at a node and wrap around back. Non-touching loops are loops that do not share nodes. Mason’s determinant bookkeeping depends entirely on which loops touch which forward paths. 2
Footnotes
-
Mason's gain formula (Signal flow graph) - Defines Mason’s gain formula and the determinant terms. ↩
-
Signal flow graph (general) - Background on SFGs and their relationship to transfer functions. ↩
Mason’s formula components checklist
You compute each quantity from the SFG, then combine them.
Pro Tip: Determining loop “touching”
A loop touches a forward path (P_k) if they share at least one node. In practice, mark the nodes belonging to (P_k), then discard any loops that pass through any marked node when forming (\Delta_k).
Common pitfall: Missing a non-touching loop group
In (\Delta), you must include products of all non-touching loop combinations (pairs, triples, etc.). Missing even one combination changes (\Delta) and therefore (\frac{C}{R}) significantly.
Worked-algebra checklist for the provided diagram
Roadmap to get (\frac{C}{R}) from any SFG
Identify nodes and gains
1. Parse graphRecognize (R), (C), and every branch gain."
Enumerate all \(P_k\)
2. Build forward pathsList all (R \to C) node-disjoint-by-path paths."
Enumerate all \(L_i\)
3. Build loopsFind cycles and compute loop products."
Compute \(\Delta\) and each \(\Delta_k\)
4. DeterminantsUse non-touching loop combinations only."
Apply Mason’s formula
5. CombineCompute ."
SFG / Mason’s Gain Formula Quick Checks
Knowledge Check
In Mason’s gain formula, (\Delta_k) is computed by excluding which loops?