تابع شبه لیاپانوف با قابلیت تفکیک حداقل