数式処理ソフトウェアの限定子除去法を用いた制御系の設計

カテゴリ: 研究会(論文単位)

論文No: CT18014

グループ名: 【C】電子・情報・システム部門 制御研究会

発行日: 2018/01/06

タイトル(英語): A Design Method of Control Systems Using Quantifier Elimination in Symbolic Processing Software

著者名: 井上 昭(岡山大学),逸見 知弘(香川高等専門学校),吉永 慎一(香川高等専門学校),矢納 陽(川崎医療福祉大学),鄧 明聡(東京農工大学)

著者名(英語): Akira Inoue(Okayama University),Tomohiro Henmi(National Institute of Technolog, Kagawa College),Shin-ichi Yoshinaga(National Institute of Technolog, Kagawa College),Akira Yanou(Kawasaki University of Medical Welfare),Mingcong Deng(Tokyo University of Agriculture and Technology)

キーワード: モデル予測制御|評価関数重み係数|閉ループ系の極|拡張制御則の極|数式処理ソフトウェア|限定子除去法|Model predictive control|weighting factor of control input in performance index|closed-loop poles|poles of extended controller|symbolic processing software|quantifier elimination

要約(日本語): モデル予測制御系では、評価関数の制御入力項に対する重み係数によって閉ループ系の極が決定される。本研究では、閉ループ系の極が実数であるための重み係数に対する条件を、数式処理ソフトウェアであるMathematicaの限定子除去法（Quantifier Elimination, QE）を用いて求める。

要約(英語): This paper proposes a method to design weighting factor of control inputs in performance index of model predictive controllers. The weighting factor decides the closed-loop poles of predictive controllers and the factor is determined for the poles to be real by using Quantifier Elimination in symbolic processing software.

原稿種別: 日本語

PDFファイルサイズ: 441 Kバイト