• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Commutative Algebraic Algorithms for Analysis and Control of Nonlinear Systems

Research Project

Project/Area Number 24656263
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Control engineering
Research InstitutionKyoto University (2013-2014)
Osaka University (2012)

Principal Investigator

OHTSUKA Toshiyuki  京都大学, 情報学研究科, 教授 (40272174)

Project Period (FY) 2012-04-01 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Keywords非線形システム / 制御理論 / 可換環論 / 代数幾何 / システム解析 / 最適制御
Outline of Final Research Achievements

Theory of analysis and control for nonlinear systems has been developed by applying commutative algebra and algebraic geometry mainly to discrete-time polynomial systems and rational systems. New sufficient conditions have been obtained for reachability and stability, and new solution methods have been obtained for finite-horizon optimal control problems. The implicit function representation of an optimal state feedback control is derived by recursive elimination of variables in the stationary conditions for an optimal control problem. Moreover, new results have also been obtained about algebraic construction of canonical forms and feedback controllers of nonlinear systems. In particular, a complete parameterization of static output feedback controllers has been obtained for a model matching problem. These results are expected to open new directions of research in nonlinear control theory.

Report

(4 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Research-status Report
  • 2012 Research-status Report
  • Research Products

    (35 results)

All 2015 2014 2013 2012 Other

All Journal Article (18 results) (of which Peer Reviewed: 17 results,  Open Access: 2 results,  Acknowledgement Compliant: 5 results) Presentation (17 results) (of which Invited: 4 results)

  • [Journal Article] Lie Derivative Inclusion with Polynomial Output Feedback2015

    • Author(s)
      Tsuyoshi Yuno and Toshiyuki Ohtsuka
    • Journal Title

      Transactions of the Institute of Systems, Control and Information Engineers

      Volume: 28 Issue: 1 Pages: 22-31

    • DOI

      10.5687/iscie.28.22

    • NAID

      130005065386

    • ISSN
      1342-5668, 2185-811X
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] A Recursive Substitution Method for a Class of Nonlinear Optimal Control Problems2015

    • Author(s)
      Ohtsuka, T.
    • Journal Title

      SICE Journal of Control, Measurement, and System Integration

      Volume: 印刷中

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Sufficient Condition for Global Observability Decomposition of Polynomial Systems2015

    • Author(s)
      Kawano, Y., and Ohtsuka, T.
    • Journal Title

      SICE Journal of Control, Measurement, and System Integration

      Volume: 印刷中

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Algebraic Function Solutions to Infinite-horizon Nonlinear Discrete-time Optimal Control Problems2014

    • Author(s)
      河野佑, 大塚敏之
    • Journal Title

      Transactions of the Society of Instrument and Control Engineers

      Volume: 50 Issue: 7 Pages: 556-558

    • DOI

      10.9746/sicetr.50.556

    • NAID

      130004679644

    • ISSN
      0453-4654, 1883-8189
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Recursive Elimination Method for Finite-Horizon Optimal Control Problems of Discrete-Time Rational Systems2014

    • Author(s)
      Ohtsuka, T.
    • Journal Title

      IEEE Transactions on Automatic Control

      Volume: 59 Issue: 11 Pages: 3081-3086

    • DOI

      10.1109/tac.2014.2321231

    • NAID

      120005512242

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Realization of a Vector Field via State Feedback for Polynomial Dynamical Systems2014

    • Author(s)
      Tsuyoshi Yuno, and Toshiyuki Ohtsuka
    • Journal Title

      Proceedings of the 13th European Control Conference

      Volume: - Pages: 2456-2459

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Realization of a Nonlinear System in the Feedforward Form: A Polynomial Approach2014

    • Author(s)
      Miroslav Halas, Yu Kawano, Claude H. Moog, and Toshiyuki Ohtsuka
    • Journal Title

      Reprints of the 19th IFAC World Congress

      Volume: - Pages: 9480-9485

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Sufficient Condition for the Stability of Discrete-Time Systems with State-Dependent Coefficient Matrices2014

    • Author(s)
      Yuno, T., and Ohtsuka, T.
    • Journal Title

      IEEE Transactions on Automatic Control

      Volume: 59 Issue: 1 Pages: 243-248

    • DOI

      10.1109/tac.2013.2270318

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Observability at an initial state for polynomial systems2013

    • Author(s)
      Y. Kawano, T. Ohtsuka
    • Journal Title

      Automatica

      Volume: 49 Issue: 5 Pages: 1126-1136

    • DOI

      10.1016/j.automatica.2013.01.020

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Algebraic Properties of Transfer Function Matrices for Meromorphic Nonlinear Time-Varying Systems2013

    • Author(s)
      河野, 大塚
    • Journal Title

      Transactions of the Institute of Systems, Control and Information Engineers

      Volume: 26 Issue: 6 Pages: 185-192

    • DOI

      10.5687/iscie.26.185

    • NAID

      130003377978

    • ISSN
      1342-5668, 2185-811X
    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] 代数幾何と可換環論を応用した非線形システムの解析2013

    • Author(s)
      大塚敏之, 河野佑
    • Journal Title

      システム/制御/情報

      Volume: 57 Pages: 230-235

    • Related Report
      2013 Research-status Report
  • [Journal Article] Sufficiency of a Necessary Condition for Local Observability of Discrete-Time Polynomial Systems2013

    • Author(s)
      Yu Kawano, and Toshiyuki Ohtsuka
    • Journal Title

      Proceedings of the 2013 European Control Conference

      Volume: - Pages: 1722-1727

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Observability Analysis of Nonlinear Systems Using Pseudo-Linear Transformation2013

    • Author(s)
      Yu Kawano, and Toshiyuki Ohtsuka
    • Journal Title

      Proceedings of the 8th IFAC Symposium on Nonlinear Control Systems

      Volume: - Pages: 606-611

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Simple suffcient condition for reachability of discrete-time polynomial systems2013

    • Author(s)
      Y. Kawano, T. Ohtsuka
    • Journal Title

      IEEE Transactions on Automatic Control

      Volume: 58 Issue: 12 Pages: 3203-3206

    • DOI

      10.1109/tac.2013.2261184

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Algebraic Solutions to the Hamilton-Jacobi Equation with the Time-Varying Hamiltonian2013

    • Author(s)
      Kawano, Y., and Ohtsuka, T.
    • Journal Title

      SICE Journal of Control, Measurement, and System Integration

      Volume: 6 Issue: 1 Pages: 28-37

    • DOI

      10.9746/jcmsi.6.28

    • NAID

      10031140162

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Input-Output Linearization for Transfer Functions of Input-Affine Meromorphic Systems2012

    • Author(s)
      Kawano, Y., and Ohtsuka, T.
    • Journal Title

      SICE Journal of Control, Measurement, and System Integration

      Volume: 5 Issue: 3 Pages: 133-138

    • DOI

      10.9746/jcmsi.5.133

    • NAID

      10031140126

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Necessary Condition for Local Observability of Discrete-Time Polynomial Systems2012

    • Author(s)
      Kawano, Y., and Ohtsuka, T.
    • Journal Title

      Proceedings of the 2012 American Control Conference

      Volume: - Pages: 6757-6762

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Recursive Elimination Method for Optimal Control of Discete-Time Polynomial Systems2012

    • Author(s)
      Ohtsuka, T.
    • Journal Title

      Preprints of 4th IFAC Nonlinear Model Predictive Control Conference

      Volume: - Pages: 317-322

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Presentation] 非線形最適制御問題の代数的解法2015

    • Author(s)
      大塚敏之
    • Organizer
      第2回計測自動制御学会制御部門マルチシンポジウム 木村賞受賞記念講演
    • Place of Presentation
      東京電機大学,東京都足立区
    • Year and Date
      2015-03-07
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 非線形固有ベクトルの可到達性・可観測性解析への応用2015

    • Author(s)
      河野佑, 大塚敏之
    • Organizer
      第2回計測自動制御学会制御部門マルチシンポジウム
    • Place of Presentation
      東京電機大学,東京都足立区
    • Year and Date
      2015-03-05
    • Related Report
      2014 Annual Research Report
  • [Presentation] Mathematical Tools in Systems and Control Theory2014

    • Author(s)
      T. Ohtsuka
    • Organizer
      Kobe Computing Week Workshop, The 39th International Symposium on Symbolic and Algebraic Computation
    • Place of Presentation
      神戸大学,兵庫県神戸市
    • Year and Date
      2014-07-21
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 非線形システムの伝達関数表現に対する代数的アプローチ2014

    • Author(s)
      大塚敏之
    • Organizer
      第58回システム制御情報学会研究発表講演会 チュートリアル講演
    • Place of Presentation
      京都テルサ,京都府京都市
    • Year and Date
      2014-05-23
    • Related Report
      2014 Annual Research Report
    • Invited
  • [Presentation] 離散時間多項式システムの可到達性:多項式写像の性質を用いた解析

    • Author(s)
      河野佑, 大塚敏之
    • Organizer
      第57回システム制御情報学会研究発表講演会
    • Place of Presentation
      神戸
    • Related Report
      2013 Research-status Report
  • [Presentation] 固有値を用いた非線形システムの可観測性解析

    • Author(s)
      河野佑, 大塚敏之
    • Organizer
      第56回自動制御連合講演会
    • Place of Presentation
      新潟
    • Related Report
      2013 Research-status Report
  • [Presentation] 非線形左固有値を用いた可到達性の判別条件

    • Author(s)
      河野佑, 大塚敏之
    • Organizer
      第1回計測自動制御学会制御部門マルチシンポジウム
    • Place of Presentation
      東京
    • Related Report
      2013 Research-status Report
  • [Presentation] 多項式システムにおけるLie微分包含式の解法と応用

    • Author(s)
      湯野剛史, 大塚敏之
    • Organizer
      第1回計測自動制御学会制御部門マルチシンポジウム
    • Place of Presentation
      東京
    • Related Report
      2013 Research-status Report
  • [Presentation] 非線形時変システムの伝達関数:定義と代数的性質

    • Author(s)
      河野佑
    • Organizer
      第56回システム制御情報学会研究発表講演会
    • Place of Presentation
      京都
    • Related Report
      2012 Research-status Report
  • [Presentation] 再帰的変数消去による離散時間非線形最適制御問題の解法

    • Author(s)
      大塚敏之
    • Organizer
      第41回計測自動制御学会制御理論シンポジウム
    • Place of Presentation
      葉山
    • Related Report
      2012 Research-status Report
  • [Presentation] 状態依存の係数行列を持つ離散時間システムの安定性

    • Author(s)
      湯野剛史
    • Organizer
      第41回計測自動制御学会制御理論シンポジウム
    • Place of Presentation
      葉山
    • Related Report
      2012 Research-status Report
  • [Presentation] 連続時間多項式システムの初期状態1点での局所可観測性

    • Author(s)
      大塚敏之
    • Organizer
      第55回自動制御連合講演会
    • Place of Presentation
      京都
    • Related Report
      2012 Research-status Report
  • [Presentation] 三角化可能な状態依存係数行列を持つ離散時間システムの安定性

    • Author(s)
      湯野剛史
    • Organizer
      第55回自動制御連合講演会
    • Place of Presentation
      京都
    • Related Report
      2012 Research-status Report
  • [Presentation] 状態フィードバックによる多項式システムのモデルマッチング

    • Author(s)
      湯野剛史
    • Organizer
      計測自動制御学会第13回制御部門大会
    • Place of Presentation
      福岡
    • Related Report
      2012 Research-status Report
  • [Presentation] エネルギ函数を用いた多項式システムの状態フィードバック制御

    • Author(s)
      湯野剛史
    • Organizer
      計測自動制御学会第13回制御部門大会
    • Place of Presentation
      福岡
    • Related Report
      2012 Research-status Report
  • [Presentation] 離散時間多項式システムの局所可観測性

    • Author(s)
      河野佑
    • Organizer
      計測自動制御学会第13回制御部門大会
    • Place of Presentation
      福岡
    • Related Report
      2012 Research-status Report
  • [Presentation] 代数的手法による非線形システムの解析・制御 ― 制御理論から数学への期待 ―

    • Author(s)
      大塚敏之
    • Organizer
      計測自動制御学会第13回制御部門大会
    • Place of Presentation
      福岡
    • Related Report
      2012 Research-status Report
    • Invited

URL: 

Published: 2013-05-31   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi