非線形システムにおける出力許容集合の計算法

高松　瑞代

（指導教員：大石 泰章 講師／数理情報第2研究室）

研究概要

制約条件を有する非線形システムが, 制約条件を破ることなく動作するための十分条件を求めたい. そこで, 任意の時刻で制約条件を満たすような初期状態の集合である出力許容集合を求める, 多項式計画問題と区間演算を用いた新たなアルゴリズムを提案する.

卒論の感想

一つの問題に何ヶ月も取り組むのは初めてで面白かった. できたと思っていたら穴があったり, 行き詰っていたのに一つ山を越えるとスムーズに進んだりして, 研究は奥が深かった.