現代制御論 平成 17 年度

22
現現現現現 現現 17 現現 現現現現現現現 3 現現現 現現 現 http://www-ics.acs.i.kyoto -u.ac.jp [email protected]

description

現代制御論 平成 17 年度. 数理工学コース  3 回生向 山本 裕 http://www-ics.acs.i.kyoto-u.ac.jp [email protected]. 今年のテーマ. 制御は面白い どう面白いか? いろいろなものが自在に動かせる 物理世界と数理を結ぶものが見えてくる どこまで動かせるかが理論的に分かる 理論が難しいが だから面白い - 難しさを克服することによって表面的な現象の奥にあるものが見えてくる. 古典制御理論と現代制御理論. 古典制御理論 Watt → Maxwell → Black, Bode, Nyquist の系譜 - PowerPoint PPT Presentation

Transcript of 現代制御論 平成 17 年度

Page 1: 現代制御論 平成 17 年度

現代制御論 平成 17 年度

数理工学コース  3 回生向

山本 裕http://[email protected]

Page 2: 現代制御論 平成 17 年度

今年のテーマ

制御は面白いどう面白いか? いろいろなものが自在に動かせる 物理世界と数理を結ぶものが見えてくる どこまで動かせるかが理論的に分かる 理論が難しいが だから面白い - 難しさを克服することに

よって表面的な現象の奥にあるものが見えてくる

Page 3: 現代制御論 平成 17 年度

古典制御理論と現代制御理論

古典制御理論 Watt→Maxwell→   Black, Bode, Nyquist の

系譜 周波数応答による特性の静的把握と設計法 Bode 線図, Nyquist 線図,... 図式解法による直観的,経験的設計法現代制御理論 この講義のテーマ

Page 4: 現代制御論 平成 17 年度

古典制御理論と現代制御理論 II

現代制御理論 状態の概念と微分方程式 より理論的かつ数学的にエレガント 数学的理論により,より普遍的 制御可能かそうでないか: 定性的解答 可能なとき,どの程度の性能が達成できる

か? 定量的解答 最適化による理論的設計法:  2次最適化レギュレータ H1 最適化設計法

Page 5: 現代制御論 平成 17 年度

この講義の計画

導入: 歴史,行列微分方程式のまとめ状態空間モデルの導入 概念と例,等価(同値)なモデル

可制御性と可観測性,判定条件標準形極配置問題最適レギュレータの設計

Page 6: 現代制御論 平成 17 年度

制御の歴史

Page 7: 現代制御論 平成 17 年度

入力 出力

システムとは?

・ チャンネル,変数間の相互作用・ 因果的な変化・ ダイナミカルシステム

Page 8: 現代制御論 平成 17 年度

制御とは何か,システムとは?

システムとは? 複雑な要素の相互作用する全体 ダイナミカルシステム: 因果的な相互作用をす

る;ほとんどすべてのシステムはダイナミカル 因果性: 過去に依存して未来が定まる

制御とは? システムの状態,挙動を希望のものに近づける いつでも出来るのか? でなければどのようなとき,どのようにして?

Page 9: 現代制御論 平成 17 年度

Watt→Maxwell→ 古典制御論

Watt :遠心調速器( Centrifugal Governor)

Page 10: 現代制御論 平成 17 年度

Watt の蒸気機関の問題点

比例制御のため,外乱,負荷変動があるとオフセット偏差が残る欠点これを取り除くため経験的に積分補償器を導入( PI 制御)しかしこれによって閉ループ系の次数が増大 → ハンティングと呼ばれる不安定現象不安定現象の解析→  Maxwell  “ On Governors”

Page 11: 現代制御論 平成 17 年度

古典制御理論の成立Maxwell: On Governors, 1868 制御系の安定性判別の方法を与えたRouth-Hurwitzによる一般化 , 189520世紀 高速トラッキングとサーボ系 電気工学と定常応答 遠距離通信とフィードバックアンプ

Black:   feedback amplifier 古典制御理論の形成

Nyquist, Bode ー  Bell研

Page 12: 現代制御論 平成 17 年度

その達成と問題点周波数領域における定常応答解析(交流理論)Fourier-Laplace 変換Wiener filtering →  Wiener-Hopfの積分方程式本質的に1入出力システムの解析 多入出力システムへの対応が不可能 チャンネル相互の干渉の問題 隠された不安定性の問題 非定常過程への対応

Page 13: 現代制御論 平成 17 年度

現代制御理論の成立

R. E. Kalman (1978) photo by Y. Yamamoto

Page 14: 現代制御論 平成 17 年度

現代制御理論の成立 (cont’d)状態空間モデルと現代制御理論の成立 Kalmanフィルタリング, Trans. ASME,1957

On the general theory of control systems, 1st IFAC Congress, Moscow, 1960

Despite the appearance and effective resolution of manynew problems, our understanding of fundamental aspects of control has remained superficial. The only basic advance so far appears to be the theory of information created by Shannon.

Page 15: 現代制御論 平成 17 年度

Our ultimate objective is to answer questions of the following type: What kind and how much information is needed to achieve a desired type of control? What intrinsic properties characterize a given unalterable plant as far as control is concerned?

1. 状態空間法の定式化2. 可制御性,可観測性の概念3. 最適レギュレータとフィルタリング4. 制御と観測の双対性5. サンプル値による離散時間制御

Page 16: 現代制御論 平成 17 年度

現代制御理論の成立とロバスト制御

状態空間モデル

)()()(

)()()()()(

txtHty

tutGtxtFtxdt

d

システム= ))(),(),(( tHtGtF

可制御か,可観測か - 構造的関心

Page 17: 現代制御論 平成 17 年度

Wiener フィルタと Kalmanフィルタ

Wiener フィルタ: 伝達関数; 時不変系; 積分方程式による解 非定常過程へのむなしい拡張の試み

Kalmanフィルタ: 状態空間モデル; 状態空間モデルによる解; 非定常過程 可解性条件: 可制御性,可観測性

試行錯誤的な古典理論での制御系設計法から数理モデルを基礎とした設計への転換

Page 18: 現代制御論 平成 17 年度

Before 1960 one could speak of control theory as a field with a clear practical relevance, scattered results, little cohesion, and with a diffuse scientific and mathematical basis. By 1970 this had completely changed. In 1970 we could speak of a discipline.

--- Jan C. Willems

Page 19: 現代制御論 平成 17 年度

パラダイムの転換

出力を整定する - 古典制御状態を制御する - 制御と観測の分離 - 2乗評価規範による分離原理(separation principle)デッドビート制御における成果 サンプル点間応答に対する1つの回答 Kalman-Bertramによる 0次ホールド等価離散時間モデル

Page 20: 現代制御論 平成 17 年度

達成されたもの

多変数制御系ラプラス変換から線形代数へLyapunovの安定論最適制御 Pontryagin, LaSalle,  変分法LQG問題存在と一意性: 可制御性と可観測性

Page 21: 現代制御論 平成 17 年度

その特徴

個別性より一般論代数的性格ー図式解法よりアルゴリズムAd hoc な設計より系統的解析と最適化モデルベース設計Trial and Errorより構造論) 理論の数学化,概念化

Page 22: 現代制御論 平成 17 年度

その後:ロバスト制御の成立ーシステムの不確定性への対応

すべてを完全にモデル化することは不可能不確定性の上界をモデルに取り込み,その族全体を制御するー G. Zames (1980)不確定のもののうちの最悪性能( H∞ノルム)を最小にする(min-max 問題)1980- 1987 : 完全な解答ー Matlabによる設計ソフトウェア