安全性と適応性を兼ね備えたロバストコントローラの合成と検証

本論文では、未知のパラメータを持つシステムに対して、安全性と適応性を両立したロバストコントローラの合成と検証手法を提案する。