قضیه پایداری لیاپانف یکی از ابزارهای مهم در تحلیل و طراحی سیستم‌های دینامیکی است، به ویژه در کنترل سیستم‌های غیرخطی. این قضیه به ما کمک می‌کند تا با استفاده از تابعی به نام تابع لیاپانف، در مورد پایداری یک نقطه تعادل قضاوت کنیم.

روش مستقیم قضیه پایداری لیاپانف


این روش بر اساس تعریف پایداری و تبدیل آن به شرایطی ریاضیاتی عمل می‌کند. برای یک سیستم دینامیکی غیرخطی معمولاً در فرم زیر داریم:

                                                                                                                                                                                    x˙=f(x)

که در آن x بردار حالت و f(x) یک تابع غیرخطی است. نقطه تعادل این سیستم معمولاً  ∗x است که در آن f(x∗)=0 .

مراحل روش مستقیم


  1. انتخاب یک تابع لیاپانف:
    تابع  RRn→V باید انتخاب شود که شرایط زیر را برآورده کند:
    • برای تمام*V(x)>0    x≠x
    • V(x∗)=0
    • تابع V باید مشتقش در راستای دینامیک سیستم (یعنی V˙(x)=∇V⋅f(x)) منفی و یا صفر باشد.
  2. تحلیل پایداری:
    • اگر V˙(x)<0 در یک ناحیه اطراف نقطه تعادل، آنگاه سیستم پایدار است.
    • اگر V˙(x)≤0 و V محدود باشد، آنگاه سیستم ناپایدار است.

مثال از کنترل غیرخطی


فرض کنید ما یک سیستم غیرخطی زیر را داریم که باید کنترل شود:

x˙=ax−bx^3

که در آن a و b ثابت‌های مثبت هستند. نقطه تعادل این سیستم x∗=0 خواهد بود.

در اینجا می‌توانیم تابع لیاپانف زیر را انتخاب کنیم:

                                                               ( V(x)=1/2 (x^2

حال مشتق تابع لیاپانف را محاسبه می‌کنیم:

                                                         V˙(x)=∇V⋅x˙=x⋅(ax−bx^3)=ax^2−bx^4

برای نشان دادن پایداری، بررسی می‌کنیم:

  • اگر   bx^4ax^2>0 باشد، آنگاه:

                                                              V˙(x)=ax^2−bx^4 <0 for x small

این نشان می‌دهد که سیستم پایدار است، زیرا ما نشان دادیم که برای مقادیر کوچک ایکس  ، V˙(x)<0.

منابع علمی

برای آگاهی بیشتر می‌توانید به منابع زیر مراجعه کنید:

  1. Khalil, H. K. (2002). Nonlinear Control Systems. Prentice Hall.
  2. Slotine, J. J. E., & Li, W. (1991). Applied Nonlinear Control. Prentice Hall.

این منابع، مباحث پایداری لیاپانف و روش‌های کنترل سیستم‌های غیرخطی را به تفصیل بررسی کرده‌اند.