リヤプノフ関数の自動生成と安定領域の推定
スポンサーリンク
概要
- 論文の詳細を見る
リヤプノフの方法は,安定性を解析するにあたって最も有力な手段の一つであるが,実用的な意味で一般的なシステムに対して有効な構成方法が知られていない.本論文では,その「等高面」が多面体によって与えられるリヤプノフ関数について述べる.このリヤプノフ関数は,他の方法に比べてあらかじめ関数の形やそれに含まれるパラメータの数などを指定する必要がなく,計算機による自動生成に向いていること,リヤプノフ関数の修正は,多面体の修正を行うことであるので,リヤプノフ関数を局所的に修正することが比較的容易であり,安定領域の推定の改良などが容易であることなどの特長を有している.本論文では,まず,リヤプノフ関数の自動生成の基礎となる安定定理の改良を行っている.そのために,非線形関数を二つの線形関数で挟み込むことによって評価するいわゆるセクタ条件の概念を,非線形関数を区分的線形関数の凸結合で評価するように一般化し,それを用いたより改良された安定定理を導いている.次に,それに基づいた生成アルゴリズムを提案し,適用例を示している.
- 社団法人電子情報通信学会の論文
- 1993-09-25
著者
-
太田 有三
神戸大学
-
太田 有三
神戸大学工学部
-
羽根田 博正
神戸大学工学部
-
今西 浩
神戸大学工学部電気電子工学科(松下電器産業株式会社)
-
羽根田 博正
神戸大学
-
野々村 剛
神戸大学工学部電気電子工学科(神戸製鋼株式会社)
関連論文
- 年頭のご挨拶
- 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 第53期会長に就任して
- 第49回自動制御連合講演会を開催して(学会活動紹介)
- 座談会 : 産と学を繋ぐ学会の役割(アイサイ50年とシステム・制御・情報)
- 第3回制御部門大会
- 区分的線形リヤプノフ関数の構成とその高速算法
- PIA : パラメトリックアプローチのためのツールボックス
- 1入出力q-Markov COVERの解集合のパラメータによる陽な表示
- 不確かさを含む制御系の解析・設計のための値集合の高精度な推定法 (精度保証付き数値計算法とその周辺)
- フィードフォワード項をもつロバスト安定サーボ系の設計について
- LMIを用いた非線形積分型ロバストサーボ系の設計
- 複素平面における区間演算
- 複数のロバスト仕様をみたすPID制御器の設計
- 多角形区間演算を用いたロバスト制御系の解析と設計
- ロボットの動的制御における計算の並列化問題に対する最適化および準最適化アルゴリズム
- 非凸多角形区間演算とそのインプリメント
- 最適化コンパイラによるロボット制御プログラムの開発
- ある種のマルチDSPシステムにおける多目的最適化問題に対する分枝限定法の適用
- 多入出力ルーリエ系のパラトメック絶対安定性
- 多入出力カルーリエ系のパラメトリック絶対安定性 -線形行列不等式条件とポリトープ型システムへの適用-
- 可変近傍探索法による三電極SAWフィルタの最適化設計
- アフォーダンス理論に基づく知能ロボットの創発 : 身体の形状と環境
- 手先コンプライアンスを考慮した冗長アームの最適姿勢問題とその区間解析による解法
- 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
- 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
- 高速区間二分法による非線形方程式の全解探索とロボットアームの逆運動学問題への適用
- GKSを用いたマルチスクリーン・マルチウィンドウグラフィックスシステム
- パーソナルコンピュータを利用した電気回路解析用CADグラフィックスシステム
- 大学の国際化とメディア利用の展望 : 大学・機関における国際学術・教育交流活動の実態および関心調査から
- 遺伝的アルゴリズムとアフォーダンスを用いた知能ロボットの創発
- 有限状態機械に対する形式的検証
- 距離に基づく遺伝アルゴリズムの構築法 -表現型の距離と調和交叉法-
- 巡回セールスマン問題に対する遺伝的アルゴリズムの構成法 : 表現型の距離と調和交叉法
- 正則表現論理シミュレ-ション手法に基づく非同期順序回路の検証
- 凸多面体リヤプノフ関数を用いた複合系の安定解析II
- 動的凸包算法の高速化
- 凸多面体リヤプノフ関数を用いた複合系の安定解析
- 非線形制御系のパラメトリック絶対安定性
- 凸多面体 Lyapunov 関数の不連続系への応用について
- ルーリエ系のパラメトリック絶対安定性
- 二分決定グラフの並列構成アルゴリズムについて(理論計算機科学とその周辺)
- ロボットの逆動力学計算に対する最適化システム
- ロボット制御則の並列化問題に対する遺伝アルゴリズムの適用
- ロボット制御則の並列化問題に対する重み付きエッジ交叉法
- 多角形区間演算を用いたゲイン余裕の算出
- ある種のマルチDSPシステムのスケジューリング問題に対する最適化アルゴリズム
- ロボットの動的制御における計算の並列化アルゴリズムとオブジェクト指向による実現
- SA-1-8 多角形区間演算を用いたロバスト制御系の解析・設計(SA-1. 区間演算の工学的応用,シンポジウム)
- IECON'93 (International Conference on Industrial Electronics, Control and instrumentation) に出席して
- 凸多面体Lyapunov関数と動的凸包算法
- 多角形区間演算のロバスト根軌跡法への適用
- リヤプノフ関数の自動生成と安定領域の推定
- ハイブリッドシミュレータを用いたδ差分実現によるEMM制御系の評価
- 多角形区間演算の改良と不確かさを含む伝達関数の値集合の推定 (電気関連学会関西支部連合大会)
- 多角形区間演算を用いた不確かさをもつむだ時間制御系の安定度の解析 (ロバスト制御と適応制御--不確かさをもつ対象の制御)
- 非線形周期解の存在と安定性について
- 遺伝アルゴリズムを枠組としたメタ戦略の構築法-グラフ彩色問題を実例として-
- 操作力を考慮した人工腕の最適姿勢問題と区間解析による大域的最適化
- ロボット制御則の並列処理におけるタスクの自動生成手法 -数式の代数的変換による並列化-
- デフォルト規則を含む拡張論理プログラムの学習
- 非共有記憶型並列計算機上での二分決定グラフの並列化とその応用
- SATソルバと後ろ向き推論によるアクション言語Αの実装
- 随伴回路を用いたサイリスタ回路の定常解析と汎用定常解析プログラムANASPについて
- 正則表現論理シミュレータの実現について
- 平成2年産業応用部門全国大会
- アクション言語Aにおける行動規則の学習
- 非決定性アクション言語NA上のプランニング手続き
- 投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
- ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
- 補題の利用による効率的なSOL導出の実現
- SATソルバによるアクション言語処理系の実装
- SATソルバによるアクション言語処理系の実装
- 有限オートマトンに基づく非決定性アクション言語
- マルチDSPシステムによるスループット時間が最短であるディジタル制御器の実現
- 非線形等価電気回路による直流法潮流計算と潮流最適化
- 論理回路シミュレータの入出力インタフェースについて
- 拡張した記述関数法によるサイリスタ回路の解析
- タブロ-法によるサイリスタ回路のディジタルシミュレ-ション
- ニュ-トン法によるサイリスタ回路の定常周期解の解析
- 拡張論理プログラム学習へのトップダウン手続きの組込み
- Java言語によるアクション言語処理系の実装
- アクション言語Aにおける因果関係の学習
- 新仮説の発見を含むアブダクティブ理論プログラムの学習
- アクション言語における非決定性アクションの表現と推論に関する考察
- 共有記憶型並列計算機上での共有二分決定グラフの並列化について
- ゲートレベル論理回路の閉路の切断について
- 系列集合と時間の階層の関係について(計算アルゴリズムと計算量の基礎理論)
- 論理回路における閉路の切断について(計算アルゴリズムの基礎理論)
- 外部フィードバックを併用したリファレンスガバナを用いたハードディスクのシーク制御
- タイミング検証に適した系列集合論理シミュレータについて
- タブロ-法を用いたブロック線図系のシミュレ-ションと感度解析によるパラメ-タ最適化
- タブロ-法について
- Local Theorems on the Convergence of Equilibrium Solution Methods Based on Componentwise Inequalities
- 領域の演算上に関する性質と線形系の軌道誤差の評価法に関する考察
- A Note on the Convergence of Steepent-Gradient Algorithm for Piecewise-Quadratic Functionals
- μ-functional on Bounded Linear Operators
- Model Following Control for Systems with High-Frequency Resonant Terms and Unstable Zeros
- 最大出力許容集合の内側近似を用いた拘束系の制御