限定記号消去法に基づくロバスト制御系設計ツール
スポンサーリンク
概要
- 論文の詳細を見る
For multi-objective design and robust control synthesis problems, several methods based on Quantifier Elimination (QE) have been proposed. QE based methods are really suitable for such problems but, in general, they have a drawback on computational complexity. In this paper, we propose an efficient symbolic method for parameter space approach based on sign definite condition (SDC) by a special quantifier elimination method using Sturm-Habicht sequence. Then we examine its feasibility, in particular, for multi-objective control using low degree fixedstructure controller by showing the several experimental results. Moreover, we provide our new MATLAB toolbox for robust parametric control design based on the QE-based method.
- 2006-03-15
著者
関連論文
- Mapleを使った制御系設計支援ツールの開発 (数式処理と教育)
- MATLABで作成したQEに基づく設計支援ツール (数式処理と教育 : 数学教育における数式処理システムの効果的利用に関する研究)
- QEに基づく発電機励磁制御系設計
- 数式処理を用いた制御系設計支援ツールの開発
- QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Algebraic approach to discrete-time polynomial spectral factorization
- 連続/離散ハイブリッドM凸関数に関する一考察
- 連続/離散ハイブリッド凸最適化とその最適性規準
- 数値・数式ハイブリッド手法に基づく高品質計算とその展開
- 計算実代数幾何入門(第5回)CADによるQE
- 計算実代数幾何入門(第4回)CADアルゴリズム(後半)
- 計算実代数幾何入門(第3回)CADアルゴリズム(前半)
- 最適化問題を効率的に解くための special CAD
- 計算実代数幾何入門(第2回)QEによる最適化とその応用
- 計算実代数幾何入門(第1回)CADとQEの概要
- Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Radical Representation of Polynomial Roots
- 論文特集「通信と制御」 : サイバネティックス誕生から半世紀を経て
- 制御の原理と先端科学技術 : ミニ特集を企画して
- 「超ロバスト計算原理とモデリング・シミュレーション」特集号に寄せて
- 3次元モデルの自動分解手法(魅惑の形状処理, 魅惑のCG応用およびCG一般)
- 2A1-J06 相補性モデリングに基づく跳躍ロボットシステムの最適制御
- 数式処理を用いた設計技術 (特集 研究開発最前線)
- 数値数式CADの実装
- 項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)
- Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 制御における精度保証付き数値計算の重要性
- 数値数式QE/CADの実装
- IMACS-ACA'98 in Prague
- 薬物動態解析における代数的手法の適用
- Parameter determination of a compartmental model for Parkinson's disease by algebraic approach (第20回 回路とシステム軽井沢ワークショップ論文集) -- (生命体システムと非線形ダイナミクス)
- 代数的算法を用いた, 多細胞における複数細胞タイプの共存条件式の導出
- On relationship between proliferation and transition raets of multicells(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 1P304 多細胞生物における細胞タイプの多様性条件(数理生物学))
- 1入出力線形無駄時間系のH_2制御性能限界
- 制御におけるモデル・モデリングの新たな展開
- SICE Anytime Everywhere の実現に向けて
- アファイン拘束を受ける非ホロノミック運動学システムに対する非線形制御論的解析
- 階層化合意形成における階層間接続行列のランク特性と収束性能
- 会長就任にあたって : SICE Anytime Everywhere : いつでもどこでもSICE
- 循環的追跡法に基づく協調捕獲行動のためのフォーメーション制御
- 有限周波数位相・ゲイン特性に基づく離散時間制御対象の制御しやすさの特徴づけ
- 離散時間H_2最適制御問題に対する精度保証付き計算
- 有限周波数位相・ゲイン特性に着目した連続時間制御対象の制御しやすさの特徴づけ
- H_2最適追従制御設計問題の精度保証付き計算アルゴリズム
- 一般化KYP補題に基づくPID制御器の設計(PID制御のパラメータチューニング)
- 一般化KYP補題に基づくPID制御器の設計
- 1入力多出力線形離散時間系のH_2制御性能限界
- 数式処理を用いた多項式のロバスト根配置とその制御系設計への応用(ロバスト計算と精度保証)
- 第1回横幹連合コンファレンスを開催報告
- 一般化KYP補題に基づく制御系設計ツール
- 三斜内容三圓術(Malfattiの問題)の数式処理 : 有理関数体上のタワーの構成(数式処理における理論とその応用の研究)
- 三叉ヘビ型移動ロボットの運動解析と制御
- 限定記号消去法に基づくロバスト制御系設計ツール
- 数式処理によるロバスト制御系設計
- $A_5$をGalois群に持つ6次式の族 : 分解体とGalois群の計算(数式処理における理論とその応用の研究)
- 3P270 抽象原始多細胞系における代数方程式を用いた最大多様性パターンの解析(バイオイメージング、生命の起源・進化,口頭発表,第45回日本生物物理学会年会)
- コンパートメントモデルにおける薬物動態の代数方程式を用いた解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 5 数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォーム : ものづくりを支える新しいシミュレーション技術を目指して(次世代統合シミュレーション技術)
- 数式処理を用いたアナログ回路解析・設計
- 計算機代数に基づく生物学 : Algebraic Biology(バイオインフォマティクスと人工知能の新たなインタラクション)
- Symbolic-Numeric Optimization for Estimation of Parameters in a Biological Kinetic Model(Computer Algebra : Design of Algorithms, Implementations and Applications)
- Symbolic-Numeric Optimization for Kinetic Models : An application to bioinformatics field (Computer Algebra : Design of Algorithms, Implementations and Applications)
- CADにおけるi-projection operator導入によるQEの効率化 (第19回日本数式処理学会大会報告)
- ちょっと立ち止まって
- Proving and Solving Semi-definite Programming over Reals (Computer Algebra : Algorithms, Implementations and Applications)
- A Parameter Space Approach for Fixed-order robust controller synthesis by symbolic computation (Computer Algebra : Algorithms, Implementations and Applications)
- ISSAC2000参加報告
- Deciding Linear-Trigonometric Problems (Theory and Application in Computer Algebra)
- Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)
- 新しい数式処理アルゴリズムQEを用いたロバスト制御系設計
- Symbolic Analysis of Discrete-Time Polynomial Systems (Theory and Application in Computer Algebra)
- 線形ハイブリッドシステムの可到達性について
- 制御とシステムインテグレーション
- 有限周波数KYP補題とその動的システム設計への応用
- AP-1-3 信号処理への代数幾何的アプローチ(AP-1.信号処理工学の多様性と数理的体系化への挑戦,パネルセッション,ソサイエティ企画)
- 数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
- 計測自動制御学会の制御理論発展への貢献
- CADにおける i-projection operator 導入によるQEの効率化
- 時間モデルを用いた並列性能予測の誤差を検討する一方法
- パラメトリック多項式最適化問題専用 Cylindrical Algebraic Decomposition と動的計画法への適用(数式処理 : その研究と目指すもの)
- 学術講演会から Annual Conference へ : 国際化への歩み
- SDP とQE を用いた非線形システムのゲイン解析 (数式処理 : その研究と目指すもの)
- SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation(Conference Reports)
- 最適化問題に対するCADの効率的な手法 (第20回日本数式処理学会大会報告)
- Quantifier Elimination : アルゴリズム・実装・応用
- Risa/Asir上のQuantifier Elimination Packageとその応用
- 符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 自然言語処理と計算代数の接合による数学問題へのアプローチ(ロボットは東大に入れるか?)
- 最適化問題に対するCADの効率的な手法
- 1-D-2 ピーク電力削減のためのノートPCのバッテリー充放電計画の最適化(節電)
- 2-C-11 オークションメカニズムの多項式表現と限量記号消去法を用いたメカニズム設計の自動化(連続最適化(2))
- 代数的制御理論における Coprime Factorization への Risa/Asir の応用
- Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
- ノートPCバッテリを活用したピーク電力削減のための充放電統合制御システム
- 自然言語処理と計算代数の接合による数学問題へのアプローチ