特許
J-GLOBAL ID：200903071179601087
制御系解析・設計装置および制御系解析・設計処理方法
発明者：
出願人/特許権者：
代理人 (1件)：
小笠原 吉義 (外2名)
公報種別：公開公報
出願番号（国際出願番号）：特願平10-130019
公開番号（公開出願番号）：特開平11-328239
出願日： 1998年05月13日
公開日（公表日）： 1999年11月30日
要約：
【要約】【課題】 LMIおよびBMIに基づく制御系解析・設計装置に関し,制御系の解析および構造設計等で重要となるLMIおよびBMIに定式化可能な問題について,パラメータ付きの場合および解集合が非凸の場合にも解を求めることができるようにすることを目的とする。【解決手段】与えられた問題を半正定値計画(SDP)問題または拡張半正定値計画(ESDP)問題として定式化し,LMIまたはBMIとして表現された制約を,不等式を論理和で繋げた形の制約に変形し,SDP/ESDP問題を一階述語論理式に変換し,限定記号消去(QE)法を利用することによって,数式処理により解析的に解を求める。
請求項（抜粋）：
線形行列不等式または双線形行列不等式として表現できる種々の設計仕様や制約を持つ制御系の解析・設計のための計算機システムであって,前記設計仕様や制約を線形行列不等式または双線形行列不等式として定式化した情報を保持する手段と,制御系を半正定値計画問題または拡張半正定値計画問題として定式化する初期設定手段と,前記線形行列不等式または双線形行列不等式として表現された制約を,不等式を論理和で繋げた形の制約に変形し,前記制御系を一階述語論理式に変換する数式処理手段と,前記一階述語論理式における限定記号の付いた変数を消去する限定記号消去処理手段と,前記限定記号の付いた変数を消去した式から前記制御系を解析する手段とを備えることを特徴とする制御系解析・設計装置。
IPC (2件)：
FI (3件)：
G06F 15/60 612 G
, G05B 13/02 K
, G05B 13/02 T
