Diss.-ETH 12317 Diss.-ETH 12317 Diss.-ETH 12317 Diss.-E Eine ...

3.2. DOMÄNENMODELL 55
licher Automat betrachtet, der das Verhalten BN σ(Vσ,Pσ,E σ,Tσ) in jedem
Zustand σ aufweist. Im Gegensatz zum im Kapitel 3.2.6 beschriebenen
Summengeber ist das Verhalten zur Spezifikationszeit eines Ntors
bekannt. Die ngσ Gleichungen liegen im gesamten Gleichungssystem an
den Stellen q bis q + ngσ − 1. Eine wichtige Eigenschaft ist, dass diese
Gleichungen unabhängig von der Topologie des Netzes formulierbar sind,
in welchem das Ntor eingesetzt ist. Die Gleichungen werden durch eine
bekannte Menge V von nvσ Variablen mit der Lage s bis s + nvσ − 1im
Gleichungssystem und Parametern P beschrieben.
Das Verhalten BN σ im Zustand σ enthält die folgenden Mengen:
Vσ = { xs,xs+1,...xs+nvσ−1 }
Pσ = { p1, p2,...pnpσ }
E σ = { gq(V [q]
σ ,P [q]
σ )=0,
gq+1(V [q+1]
σ ,P [q+1]
σ
···,
)=0,
gq+ngσ−1(V [q+ngσ−1]
σ , P [q+ngσ−1]
σ )=0 }
Tσ ={ v−pa≥0⇒Folgezustand = σ1,
pb − v ≥ 0 ⇒ Folgezustand = σ2 }
Dabei ist Parameter pa, pb ∈ Pσ, mit pa > pb und die Variable v ∈ Vσ. In
jedem Zustand σ gibt es maximal zwei Folgezustände σ1 und σ2.
Es sind verschiedene Strategien für den Zustandwechsel möglich. Da
der endliche Automat im Ntor spezifiziert ist, kann und soll das Ntor zur
Laufzeit entscheiden, ob ein Zustandsübergang angezeigt ist. Das Ntor soll
aber nicht selbständig wechseln.
Es wird daher die Strategie unterstützt, dass das Ntor dem Klienten anzeigt,
dass die Bedingung für einen Zustandswechsel erfüllt ist. Die Kontrolle
liegt dann beim Klienten den Zustandswechsel im Ntor zu veranlassen.
Das Ntor wechselt dann in den spezifizierten Nachfolgezustand σi. Ab
dann gilt im Ntor das neue Verhalten BN σi (Vσi ,Pσi ,E σi ,Tσi ). Tσ = {}
bezeichnet einen Zustand ohne Nachfolgezustand.
Diese Zustandsbeschreibung erlaubt, für gewisse Bedingungen von Variablen
des Ntors, die Gleichungsmenge und damit das Verhalten zu ändern.
Dies ist in der Praxis dann wichtig, wenn z.B. in einem Lastfluss ein PV-
Generator wegen begrenzter Blindleistung Q das Verhalten eines PQ-Generator
erhalten soll.
Diss.-ETH 12317 Diss.-ETH 12317 Diss.-ETH 12317 Diss.-E