抄録
区分的線形Lyapunov関数を用いてpolytope型の不確かさにより表現される非線形システムを安定化する問題は，Lyapunov関数のパラメータとコントローラに関して双線形な最適化問題となる．本発表では，この最適化問題の各制約が状態空間を分割する各polytopeの各頂点に対応していることを利用して，設計に用いるLyapunov関数とコントローラの自由度でシステムの安定性を保証できない場合にそのことを高速に判定する方法を提案する．この手法は安定性を保証することが不可能ないくつかの場合に無駄な数値計算の手間を減らし，安定性を保証するために必要なLyapunov関数とコントローラの自由度を見積もることを容易にする．
