制御分野での SDP

最近いろいろな話を聞いて、何故制御系の方が MATLAB の LMI Control Toolbox を使い続けているのか少しずつわかってきた。もちろんインターフェイスの問題もあるのだが、出てくる解の質の問題が大きいと思われる。ここで詳しくは書かないが、既存のソルバーを制御系の方が望むような解を出すように改造することは可能だと推測する。
ところで、SDP だけではないが、最適化問題用のソルバーの最終結果は自己申告に過ぎないので、本当に最適解あるいは実行可能解が求められているかは検証の必要ありである。