新しい数式処理アルゴリズムQEを用いたロバスト制御系設計

スポンサーリンク

概要

• 論文の詳細を見る
• システム制御情報学会の論文
• 2000-06-15

著者

• 穴井 宏和

  株式会社富士通研究所

• 穴井 宏和

  (株)富士通研究所

• 原 辰次

  東京工業大学 大学院 情報理工学研究科

• 穴井 宏和

  富士通情報研究所

関連論文

• Mapleを使った制御系設計支援ツールの開発 (数式処理と教育)
• MATLABで作成したQEに基づく設計支援ツール (数式処理と教育 : 数学教育における数式処理システムの効果的利用に関する研究)
• QEに基づく発電機励磁制御系設計
• 数式処理を用いた制御系設計支援ツールの開発
• QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• Algebraic approach to discrete-time polynomial spectral factorization
• 二次最小化問題の超複素数への非凸緩和 - 性質とそれに基づく探索アルゴリズム
• 確率的分枝限定法によるBMI最適化問題の求解
• 探索空間拡張による二次形式の 0 - 1最適化
• 数値・数式ハイブリッド手法に基づく高品質計算とその展開
• 計算実代数幾何入門(第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一般)
• Network Enabled ServerのWorld-wide Gridにおける性能
• 設計支援システムにおける並列プログラミングのためのマクロデータフローモデル(シミュレーションにおける性能・品質)
• 数式処理を用いた設計技術 (特集 研究開発最前線)
• 数値数式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)
• 行列積固有値問題(MPEP)大域最適化の計算量解析
• 定数スケールドH_∞制御大域最適化問題の計算複雑度解析-ブロック対角ケース-
• 定数スケーリングH_∞制御に基づくロバスト制御系設計
• 制御における精度保証付き数値計算の重要性
• 数値数式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 多細胞生物における細胞タイプの多様性条件(数理生物学))
• H^∽制御によるXYステージの位置決め制御
• Model分散型MVCを用いた部品組合せによるアプリケーションの構築
• 数式処理を用いた多項式のロバスト根配置とその制御系設計への応用(ロバスト計算と精度保証)
• 三斜内容三圓術(Malfattiの問題)の数式処理 : 有理関数体上のタワーの構成(数式処理における理論とその応用の研究)
• ロバスト制御のためのベンチマ-ク問題(II)-位置制御系の設計例-
• ロバスト制御のためのベンチマーク問題(I) -3慣性系に対する位置制御・速度制御-
• 厳密な線形化を用いた空気圧アクチュエータ駆動系の制御
• 限定記号消去法に基づくロバスト制御系設計ツール
• 数式処理によるロバスト制御系設計
• $A_5$をGalois群に持つ6次式の族 : 分解体とGalois群の計算(数式処理における理論とその応用の研究)
• DVDFBとH_∞制御を併用した柔軟構造物のロバスト制御
• マイナフィードバックを併用したH^∞制御とその圧力制御系への応用
• 3P270 抽象原始多細胞系における代数方程式を用いた最大多様性パターンの解析(バイオイメージング、生命の起源・進化,口頭発表,第45回日本生物物理学会年会)
• コンパートメントモデルにおける薬物動態の代数方程式を用いた解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 半正定値計画法(SDP) : 非凸最適化に基づく制御系設計
• 半正定値計画法(SDP) : LMIに基づく制御系設計
• 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)
• サンプル値制御理論-VI : ディジタル信号処理への応用
• MVCモデルに基づく分散システム開発支援ツール
• 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)
• 線形ハイブリッドシステムの可到達性について
• パラメータ推定誤差を考慮したゲインスケジューリングコントローラの設計
• サンプル値制御理論-V : 実システムへの応用と数値計算法
• サンプル値制御理論-IV : 最適制御問題の一般化
• サンプル値制御理論-III : 最適制御問題とその解法
• AP-1-3 信号処理への代数幾何的アプローチ(AP-1.信号処理工学の多様性と数理的体系化への挑戦,パネルセッション,ソサイエティ企画)
• 数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
• CADにおける i-projection operator 導入によるQEの効率化
• 時間モデルを用いた並列性能予測の誤差を検討する一方法
• パラメトリック多項式最適化問題専用 Cylindrical Algebraic Decomposition と動的計画法への適用(数式処理 : その研究と目指すもの)
• 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バッテリを活用したピーク電力削減のための充放電統合制御システム
• 自然言語処理と計算代数の接合による数学問題へのアプローチ

もっと見る 閉じる

スポンサーリンク