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

峰尾太陽; 石井大輔; 渡部卓雄

論文・著書情報

タイトル

和文:	時相論理式の反証を用いた制御器のチューニング
英文:	Temporal Logic Falisification for Controller Parameter Tuning

著者

和文:	峰尾太陽, 石井大輔, 渡部卓雄.
英文:	Taiyo Mineo, Daisuke Ishii, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:	信学技報
英文:	IEICE technical report

巻, 号, ページ

Vol. 115 No. 480 pp. 61-66

出版年月

2016年3月3日

出版者

和文:
英文:

会議名称

和文:	電子情報通信学会システム数理と応用研究会
英文:	Technical Committee on Mathematical Systems Science and its applications Mathematical Systems Science and its applications, IEICE

開催地

和文:	山口県下関市
英文:

公式リンク

http://www.ieice.org/ken/paper/20160304gb7D/

アブストラクト

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

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報