研究課題
若手研究(B)
本研究の目的は,電子制御用ソフトウエアにおける安全検証問題に対して,量子化制御からアプローチした安全解析・安定化アルゴリズムを構築することにある.特に,ソフトウエア単体の安全性ではなく,電子制御対象の動作特性も考慮したソフトウエアの安全性に着目する.本研究により,対策急務である複雑化する電子制御用ソフトウエアの安全性・安定性を保証する分野横断的な基礎理論を構築する.さらに,現実の電子制御系のモデルベース開発で使用されるソフトウエアに適用可能な安定化アルゴリズムを提案する.
すべて 2015 2014 2013 2012
すべて 雑誌論文 (9件) (うち査読あり 9件、 謝辞記載あり 3件、 オープンアクセス 1件) 学会発表 (21件)
SICE Journal of Control, Measurement, and System Integration
巻: 7 号: 4 ページ: 246-253
10.9746/jcmsi.7.246
ECTI Transactions on Computer and Information Technology
巻: 8 ページ: 154-166
Artificial Life and Robotics
巻: 19 号: 3 ページ: 277-285
10.1007/s10015-014-0169-6
計測自動制御学会論文集
巻: 50 号: 3 ページ: 210-218
10.9746/sicetr.50.210
130004549778
International Journal of Automation Technology
巻: 7
巻: 18 号: 1-2 ページ: 117-126
10.1007/s10015-013-0108-y
Mathematical Problems in Engineering
巻: 2013 ページ: 1-12
10.1155/2013/250683
巻: 49
10031154993
巻: 48
10030771705