توابع تبدیل، دیاگرام بلوکی و پایداری (روث–هرویتز)

ایدهٔ اصلی

یک تابع تبدیل $G(s)=\dfrac{Y(s)}{U(s)}$ عبارت است از تبدیل لاپلاسِ خروجی بر ورودیِ یک سیستم LTI تک‌ورودی/تک‌خروجی، که در شرایط اولیهٔ صفر گرفته می‌شود. این تابع، اثر انگشتِ جبریِ سیستم است: یک تابع گویا $G(s)=\dfrac{N(s)}{D(s)}$ که قطب‌های آن (ریشه‌های $D$) مُدهای طبیعی $e^{p_i t}$ و در نتیجه پایداری را تعیین می‌کنند، و صفرهای آن (ریشه‌های $N$) نحوهٔ انتقال یا مسدود شدن هر ورودی را شکل می‌دهند. هر ابزار بعدی — پاسخ زمانی، پاسخ فرکانسی، مکان هندسی ریشه‌ها، حاشیه‌های پایداری — از روی $G(s)$ خوانده می‌شود.

سیستم‌های واقعی به‌صورت دیاگرام بلوکی ترسیم می‌شوند: بلوک‌های آبشاری، موازی و فیدبک که با نقاط جمع‌کننده به هم متصل شده‌اند. وظیفهٔ مهندس کنترل این است که (i) دیاگرام را به یک تابع تبدیلِ معادل ساده کند، (ii) بررسی کند که آیا سیستم حلقه‌بستهٔ حاصل پایدار است، و (iii) اگر نه، یک کنترل‌کننده/جبران‌ساز درج کند که قطب‌های حلقه‌بسته را به داخل نیم‌صفحهٔ چپِ باز (LHP) بکشد. معیار روث–هرویتز به پرسش پایداری بدون هیچ‌گونه تجزیهٔ چندجمله‌ای مشخصه پاسخ می‌دهد — و دقیقاً به همین دلیل بر مسائل کنکور غالب است.

فرمول‌ها و قضایای کلیدی

حلقهٔ فیدبک واحد. مسیر پیش‌رو $G(s)$، مسیر فیدبک $H(s)$، فیدبک منفی: $T(s)=\frac{G(s)}{1+G(s)H(s)}.$ معادلهٔ مشخصه برابر $1+G(s)H(s)=0$ است (که پس از حذف مخرج‌ها معادلِ $N_G N_H+D_G D_H=0$ می‌شود)؛ ریشه‌های آن قطب‌های حلقه‌بسته‌اند. فیدبک واحدی همان $H=1$ است.

فرمول بهرهٔ میسون برای یک گراف جریان سیگنال کلی: $T=\frac{1}{\Delta}\sum_k P_k\,\Delta_k,\qquad \Delta=1-\sum_i L_i+\sum_{i,j}L_iL_j-\cdots,$ که در آن $P_k$ بهرهٔ $k$-اُمین مسیر پیش‌رو است، $\Delta$ دترمینان گراف است ($1-$ مجموع بهره‌های حلقه $+$ مجموع حاصل‌ضرب‌های زوج‌حلقه‌های نامتماس $-\cdots$)، و $\Delta_k$ همان $\Delta$ است که با حذف هر حلقه‌ای که مسیر $k$ را لمس می‌کند محاسبه می‌شود.

بهرهٔ DC و گشتاورها. برای یک سیستم پایدار، بهرهٔ حالت ماندگار به ورودی پلهٔ واحد برابر $G(0)$ است، و به‌طور کلی‌تر پاسخ ضربهٔ $g(t)=\mathcal{L}^{-1}\{G(s)\}$ در رابطهٔ زیر صدق می‌کند: $\int_0^\infty \tau^n\,g(\tau)\,d\tau=(-1)^n\,G^{(n)}(0),$ پس گشتاور $n$-اُمِ پاسخ صرفاً یک مشتق از $G$ در مبدأ است (هر بهرهٔ خالص در نسبتِ گشتاورها حذف می‌شود).

روث–هرویتز. برای $a_n s^n+a_{n-1}s^{n-1}+\cdots+a_1 s+a_0=0$ با $a_n>0$: یک شرط لازم این است که همهٔ ضرایب حاضر باشند (هیچ‌کدام گم نشده باشند) و هم‌علامت باشند. شرط لازم و کافی این است که هر درایهٔ ستون اول آرایهٔ روث ناصفر و تک‌علامت باشد؛ تعداد تغییرات علامت در پایین ستون اول برابر تعداد ریشه‌های نیم‌صفحهٔ راست (RHP) است. آرایه از روی ضرایب آغاز می‌شود و رو به پایین ساخته می‌شود:

دو میان‌بُرِ مرتبه‌پایین که ارزش حفظ‌کردن دارند: یک چندجمله‌ای مرتبهٔ دوم $s^2+a_1 s+a_0$ پایدار است $\iff a_1>0$ و $a_0>0$؛ یک چندجمله‌ای مرتبهٔ سوم $s^3+a_2 s^2+a_1 s+a_0$ پایدار است $\iff a_2,a_1,a_0>0$ و $a_2 a_1>a_0$.

روش — گام‌به‌گام

1. دیاگرام را ساده کنید. بلوک‌های سری ($G_1G_2$)، موازی ($G_1\pm G_2$) و فیدبک ($G/(1+GH)$) را جمع کنید — یا مستقیماً میسون را به‌کار ببرید — تا تابع حلقه‌بستهٔ $T(s)=N(s)/D(s)$ به‌دست آید.
2. چندجمله‌ای مشخصه را تشکیل دهید با حذف مخرج در $1+G(s)H(s)=0$ تا به $D(s)=0$ برسید.
3. ابتدا ضرایب را غربال کنید. اگر توانی از $s$ گم شده باشد یا ضریبی تغییر علامت دهد، سیستم ناپایدار است — متوقف شوید، نیازی به آرایه نیست.
4. آرایهٔ روث را بسازید و تغییرات علامتِ ستون اول را بشمارید $=$ تعداد قطب‌های RHP.
5. برای یک پارامتر طراحی $K$، آرایه را نمادین نگه دارید و هر درایهٔ ستون اول را $>0$ قرار دهید؛ اشتراک این نامساوی‌ها بازهٔ پایدارساز $K$ است.
6. کنترل‌کننده‌های نامجاز را رد کنید. یک صفرِ کنترل‌کننده که یک قطبِ RHPِ سیستم را حذف می‌کند، مُد ناپایدار را از $T(s)$ برمی‌دارد اما آن را در دینامیک داخلی باقی می‌گذارد (ناپایداری داخلی) — ممنوع، حتی اگر تابع تبدیل نمایان تمیز به‌نظر برسد.

مثال کوچکِ حل‌شده

سیستم ناپایدار $G(s)=\dfrac{1}{s(s-1)}$ (قطب‌ها در $0$ و $+1$) را با یک کنترل‌کنندهٔ نوع PD یعنی $C(s)=K(s+2)$ تحت فیدبک واحدی پایدار کنید. معادلهٔ مشخصهٔ حلقه‌بسته چنین است: $1+\frac{K(s+2)}{s(s-1)}=0\;\Rightarrow\; s^2+(K-1)s+2K=0.$ این معادله مرتبهٔ دوم است، پس پایدار است اگر و تنها اگر هر دو ضریب مثبت باشند: $K-1>0$ و $2K>0$، یعنی $\boxed{K>1}.$ صفرِ کنترل‌کننده در $s=-2$ مکان هندسی ریشه‌ها را به داخل LHP خم می‌کند و پایدارسازی را ممکن می‌سازد. این را با یک بهرهٔ تناسبی ساده $C(s)=K$ مقایسه کنید: معادله به $s^2-s+K=0$ تبدیل می‌شود، که ضریب $s^1$ آن برای هر $K>0$ منفی است — یک نقض علامت، پس هیچ مقداری از بهره نمی‌تواند آن را پایدار کند. این الگوی کلی طراحی است: یک ساختار کنترل‌کننده انتخاب کنید که چندجمله‌ای مشخصهٔ آن بتواند هرویتز شود، سپس نامساوی‌های روث را برای بهره حل کنید.

گونه‌های رایج و حالت‌های خاص

• سطر صفرها در آرایه. نشان‌دهندهٔ ریشه‌های متقارن نسبت به مبدأ است (یک زوج روی محور $j\omega$، یا یک بازتاب RHP/LHP). چندجمله‌ای کمکی را از سطرِ بالای سطر صفر تشکیل دهید، آن را مشتق بگیرید، و ضرایبش را جایگزین کنید تا ادامه دهید؛ ریشه‌های چندجمله‌ای کمکی همان قطب‌های متقارن‌اند، و یک زوج $j\omega$ فرکانس نوسان پایدار (پایداری مرزی) را می‌دهد.
• صفر فقط در ستون اول (بقیهٔ سطر ناصفر). آن را با یک $\epsilon\to0^+$ کوچک جایگزین کنید و علامت درایه‌هایی را که به $\epsilon$ وابسته‌اند دنبال کنید.
• پایداری مرزی. یک صفر در ستون اول با چندجمله‌ای کمکی ناصفر $\Rightarrow$ قطب‌ها دقیقاً روی محور $j\omega$؛ چندجمله‌ای کمکی فرکانس نوسان $\omega$ را به‌دست می‌دهد.
• پایداری نسبی / حاشیهٔ نشست. پیش از اجرای روث، $s\to s-\sigma$ را جایگزین کنید تا بررسی شود آیا همهٔ قطب‌ها در سمت چپِ $\mathrm{Re}\{s\}=-\sigma$ قرار دارند.
• سیستم‌های غیرکمینه‌فاز (صفرهای RHP). مجازند، اما پهنای‌باند دست‌یافتنی را محدود می‌کنند و حذف هر قطب RHP را ممنوع می‌سازند؛ طراحی مکان هندسی/روث باید آن‌ها را رعایت کند.
• پیوند با مکان هندسی ریشه‌ها. روث بهرهٔ دقیقی را که در آن یک شاخهٔ مکان هندسی از محور موهومی می‌گذرد می‌یابد — یک درایهٔ ستون اول را صفر قرار دهید و برای $K$ حل کنید تا بهرهٔ بحرانی و، از طریق چندجمله‌ای کمکی، فرکانس عبور را به‌دست آورید.

نکتهٔ کنکوری: پیش از دست‌زدن به آرایهٔ روث، ضرایب چندجمله‌ای مشخصه را وارسی کنید — یک توانِ گم‌شده از $s$ یا یک تغییر علامتِ منفرد، به‌تنهایی ناپایداری را برای هر بهره‌ای اثبات می‌کند و بی‌درنگ گزینه‌های کاملی را حذف می‌کند. و هرگز یک سیستم را با حذف یک قطبِ نیم‌صفحهٔ راست توسط صفرِ کنترل‌کننده «پایدار» نکنید: مُد از $T(s)$ ناپدید می‌شود اما در دینامیک داخلی باقی می‌ماند، پس حلقه همچنان ناپایدار است — یک تلهٔ محبوب در پرسش‌های انتخاب جبران‌ساز.