研究課題
若手研究(B)
本研究の目的は，電子制御用ソフトウエアにおける安全検証問題に対して，量子化制御からアプローチした安全解析・安定化アルゴリズムを構築することにある．特に，ソフトウエア単体の安全性ではなく，電子制御対象の動作特性も考慮したソフトウエアの安全性に着目する．本研究により，対策急務である複雑化する電子制御用ソフトウエアの安全性・安定性を保証する分野横断的な基礎理論を構築する．さらに，現実の電子制御系のモデルベース開発で使用されるソフトウエアに適用可能な安定化アルゴリズムを提案する．
制御工学
