文献
J-GLOBAL ID:201802252191773999   整理番号:18A0946236

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

A Design Method of Control Systems Using Quantifier Elimination in Symbolic Processing Software
著者 (5件):
資料名:
号: CT-18-005-043.045-046 制御研究会  ページ: 41-44  発行年: 2018年01月06日 
JST資料番号: Z0924B  資料種別: 会議録 (C)
記事区分: 原著論文  発行国: 日本 (JPN)  言語: 日本語 (JA)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
システム設計・解析 
引用文献 (22件):
  • 大松,山本:セルフチューニングコントロール,計測自動制御学会,(1996)
  • Maciejowski,J.M.:モデル予測制御,制約のもとでの最適制御,東京電機大学出版局(2005)
  • 菅野:数式処理を用いたパラメータを有する線形制御系の解析,システム/制御/情報,55巻,5号,189/195(2011)
  • 藤本:数式処理を用いた非線形制御系の解析・設計,システム/制御/情報,55巻,5号,196/203(2011)
  • 穴井,原:数式処理によるロバスト制御系設計,計測と制御,44巻,5号,552/557(2005)
もっと見る

前のページに戻る