الأنظمة الديناميكية, الرياضيات التطبيقية, علوم الحاسوب, نظرية التحكم, هندسةدالة التحكم-ليابونوف (Control-Lyapunov Function)