文献

J-GLOBAL ID：201602206051977029   整理番号：16A0393038

時相論理式の反証を用いた制御器のチューニング

Controller Tuning with Falsification of Temporal Logic Formulae

著者 (3件)： 峰尾太陽 (東京工大 大学院情報理工学研究科) ,  石井大輔 (福井大) ,  渡部卓雄 (東京工大 大学院情報理工学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 115  号： 480(MSS2015 67-87)  ページ： 61-66  発行年： 2016年02月25日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 時間及び空間上で連続的に動作するシステムは,離散状態空間を持つシステムとは異なり状態の網羅的な検査が一般に困難である。そこで近年,広範な連続システムに対する検査を実施するための時相論理式の反証手法が注目されつつある。この反証手法は,連続システムの数値シミュレーションと統計的最適化により,時相論理式を満たさない動作(反例)を効率良く求める事ができる。本研究では,制御器を含む連続システムを対象に,制御仕様を簡潔に記述し,仕様の定量的評価に基づいて制御器のパラメタを自動設定する事を目的とする。その為,制御仕様を時相論理式で記述し,パラメタに関する最適化問題の定式化を行い,この問題を統計的手法によって効率的に解くアルゴリズムを提案する。これにより,様々な制御の仕様を記述することで,一般の制御器を含む系に対して定量的評価基準による効率的なパラメタ最適化が可能になる。典型的な物理系に含まれるPID制御器のパラメタを設定する比較実験において,提案手法は限界感度法によるパラメタ設定よりも定量的に有効なパラメタを与える事を確かめた。(著者抄録)

シソーラス用語： *連続系 ,  *時間論理 ,  *方法論 ,  フィードバック制御 ,  制御装置 ,  最適化 ,  統計的方法 ,  監視
準シソーラス用語： PID制御 ,  パラメータ最適化 ,  *時相論理 ,  制御器 ,  統計的手法 ,  *反証手法 ,  *連続システム

分類 (4件)： 計算理論  (JB02000A) ,  論理代数  (JB03000H) ,  統計学  (AB08000H) ,  プロセス制御  (IC03040B)

タイトルに関連する用語 (3件)： 時相論理 ,  制御器 ,  チューニング