Art
J-GLOBAL ID：201802252191773999
Reference number：18A0946236
A Design Method of Control Systems Using Quantifier Elimination in Symbolic Processing Software
数式処理ソフトウェアの限定子除去法を用いた制御系の設計
Author (5)：
,
,
,
,
Material：
Issue：
CT-18-005-043.045-046 制御研究会
Page：
41-44
Publication year：
Jan. 06, 2018
JST Material Number：
Z0924B
Document type：
Proceedings
Article type：
原著論文
Country of issue：
Japan (JPN)
Language：
JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
,
,
,
,
,
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
JST classification (1)：
JST classification
Category name(code) classified by JST.
System design and analysis
Reference (22)：
-
大松,山本:セルフチューニングコントロール,計測自動制御学会,(1996)
-
Maciejowski,J.M.:モデル予測制御,制約のもとでの最適制御,東京電機大学出版局(2005)
-
菅野:数式処理を用いたパラメータを有する線形制御系の解析,システム/制御/情報,55巻,5号,189/195(2011)
-
藤本:数式処理を用いた非線形制御系の解析・設計,システム/制御/情報,55巻,5号,196/203(2011)
-
穴井,原:数式処理によるロバスト制御系設計,計測と制御,44巻,5号,552/557(2005)
ｍore...
Terms in the title (6)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
,
,
Return to Previous Page
