システムのエネルギーに相当する関数を定義し、その時間変化から安定性を判別する手法はどれか。

正定値なスカラー関数(リアプノフ関数)が時間的に減少することを確認する手法である。