非線形システム論のソースを表示

{{出典の明記|date=2012年2月}}
{{Differential equations}}
'''非線形システム論'''（ひせんけいシステムろん、{{lang-en|nonlinear system theory}}）とは、[[線形システム論|線形システム]]でないシステム、特に[[非線形]]の[[常微分方程式]]で表された系を対象とした[[制御理論]]であり、その対象は実に多岐に渡る。

その中でも、[[状態方程式]]が無限回微分可能であるものについて集中的に研究され、[[線形システム論]]の概念の拡張を初め、[[微分幾何学]]の概念を応用して多くの成果が出始めている。その流れは大きく分けて

* 線形近似の有効領域を広げるもの
* 本質的に線形近似では制御できないもの

の2つがある。前者については、線形システムに変換する'''線形化'''が代表的であり、後者については双線形システムや[[非ホロノミック系|非ホロノミックシステム]]を対象とした研究が挙げられる。
<!--
近年は制御対象の力学系的な性質を積極的に活用しようとするダイナミクスベースド制御 (Dynamics Based Control) の考え方が提案されている。
-->

== 主な概念 ==
=== モデル表現 ===
; [[状態方程式 (制御理論)|状態方程式]] (state equation)
:: <math>\begin{align}\dot{x} &= f(x,u)\\ y &= h(x)\end{align}</math>
: とくに入力について1次であるもの
:: <math>\begin{align}\dot{x} &= f(x) + g(x) u\\ y &= h(x)\end{align}</math>
: をアフィン系と呼ぶ。

=== 解析手法 ===
; [[不動点|平衡点]] (equilibrium, equilibria)、平衡多様体 (equiliburium manifold)
:: <math> f(x,0) = 0 </math> または <math> f(x) = 0 </math> 
: を満たす <math>x</math>の集合。点の場合は平衡点、[[多様体]]の場合は平衡多様体と呼ぶ。また、非線形システムでは異なった複数平衡点が存在することがある。
; 局所性と大域性 (locality, globality)
: 線形システムは至る点で原点近傍と相似であるが、非線形システムの場合は一般的には相似でない。そのため、注目している点の[[近傍]]での議論（'''[[局所性]]''' (locality)） と、全空間での議論（'''大域性''' (globality)）を区別する必要がある。
; 安定性(stability)
: 線形システム論では安定性は一意であるが、非線形システムでは複数の異なる概念が多岐に渡って存在するため、'''安定論'''として一冊の本が書かれるくらいである。非線形システム論においてよく用いられる安定の概念にリアプノフ安定がある．[[リアプノフ関数]]を見つけることで判別できる。線形システムでは以下はいずれも等価である。
:* '''[[リアプノフ安定|安定性]]''' (stability)：状態が有界の範囲に留まり、かつ初期値を平衡点に近づければ状態の上界も平衡点に近づく性質
:* '''漸近安定性''' (asymptotical stability)：状態が時間が経てばやがて平衡点に収束する性質
:* '''指数安定性''' (exponential stability)：漸近安定の収束の度合いが指数関数で押えられる性質
; 可到達性 (reachability)
: 平衡点にある状態を有限時間内で（平衡点近傍の）任意の点に移すような入力が存在する性質
; 可制御性 (controllability) 
: 任意の初期状態から有限時間で平衡点に移す入力が存在する性質
; 相対次数 (relative degree)
: 出力 <math> y </math> を繰り返し時間微分して、初めて入力 <math>u</math> が出てくるまでの回数。これがシステムの次数 <math>n</math> と一致するようなアフィン系は、可制御な線形システムと等価になる。例えば、
:: <math>
\begin{matrix}
\dot{y} &=& y^{(1)}\\
\vdots\\
\dot{y}^{(n-1)}& =& g(x)u\\
\end{matrix}
</math>
: が成り立つとき、新しい座標を <math>z_i = y^{(i-1)} </math>、新しい入力を <math> v = g(x)u </math> と定義すれば、[[線形システム論|線形可制御正準形]]
:: <math>
\frac{\mathrm{d}}{\mathrm{d}t}\left[\begin{matrix} z_1\\ z_2 \\ \vdots \\ z_n \end{matrix}\right]
= \left[\begin{matrix} 0  & 1 &\cdots&0\\ 0 & 0 & \cdots & 0\\ \vdots&\vdots&\ddots & \vdots \\ 0 & 0 & \cdots & 0  \end{matrix}\right]
\left[\begin{matrix} z_1\\ z_2 \\ \vdots \\ z_n \end{matrix}\right] +
\left[\begin{matrix} 0 \\ \vdots \\ 0 \\ 1 \end{matrix}\right] v
</math>
: が得られる。
; ゼロダイナミクス (zero dynamics)
: 出力関数 <math> h(x) </math>をゼロに保つような入力を与えた時の内部状態の挙動。これが安定であるならば、出力零化制御を行なうだけで全体の安定化が達成できる。

=== 制御系設計 ===
; 線形化 (linearization)
: 座標変換とフィードバックにより、システムの状態（入出力応答）を線形システムと同じ振る舞いにすることを（入出力）線形化という。平衡点近傍の線形近似が最も基本的だが、大域的に近似誤差なく線形化する'''厳密な線形化'''があり、そのための必要十分条件が調べられている。線形化することができれば、あとは線形化されたシステムに対して[[線形システム論]]で得られる制御系設計手法を適用することができる。
; ダイナミクスベースド制御 (dynamics based control)
: 厳密な線形化が、言わば''強引に''システムの挙動を書き換えているのに対し、系が元来もつ動特性を活かして、スマートな制御系設計を行おうと言うものがダイナミクスベースド制御である。受動歩行に基づいて設計した能動歩行アルゴリズムがその例である。ただし、今のところは国内で用いられることが多い。

=== 線形近似で解決できないシステム ===
; 双線形システム (bilinear system)
: 入力の係数が状態量の1次式になっているアフィン系。
:: <math>\dot{x} = f(x) + x u</math>
: 原点では入力が作用しなくなるシステムである。従って、原点の安定化問題は線形近似によって解決することができない。ダンパの減衰係数を入力とする[[セミアクティブサスペンション]]などは双線形システムの好例である。
; 非ホロノミックシステム (nonholonomic system)
: ホロノミックとは、力学的拘束を分類する言葉で、拘束式が[[一般化座標]]の代数方程式に帰着できる（自由度が落ちる）ものを指す。そうでないもの（例えば拘束式が微分方程式で表されるもの）を'''非ホロノミック拘束'''と呼び、そのような拘束を受けるシステムを非ホロノミックシステムと呼ぶ。例えば、移動に関する非ホロノミック制約として、自動車の車輪による拘束が好例である。自動車は車輪の制約により、真横に進むことはできないが、適当な経路を経由することで最終的に元の位置の真横の位置に移動することができる、しかし、このような運動を線形近似によって導き出すことはできない。

== 参考文献 ==
* {{cite|和書|title=非線形システム論|publisher=コロナ社|author=石島辰太郎|author2=石動善久|author3=三平満司|author4=島公脩|author5=山下裕|author6=渡辺敦|year=1993|isbn=4-339-08348-8}}
== 関連文献 ==
今後拡充予定
* 吉田善章、永長直人、石村直之、西成活裕：「非線形数学」、丸善出版（東京大学工学教程 基礎系 数学）、ISBN 978-4-621-08992-7 (2016年1月20日).

== 関連項目 ==
* [[制御理論]] - [[線形システム論]]
* [[微分幾何学]]
* [[力学系]]

{{Systems science}}
{{Tech-stub}}

{{DEFAULTSORT:ひせんけいしすてむろん}}
[[Category:非線形システム|*]]
[[Category:制御工学]]
[[Category:システム理論]]