積形非線形フィードバックシステムの拡張リアプノフ関数