零端点係数をもつ区間多項式の安定性

Kharitonovの定理成立の吟味

抄録

Kharitonovの定理は, 最近のパラメータ空間ロバスト安定理論研究の魁となった重要な安定定理である.定理は区間多項式の安定性の必要十分条件を与えているが, 端点多項式の係数はすべて非零であることが想定されている.本稿は, それらは零となり得るか, またなり得たとすればKharitonov形の定理はなお成り立っているであろうか, という疑問に答えたものである.これらの疑問に対して肯定的な解決が導かれている.