代数学・代数幾何学を用いた非線形システムの解析と制御

線形システム制御理論を非線形システムへ拡張するために,線形代数よりも一般的な可換環論などの代数学や代数幾何学を利用する新しいアプローチを研究しています.状態方程式を有理式や多項式に限定する代わりに,その構造を利用して今まで解けなかった問題を解決し,新しい理論体系を構築するのが目標です.数値計算による実時間最適化とは一見対照的ですが,幅広い問題を実際に解くことを目指している点は共通です.線形制御理論の,可制御性,可観測性,安定性,状態フィードバック制御,最適レギュレータ,オブザーバ,といった理論をすべて拡張するのが目標です.さらに,微分作用素の作る非可換環の理論を使って,線形制御理論の伝達関数や固有値と入った重要な概念を非線形システムに拡張する試みも行っています.現代数学も使うという意味でハードルが高いですが,教科書を書き換えるような成果を目指しています.


■キーワード

非線形システム,多項式システム,可換環論,代数幾何学,非可換環論,数式処理

参考文献

  • T. Ohtsuka: Model Structure Simplification of Nonlinear Systems via Immersion, IEEE Transactions on Automatic Control, Vol. 50, No. 5, pp. 607-618 (2005) DOI:10.1109/TAC.2005.847062
  • T. Ohtsuka: Solutions to the Hamilton-Jacobi Equation with Algebraic Gradients, IEEE Transactions on Automatic Control, Vol. 56, No. 8, pp. 1874-1885 (2011) DOI:10.1109/TAC.2010.2097130 [計測自動制御学会制御部門研究賞(木村賞)]
  • Y. Kawano, T. Ohtsuka, and T. Hibi: Nilpotency of a Finitely Iterated Polynomial Map, International Journal of Algebra, Vol. 5, No. 30, pp. 1475-1479 (2011) [PDF]
  • Y. Kawano, and T. Ohtsuka: Input-Output Linearization for Transfer Functions of Input-Affine Meromorphic Systems, SICE Journal of Control, Measurement, and System Integration, Vol. 5, No. 3, pp. 133-138 (2012) DOI:10.9746/jcmsi.5.133
  • Y. Kawano, and T. Ohtsuka: Observability at an Initial State for Polynomial Systems, Automatica, Vol. 49, No. 5, pp. 1126-1136 (2013) DOI:10.1016/j.automatica.2013.01.020
  • 大塚敏之, 河野佑: 代数幾何と可換環論を応用した非線形システムの解析, システム/制御/情報, Vol. 57, No. 6, pp.230-235 (2013) DOI:10.11509/isciesci.57.6_230
  • Y. Kawano, and T. Ohtsuka: Simple Sufficient Conditions for Reachability of Discrete-Time Polynomial Systems, IEEE Transactions on Automatic Control, Vol. 58, No. 12, pp. 3203-3206 (2013) DOI:10.1109/TAC.2013.2261184
  • T. Yuno, and T. Ohtsuka: A Sufficient Condition for the Stability of Discrete-Time Systems with State-Dependent Coefficient Matrices, IEEE Transactions on Automatic Control, Vol. 59, No. 1, pp. 243-248 (2014) DOI:10.1109/TAC.2013.2270318
  • T. Ohtsuka: A Recursive Elimination Method for Finite-Horizon Optimal Control Problems of Discrete-Time Rational Systems, IEEE Transactions on Automatic Control, Vol. 59, No. 11, pp. 3081-3086 (2014) DOI:10.1109/TAC.2014.2321231
  • T. Yuno, and T. Ohtsuka: Lie Derivative Inclusion with Polynomial Output Feedback, システム制御情報学会論文誌, Vol. 28, No. 1, pp. 22-31 (2015) DOI:10.5687/iscie.28.22
  • Y. Kawano, and T. Ohtsuka: Stability Criteria with Nonlinear Eigenvalues for Diagonalizable Nonlinear Systems, Systems & Control Letters, Vol. 86, pp. 41-47 (2015) DOI:10.1016/j.sysconle.2015.10.001
  • Y. Kawano, and T. Ohtsuka: PBH Tests for Nonlinear Systems, Automatica, Vol. 80, pp. 135-142 (2017) DOI:10.1016/j.automatica.2017.02.027
  • Y. Kawano, and T. Ohtsuka: Nonlinear Eigenvalue Approach to Differential Riccati Equations for Contraction Analysis, IEEE Transactions on Automatic Control, Vol. 62, No. 12, pp. 6497-6504 (2017) DOI:10.1109/TAC.2017.2655443