ハイブリッドシステムとは連続ダイナミクス(力学系を想像してください)と離散ダイナミクス(論理のことです.例えばif-thenルール)が混在したシステムのことを言います. 例えば,人間は,腕や脚といった力学系と,脳という論理的思考ができる離散ダイナミクスが混在したハイブリッドシステムであると捉えることができます. 人間に限ることなく,ロボット,自動車,飛行機,化学プラントなど様々なシステムは,力学(物理)的要素と,コンピュータプログラムによって実現される論理的要素が混在しています.
ハイブリッドシステムのイメージとしては,オートマトンにより離散構造があたえられ,そのノードごとに運動方程式が与えられているようなものを想像すればよいでしょう. ロボットの歩行の場合,2本立ちモードと1本立ちモードがあり,運動方程式が切り替わります. また,飛行機や化学プラントなどでは,立ち上げモード,定常モード,緊急モードなど様々なモードで制御系が構成されています.
これまでは,このようなシステムの制御系は試行錯誤的な方法で設計されてきました. しかし,今後,システムがより大規模化・複雑化するに従い,試行錯誤的な方法で設計することは容易ではありません. このような背景のもとで,ハイブリッドシステムに関する研究が,90年代頃より制御の研究分野とコンピュータ科学の研究分野で注目され, 現在では21世紀の新しい研究領域になりつつあります. 簡単に述べるならば,ハイブリッドシステムの制御理論は,論理情報処理を含む,言わば「知的な」制御系の設計理論の構築を目指していると言えるでしょう. この実現に向けて,本研究室では様々な観点から精力的に研究しています.
連続式鋼材加熱炉の最適制御
鉄鋼業において薄鋼板を製造する主たるプロセスの一つにホットストリップミルがあります. ホットストリップミルでは,鋼片(スラブ)を3~5つのゾーンで構成された連続式鋼材加熱炉によって 1200℃前後に加熱し,圧延機列にて製品厚に圧延します. 近年はマーケットのニーズとして普通鋼から特殊鋼まで多品種の薄鋼板の製造が求められていますが, 多品種を小ロットで生産する場合,生産ラインの頻繁な条件変更は効率性を阻害するため生産計画をうまく立てる必要があり, 効率良く加熱するために燃焼制御系をいかに構成するかが重要な課題となっています. 加熱炉における操作量は主に2つあり,スラブの装入スケジュール(どの鋼材をどのタイミングで加熱炉内に装入するか)と 加熱炉の燃焼制御(炉内の温度調整)になります. これまではそれらの2つの操作則がそれぞれ独立に設計されてきたましたが, しかし,加熱工程においてさらに効率良く鋼材を加熱するためには, 装入スケジュールと燃焼制御を統合して同時に最適化することが必要になります.
本研究では,装入スケジュールと燃焼制御の同時最適化を達成するために,加熱炉のモデリング・最適問題の定式化・シミュレーションによる検証を行っています. ここで,時間的に変化するシステム変数は,a) 炉帯温度や鋼材温度,投入燃料,b) スラブの装入順などで与えられ, 前者は連続値(実数値)をとるのに対し,後者は離散値をとります. こうした連続値と離散値が混在する系(ハイブリッドシステム)の取り扱いは一般に困難ですが,近年制御工学において, ハイブリッドシステムの制御理論として研究が発展しており,様々なツールが使えるようになってきました. 本研究では,ハイブリッドシステムのモデル予測制御(最適制御)の代表的な手法の一つである混合論理動的モデルを用いる手法を導入した研究に 取り組んでいます.
参考文献
- Koichi Kobayashi, Jun-ichi Imura, Hiromichi Matsushima, Model predictive control of directed-graph constrained systems, International Journal of Robust and Nonlinear Control, Vol. 25, No. 1, pp. 142-162 (2015)
- Masayasu Suzuki, Kenji Katsuki, Jun-ichi Imura, Jun-ichi Nakagawa, Tetsuaki Kurokawa, Kazuyuki Aihara, Simultaneous optimization of slab permutation scheduling and heat controlling for a reheating furnace, Journal of Process Control, Vol. 24, No. 1, pp. 225-238 (2014)
- Yuichi Tazaki and Jun-ichi Imura; Discrete abstractions of nonlinear systems based on error propagation analysis, IEEE Transactions on Automatic Control, Vol.57, No.3, 550-564 (2012)
- Koichi Kobayashi, Jun-ichi Imura, Deterministic nite automata representation for model predictive control of hybrid systems, Journal of Process Control, Vol. 22, Issue 9, pp. 1670-1680 (2012)
- Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi, Stabilization of nite automata with application to hybrid systems control, Discrete Event Dynamic Systems, Theory and Applications, Vol. 21, No.4, pp. 519-545 (2011)
- Sun-ichi Azuma, Jun-ichi Imura, Toshiharu Sugie, Lebesgue piecewise affine approximation of nonlinear systems, Nonlinear Analysis: Hybrid Systems, Vol. 4, No. 1, pp. 92-102 (2010)
- Yuichi Tazaki, Jun-ichi Imura, Planar bipedal locomotion control based on state-discretization, Robotics and Autonomous Systems, Elsevier, Vol. 58, Issue 5, pp. 657-665 (2010)
- Mohammad Hadi Honarvar, Yuichi Tazaki, Jun-ichi Imura, State waypoint approach to continuous-time nonlinear optimal control problems, Asian Journal of Control, Vol.11, No.6, pp. 669-676 (2009)
- Shun-ichi Azuma, Jun-ichi Imura, Polynomial-time probabilistic controllability analysis of discrete-time piecewise affine systems, IEEE Trans. on Automatic Control, Vol. 52, No. 11, pp. 2029-2046 (2007)
- Shun-ichi Azuma, Eriko Yanagisawa, Jun-ichi Imura, Controllability analysis of biosystems based on piecewise affine systems approach, Special issue of IEEE Trans. on Automatic Control and IEEE Trans. on Circuits and Systems I, Vol. 53, No. 1, pp. 139-152 (2008)
- Ravi Gondhalekar, Jun-ichi Imura, Exact cost performance of piecewise affine systems, IEICE Trans. Fundamentals Vol. E91-A, No. 11, pp. 3253-326 (2008)
- Shun-ichi Azuma, Jun-ichi Imura, Optimal control synthesis of piecewise affine systems with sampled-data switching, Automatica, Vol. 42, No. 5, pp. 697-710 (2006)
- Shun-ichi Azuma, Jun-ichi Imura, Polynomial-time probabilistic observability analysis of sampled-data piecewise affine systems, Systems and Control Letters, Vol. 56, No. 11-12, pp. 685-694 (2007)
- Jun-ichi Imura, Discussion on: "Switched integrator control schemes for integrating plants", European Journal of Control, Vol. 9, No. 6, pp. 563-565 (2003)
- Jun-ichi Imura, Optimal control of sampled-data piecewise affine systems, Automatica, Vol. 40, No. 4, pp. 661-669 (2004)
- Jun-ichi Imura: Well-posedness analysis of switch-driven hybrid systems, IEEE Transaction on Automatic Control, Vol.48, No.11, pp.1926-1935, 2003.
- Jun-ichi Imura: Classification and stabilizability analysis of bimodal piecewise affine systems, Int. J. Robust and Nonlinear Control, Vol.12, No.10, pp.897-926, 2002.
- Jun-ichi Imura and Arjan van der Schaft: Characterization of well-posedness of piecewise linear systems, IEEE Transaction on Automatic Control, Vol.45, No.9, pp.1600-1619, 2000.