内部モデル原理は、フィードバック制御系が入力および外乱等の外生信号の生成モデルを持つことで出力誤差抑圧が実現されることを示す原理であり、出力誤差抑制の十分条件を満たすフィードバック制御器の構成を規定する。
制御対象のシステムが次のように表現される場合について考える。
y(s)P(s)=P(s)(u(s)+d(s))=Dp(s)Np(s)
ここで、
u,d,P は入力、外乱、プラントを表し、
Np,Dp は共通因子を持たない実係数多項式とする。このシステムに対してフィードバック制御器
C を設置し、指令値
r を用いて入力参照値
uref を生成する。
C(s)uref(s)=Dc(s)Nc(s)=C(s)(r(s)−y(s))
また、指令値
r および外乱
d について以下のシステムにインパルス信号
δ を入力し生成されるものとして表現する。
Gr(s)Gd(s)r(s)d(s)=Dr(s)Nr(s)=Dd(s)Nd(s)=GrL[δ]=Gr=GdL[δ]=Gd
上記の信号生成機構を入力生成モデルおよび外乱生成モデルと呼ぶ。
システムの出力
y および出力誤差
e は次のように表される。
y(s)e(s)=1+PCPCr(s)+1+PCPd(s)=1+PCPCGr+1+PCPGd=r(s)−y(s)=1+PC1Gr−1+PCPGd=NpNc+DpDcDpDcDrNr−NpNc+DpDcNpDcDdNd
したがって、漸近的な指令値追従および外乱抑圧の条件は、最終値の定理を用いて次のように記述される。
s→0limsNpNc+DpDc1(DrDpDcNr−DdNpDcNd)=0
ここで、システムが安定であれば一巡伝達関数の根が全て複素平面上の左半平面に存在し、等価的に分母多項式
NpNc+DpDc の根も全て複素平面上の左半平面に存在する。一巡伝達関数の根が複素平面の虚軸上に存在する場合、すなわち安定限界ではシステムの出力が持続振動することから最終値の定理を適用することができないため、ここでは議論の対象としない。全ての極が左半平面に存在するシステムは減衰系であり、零点の有無に関わらずインパルス応答が
0 に漸近することから、任意の実数係数多項式
Q に対して次の式が成立する。
⇔ ⇔ t→∞limL−1[NpNc+DpDcQL[δ]]=0t→∞limL−1[NpNc+DpDcQ]=0s→0limsNpNc+DpDcQ=0
上式より、出力誤差のラプラス変換
e(s) の分母多項式から
Dr,Dd を除去することができれば、出力誤差が
0 に漸近することが確認できる。したがって、出力誤差抑圧の十分条件は分子多項式
DpDc が
Dr の全ての因子を持ち、分子多項式
NpDc が
Dd の全ての因子を持つこととなる。これは分子多項式が分母多項式の持つ全ての根を持つことに等しい。ここでは制御器の極が入力生成モデルの極と外乱生成モデルの極を持つよう、実数係数多項式
R を用いて次のように設計する場合を例として考える。
Dc=RDdDr
このとき、出力誤差のラプラス変換
e(s) は以下のように記述される。
e(s)=NpNc+DpDcR(DpDdNr−NpNdDr)
以上より、システムが安定かつ制御器が入力生成モデルおよび外乱生成モデルの全ての極を持つ場合に、出力誤差は
0 に漸近する。
t→∞lime(t)=s→0limsNpNc+DpDcR(DpDdNr−NpNdDr)=0
この原理は、出力誤差抑圧の十分条件を「フィードバック制御器を含めたシステムが外生信号の生成モデルを持つこと」と規定するため、内部モデル原理と呼ばれる。本原理は誤差抑圧の十分条件を示すのみであり、フィードバック制御器の適切な次数および構成を示すものではないことに留意する。ここでは全ての外生信号を抑圧するフィードバック制御器について議論したが、フィードフォワード制御器を用いた二自由度制御系を設計する場合にはフィードバック制御器で指令値追従性を担保する必要はなく、外乱抑圧系の設計のみに注力することができる。
ダイナミクスを持つ因果的な外乱を内部モデル原理に基づいて抑圧することを考える。ここではシステムが次のように表現されるものとする。ただし,
P, C はプラントおよび制御器,
r, u,y は参照値,入力および出力,
d は外乱を表す。
yu=P(u+d)=C(r−y)
ここで,外乱のダイナミクスが次のように記述されるものとする。
d˙d(0)=Adisd+ω=d0
Adis は外乱生成システムの極を決定するシステム行列であり,
ω は外乱駆動雑音とする。このシステムについて,外乱から出力までの伝達関数は次のように記述される。
y=(I+PC)−1Pd=P(I+CP)−1d
内部モデル原理に従い,一巡伝達関数
CP が外乱と等しい極を持つように,すなわち外乱生成モデルを含むように
C を設計する。
C=(sI−Adis)−1G
ただし,
Gは適当な伝達関数行列とする。このとき,出力は次のように記述される。
y=P(I+(sI−Adis)−1GP)−1d=P(sI−Adis+GP)−1(sI−Adis)d=P(sI−Adis+GP)−1(d0+ω)
以上より,制御器が外乱生成モデルを含有し,かつ閉ループ系が安定であるとき,外乱は定常状態において抑圧される。外乱抑圧速度は制御器
C に含まれる伝達関数
G によって決定される。