Tổng quan về luận án

Nghiên cứu về hệ thống động học dương (Positive Systems) là một nhánh trọng yếu trong lý thuyết điều khiển hiện đại, xuất phát từ thực tế các biến trạng thái trong tự nhiên và kỹ thuật như nồng độ hóa chất trong lò phản ứng, mức chất lỏng bể chứa, mật độ cá thể sinh thái, lưu lượng mạng truyền thông hay quy trình phân rã dược động học luôn mang giá trị không âm ($x(t) \in \mathbb{R}^n_+$). Luận án tiến sĩ toán học "Some Control Problems for Positive Linear Systems" của nghiên cứu sinh Mai Thi Hong, chuyên ngành Phương trình Vi phân và Tích phân (Mã số: 9460103), thực hiện dưới sự hướng dẫn khoa học của PGS.TS. Lê Văn Hiện tại Trường Đại học Sư phạm Hà Nội (2021), đã giải quyết triệt để các thách thức toán học cốt lõi liên quan đến tính ổn định, điều khiển phản hồi đầu ra tĩnh (Static Output-Feedback Control - SOFC), điều khiển tối ưu độ lợi $L_1$ và độ lợi đỉnh-đỉnh ($\ell_\infty$-induced / Peak-to-Peak gain) cho các hệ tuyến tính dương chịu ảnh hưởng của trễ biến thiên (time-varying delay).

Trong lý thuyết điều khiển kinh điển cho hệ tuyến tính tổng quát, bài toán thiết kế bộ điều khiển phản hồi đầu ra tĩnh dẫn đến các bất đẳng thức ma trận song tuyến (Bilinear Matrix Inequalities - BMIs) – một lớp bài toán bất khả quy thuộc độ phức tạp NP-hard. Khi áp đặt ràng buộc hệ kín phải duy trì tính dương (hệ ma trận kín $A_c$ là ma trận Metzler và $A_{dc} \succeq 0$), các công cụ phân rã ma trận hoặc gán cực truyền thống hoàn toàn bị vô hiệu hóa. Các công trình quốc tế trước đây chỉ thiết lập được các điều kiện đủ mang tính bảo thủ cao hoặc phải áp đặt các cấu trúc ma trận giả định ngặt nghèo (Rami et al., 2007; Shen & Lam, 2015; Zhang et al., 2014). Luận án đã giải quyết research gap này thông qua các câu hỏi nghiên cứu và giả thuyết tường minh:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết lập điều kiện cần và đủ có thể kiểm chứng được (testable necessary and sufficient conditions) cho sự tồn tại của bộ điều khiển phản hồi đầu ra tĩnh đối với hệ dương có trễ biến thiên ở cả vector trạng thái và vector đầu ra đo?
  • Câu hỏi nghiên cứu 2 (RQ2): Có thể đặc trưng hóa chính xác độ lợi $L_1$ của hệ liên tục đa trễ và độ lợi $\ell_\infty$ của hệ rời rạc với trễ khoảng đa dạng nhằm chuyển đổi bài toán tổng hợp bộ điều khiển về dạng quy hoạch tuyến tính (Linear Programming - LP) thuần túy hay không?
  • Giả thuyết khoa học (H1): Tính đơn điệu cảm sinh từ nón đa diện lồi $\mathbb{R}^n_+$ cùng cấu trúc đa diện của không gian tham số cho phép cực đại hóa nghiệm trên tập đỉnh (vertex set), biến đổi các hệ BMI phi tuyến thành các bài toán tối ưu hóa đỉnh dạng LP khả thi với độ phức tạp tính toán đa thức.

Phạm vi nghiên cứu bao quát các hệ phương trình vi phân và sai phân hàm trễ đa chiều ($n$-dimensional), lớp nhiễu ngoại sinh thuộc không gian $L_1(\mathbb{R}+, \mathbb{R}^{n_w})$ và $\ell\infty(\mathbb{R}^{n_w})$, với thời gian trễ liên tục $\delta_t \in [0, \delta_*]$ và trễ rời rạc theo khoảng $d_j \le d_j(k) \le \bar{d}_j$. Luận án mở ra bước tiến đột phá khi chuyển hóa toàn bộ các tiêu chuẩn phân tích ổn định mũ toàn cục (GES) và tổng hợp bộ điều khiển bền vững sang các thuật toán giải được hiệu quả bằng công cụ tối ưu lồi quy mô lớn.


Literature Review và Positioning

Khung lý thuyết của hệ thống dương bắt nguồn từ các nghiên cứu nền tảng của Luenberger (1979), Farina & Rinaldi (2000), và Haddad et al. (2010). Đối với hệ tuyến tính tổng quát, chuẩn $H_\infty$ (độ lợi cảm ứng $L_2/ \ell_2$) là công cụ phổ biến nhất để đo lường khả năng triệt tiêu nhiễu có năng lượng bị chặn (Scherer et al., 1997; Zhou et al., 1996). Tuy nhiên, trích dẫn trực tiếp từ văn bản luận án xác nhận: "Unlike general systems, a remarkable feature of positive systems is that it allows one to use linear supply rate in the dissipative analysis and naturally results in a number of input-output system properties in terms of linear integral/summation constraints instead of quadratic integral/summation constraints". Do đó, việc ứng dụng độ lợi $L_1$ (đo lường tổng lượng vật chất/tích phân tuyệt đối) và độ lợi $\ell_\infty$ (đo lường biên độ cực đại đỉnh-đỉnh) phản ánh chính xác bản chất vật lý của các mô hình bảo toàn khối lượng hơn hẳn chuẩn $L_2$.

Trong y văn quốc tế tồn tại hai luồng quan điểm đối nghịch sâu sắc về phương pháp luận xử lý hệ trễ dương:

  1. Trường phái Bất đẳng thức Ma trận Tuyến tính (LMI) và Phiếm hàm Lyapunov-Krasovskii bậc hai (Quadratic LKF): Đại diện bởi Gu et al. (2003), Xu & Lam (2007), Liu et al. (2010). Hướng tiếp cận này xem xét hệ thống trên không gian Hilbert, sử dụng các ma trận biến đối xứng dương ($P \in S^n_+$). Nhược điểm chí mạng là số lượng biến quyết định tăng theo hàm mũ cấp $O(n^2)$, thuật toán giải LMI mất ổn định số học khi số chiều hệ thống lớn và không tận dụng được tính đơn điệu của quỹ đạo trạng thái dương.
  2. Trường phái Hàm Lyapunov Đồng dương (Co-positive Lyapunov Functions) và Quy hoạch Tuyến tính (LP): Đại diện bởi Knorn et al. (2014), Briat (2013), Shen & Lam (2015), Xiang & Xiang (2013). Bằng cách khai thác hàm Lyapunov tuyến tính $V(x) = v^\top x$ với $v \succ 0$, cấu trúc phân tích được rút gọn về hệ bất đẳng thức tuyến tính với số biến cấp $O(n)$.

Luận án của Mai Thi Hong định vị chính xác tại điểm nghẽn học thuật này: Cung cấp một phương pháp luận giải tích mới dựa trên kỹ thuật tối ưu hóa đỉnh đa diện (vertex optimization approach) kết hợp Bổ đề KKM (Knaster-Kuratowski-Mazurkiewicz Lemma), phá vỡ định kiến cho rằng bài toán SOFC cho hệ thống có trễ là bất khả thi để thiết lập điều kiện tương đương (Cần và Đủ) dạng LP.


Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án mở rộng và thách thức các định lý nền tảng trong đại số ma trận và lý thuyết ổn định Lyapunov:

  1. Mở rộng Định lý Perron-Frobenius cho ma trận Metzler chịu trễ: Đối với ma trận Metzler $A \in \mathcal{M}_n$ và ma trận không âm $A_d \succeq 0$, luận án chứng minh tính ổn định mũ toàn cục của hệ vi phân hàm $\dot{x}(t) = Ax(t) + A_d x(t-\delta_t)$ hoàn toàn tương đương với việc ma trận tổng $A_s = A + A_d$ là ma trận Hurwitz. Điều này xác lập mệnh đề: sự tồn tại của vector dương $\eta \succ 0$ sao cho $(A + A_d)\eta \prec 0$ là điều kiện cần và đủ độc lập với độ lớn thời gian trễ $\delta_t$.
  2. Giải mã nghịch lý cấu trúc BMI trong điều khiển phản hồi đầu ra: Trích dẫn trực tiếp từ văn bản: "Without the positivity constraint on the closed-loop systems, the feasibility of BMIs induced from the static output-feedback is an NP-hard problem... this is one of the main reasons why to this problem LP-based methods prove to be particularly suitable for positive systems". Luận án chứng minh rằng tính đơn điệu dương biến không gian nghiệm của ma trận khuếch đại $K$ thành một tập đa diện lồi $\Delta$, tại đó nghiệm tối ưu toàn cục luôn đạt được tại các điểm cực biên (vertices).
  3. Mô hình lý thuyết tổng quát hóa:
    • Mệnh đề 1 (Đặc trưng hóa ổn định SOFC): Hệ kín $\dot{x}(t) = (A - BKC)x(t) + (A_d - BKC_d)x(t-\delta_t)$ dương và GES khi và chỉ khi tồn tại $K$ thỏa mãn $A - BKC \in \mathcal{M}_n$, $A_d - BKC_d \succeq 0$, và $\exists \nu \succ 0: \nu^\top (A_s - BKC_s) \prec 0$, với $A_s = A + A_d, C_s = C + C_d$.

Khung phân tích độc đáo

Khung phân tích của luận án là sự tích hợp hữu cơ giữa ba trụ cột lý thuyết: Lý thuyết hệ dương (Positivity Theory), Lý thuyết tối ưu hóa lồi đa diện (Polyhedral Convex Optimization), và Đại số toán tử trong không gian Banach ($L_1 / \ell_\infty$).

Tiếp cận giải tích độc đáo thể hiện qua việc phân rã không gian ma trận phản hồi. Đối với hệ SISO, ngưỡng khuếch đại tối ưu được xác định giải tích chính xác tuyệt đối: $$\gamma_d^* = \min_{i,j \in \overline{1,n}} \left{ \frac{a_{dij}}{b_i c_{dj}} : b_i c_{dj} \neq 0 \right}, \quad \gamma_a^* = \min_{i \neq j} \left{ \frac{a_{ij}}{b_i c_j} : b_i c_j \neq 0 \right}, \quad \gamma^* = \min{\gamma_a^, \gamma_d^}$$ Trích dẫn trực tiếp từ văn bản luận án xác lập tính đóng của điều kiện: "The stabilization problem of positive system (2.1) is solvable if and only if there exists a vertex $k_v \in S$ such that the matrix $A_s - B k_v^\top C_s$ is Hurwitz. Equivalently, there exists a vector $\eta \in \mathbb{R}^n, \eta \succ 0$, satisfying the following LP condition $(A_s - B k_v^\top C_s)\eta \prec 0$". Điều kiện biên (boundary conditions) được kiểm soát chặt chẽ thông qua việc chứng minh nghiệm không thể nằm trên siêu phẳng suy biến nhờ Bổ đề KKM trên đơn giác $\Delta_n$.


Phương pháp nghiên cứu tiên tiến

Thiết kế nghiên cứu

Nghiên cứu được xây dựng trên lập trường nhận thức luận diễn dịch toán học hình thức thuần túy (Formal Deductive Epistemology) và chủ nghĩa thực chứng giải tích (Analytical Positivism). Toàn bộ các định lý được chứng minh giải tích với tính logic tuyệt đối, không dựa trên các xấp xỉ ngẫu nhiên. Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1 (Continuous-time Single/Multiple Delays): Phân tích hệ vi phân hàm trễ trên không gian liên tục $C([-d, 0], \mathbb{R}^n)$.
  • Tầng 2 (Discrete-time Heterogeneous Delays): Phân tích hệ sai phân trên chuỗi thời gian rời rạc $\mathbb{Z}_+$.
  • Tầng 3 (Disturbance Attenuation Operators): Xây dựng các toán tử chuyển giao $\Sigma: L_1 \to L_1$ và $\Psi: \ell_\infty \to \ell_\infty$.

Quy trình nghiên cứu rigorous

Quy trình suy diễn toán học tuân thủ nghiêm ngặt các bước:

  1. Thiết lập toán tử nón: Chứng minh tính bất biến của nón dương $\mathbb{R}^n_+$ dưới tác động của nửa nhóm toán tử ${e^{At}}_{t \ge 0}$ thông qua điều kiện ma trận Metzler.
  2. Xây dựng phiếm hàm so sánh: Thiết lập phiếm hàm Lyapunov đồng dương dạng tích phân: $$v(\hat{x}(t)) = \nu^\top \hat{x}(t) + \int_{-\delta_*}^0 \nu^\top A_{dc} \hat{x}(t+s)ds$$ với đạo hàm dọc theo quỹ đạo nghiệm $\dot{v}(\hat{x}(t)) = \nu^\top (A_c + A_{dc})\hat{x}(t)$.
  3. Triangulation lý thuyết: Đối chiếu chéo giữa phương pháp biến đổi Laplace trên miền phức, phương pháp giải tích phổ ma trận Perron-Frobenius và Bổ đề bao phủ KKM nhằm triệt tiêu các điều kiện bảo thủ.

Data và phân tích

Trong nghiên cứu toán học lý thuyết điều khiển, "Data" chính là các hệ ma trận trạng thái thực nghiệm ($A, A_d, B, C, C_d, B_w, D_w$) với số chiều biến thiên từ quy mô nhỏ ($n=2, 3$) đến hệ động học đa chiều ($n \ge 10$).

  • Công cụ phần mềm và thuật toán: Các điều kiện LP được lập trình và giải mã chính xác thông qua môi trường MATLAB kết hợp bộ giải tối ưu hóa lồi SeDuMi, YALMIP, Linprog và LMI Control Toolbox.
  • Kiểm tra độ vững (Robustness Checks): Các ma trận trễ biến thiên $\delta_t$ và nhiễu biên độ cực đại được quét trên toàn bộ miền biên độ $[0, \delta_*]$ và $[d_j, \bar{d}_j]$. Kết quả tính toán vector độ lợi và ma trận nghiệm $\eta \succ 0, \nu \succ 0$ bảo đảm độ chính xác số học tuyệt đối với sai số phần dư (residual tolerance) dưới $10^{-9}$.

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Phát hiện 1 (Tương đương hoàn toàn giữa GES và Tính ổn định $L_1$ / $\ell_\infty$): Luận án chứng minh rằng đối với hệ tuyến tính dương, tính ổn định mũ toàn cục (GES khi không có nhiễu, $w=0$) và tính ổn định $L_1$ (hoặc $\ell_\infty$) khi có nhiễu là hoàn toàn tương đương. Nếu hệ dương ổn định, mọi nhiễu $w \in L_1$ đều dẫn đến quỹ đạo nghiệm $x(t) \in L_1$, thỏa mãn $\int_0^\infty |x(t)|_1 dt < \infty$.
  2. Phát hiện 2 (Đặc trưng hóa tường minh độ lợi cảm ứng $L_1$ chính xác): Thay vì các cận trên bảo thủ, chuẩn cảm ứng $L_1$ của toán tử vào-ra được tính chính xác bằng công thức tường minh: $$|T|{(L_1, L_1)} = |D_w - C A_s^{-1} B_w|1$$ với $A_s = A_0 + \sum{k=1}^m A_k$. Mức suy giảm nhiễu $\gamma > 0$ đạt được khi và chỉ khi hệ LP sau có nghiệm $\nu \succ 0$: $$\nu^\top A_s + \mathbf{1}{n_z}^\top C_s \prec 0, \quad \nu^\top B_w + \mathbf{1}{n_z}^\top D_w - \gamma \mathbf{1}{n_w}^\top \prec 0$$
  3. Phát hiện 3 (Cơ chế suy giảm do trễ đo lường - Delayed Measurement Phenomenon): Luận án chỉ ra hiện tượng phản trực giác: Một hệ dương không trễ đầu ra ($C_d = 0$) có thể ổn định hóa được qua SOFC nếu ma trận con $A_s^i$ ổn định, nhưng khi xuất hiện trễ đầu ra ($C_d \neq 0$), bài toán có thể hoàn toàn vô nghiệm do bị chặn bởi ngưỡng $\gamma_d^*$.
  4. Phát hiện 4 (Giải pháp tối ưu Peak-to-Peak cho hệ rời rạc): Chuẩn $\ell_\infty$-gain của hệ rời rạc được xác định chính xác qua hệ quy mô trạng thái dừng, cho phép thiết kế bộ điều khiển SOFC cực tiểu hóa độ khuếch đại nhiễu xấu nhất thông qua quy hoạch tuyến tính trên tập đỉnh đa diện $\hat{\Delta}$.

Implications đa chiều

  • Về mặt lý thuyết: Thống nhất lý thuyết điều khiển phân tán cho hệ dương có trễ, loại bỏ khoảng cách giữa điều khiển phản hồi trạng thái (SFC) và phản hồi đầu ra (SOFC).
  • Về mặt phương pháp luận: Khẳng định ưu thế tuyệt đối của thuật toán tối ưu hóa đỉnh (Vertex Algorithm) kết hợp quy hoạch tuyến tính (LP) so với các thuật toán LMI bậc hai lặp (Iterative LMIs) vốn dễ mắc kẹt tại điểm cực trị địa phương.
  • Về ứng dụng thực tiễn: Cung cấp thuật toán thiết kế bộ điều khiển tự động cho các mạng lưới ngăn khoang (compartmental networks), kiểm soát liều lượng thuốc trong cơ thể bệnh nhân mà không bao giờ gây ra nồng độ âm, điều tiết lưu lượng giao thông hàng không và cân bằng tải viễn thông.

Limitations và Future Research

  1. Ràng buộc tính tuyến tính (Linearity Constraint): Các kết quả hiện tại tập trung vào hệ thống tuyến tính dừng hoặc biến thiên theo thời gian dạng tuyến tính ($A(t)$), chưa bao quát các hệ phi tuyến tổng quát có trễ dạng $\dot{x}(t) = f(x(t), x(t-\delta_t))$.
  2. Cấu trúc trễ tập trung (Lumped Delays): Nghiên cứu giải quyết trễ rời rạc và trễ khoảng biến thiên, chưa mở rộng cho các hệ thống có trễ phân bố liên tục (distributed delays) với hàm mật độ xác suất phức tạp.
  3. Hiện tượng bão hòa cơ cấu chấp hành (Actuator Saturation): Giả định tín hiệu điều khiển $u(t)$ không bị giới hạn biên độ trên, trong khi thực tế công nghiệp luôn tồn tại ngưỡng bão hòa chấp hành.

Chương trình nghiên cứu tương lai (5 hướng cụ thể):

  • Mở rộng lý thuyết sang hệ dương chuyển mạch (Switched Positive Systems) dưới luật chuyển mạch phụ thuộc trạng thái.
  • Thiết kế bộ quan sát trạng thái khoảng (Interval Observers) cho hệ phi tuyến có trễ.
  • Nghiên cứu bài toán điều khiển bền vững kháng bão hòa tín hiệu vào (Anti-windup Control).
  • Áp dụng trên mạng lưới nơ-ron nhân tạo dương (Positive Neural Networks).
  • Phát triển gói phần mềm chuyên dụng mã nguồn mở trên nền tảng Python/Julia phục vụ tối ưu hóa hệ dương quy mô siêu lớn ($n > 1000$).

Tác động và ảnh hưởng

  • Ảnh hưởng học thuật: Các kết quả cốt lõi của luận án đã được công bố trên 03 bài báo khoa học tại các tạp chí quốc tế uy tín cao (ISI/Scopus, xếp hạng Q1-Q2) chuyên ngành Lý thuyết Điều khiển và Toán ứng dụng, được báo cáo tại Viện Nghiên cứu Cao cấp về Toán (VIASM). Ước tính các công trình này mở ra tiềm năng trích dẫn lớn trong cộng đồng điều khiển học quốc tế.
  • Chuyển đổi công nghiệp: Ứng dụng trực tiếp vào tự động hóa công nghệ hóa chất, công nghệ sinh học xử lý nước thải (nơi nồng độ vi sinh và chất hòa tan bắt buộc phải không âm) và logistics chuỗi cung ứng.
  • Tác động chính sách và xã hội: Cung cấp cơ sở mô hình hóa toán học cho việc dự báo và kiểm soát dịch bệnh lây nhiễm (mô hình dịch tễ học SIR/SEIR dương có trễ ủ bệnh), hỗ trợ các cơ quan y tế công cộng ra quyết định giãn cách và phân bổ vaccine tối ưu.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và Giảng viên ngành Toán - Điều khiển: Tiếp cận công cụ giải tích mạnh mẽ dựa trên ma trận Metzler, hàm Lyapunov đồng dương và kỹ thuật tối ưu hóa đỉnh.
  • Kỹ sư R&D trong Công nghiệp: Sở hữu thuật toán tính toán trực tiếp thông số bộ điều khiển SOFC thông qua quy hoạch tuyến tính nhanh chóng, ổn định số học cao, không gặp lỗi phân kỳ ma trận.
  • Chuyên gia Dược động học và Y sinh: Ứng dụng mô hình mạng ngăn khoang có trễ để tối ưu hóa phác đồ điều trị truyền dịch tự động.

Câu hỏi chuyên sâu

  1. Đóng góp lý thuyết độc đáo nhất của luận án là gì? Trả lời: Đó là việc chuyển đổi thành công bài toán giải hệ bất đẳng thức ma trận song tuyến (BMI) phi lồi vốn là NP-hard trong thiết kế bộ điều khiển phản hồi đầu ra tĩnh (SOFC) của hệ có trễ thành bài toán tối ưu hóa đỉnh trên đa diện lồi $\Delta$, thiết lập các điều kiện CẦN VÀ ĐỦ dưới dạng Quy hoạch Tuyến tính (LP) khả thi tuyệt đối.
  2. Cải tiến phương pháp luận so với các nghiên cứu tiền nhiệm? Trả lời: So với Rami et al. (2007) và Shen & Lam (2015), luận án không cần bất kỳ giả định nhân tạo nào về cấu trúc ma trận $B, C$. So với Zhang et al. (2014) chỉ cho điều kiện đủ bảo thủ, luận án cung cấp tiêu chuẩn tương đương hoàn toàn.
  3. Phát hiện nào gây bất ngờ nhất về mặt toán học? Trả lời: Phát hiện về vai trò khống chế của ma trận trễ đầu ra $C_d$. Ngay cả khi hệ thống không trễ ổn định hóa được, sự hiện diện của $C_d \neq 0$ có thể làm triệt tiêu hoàn toàn không gian nghiệm khả thi do bị chặn trên bởi cận giải tích $\gamma_d^*$.
  4. Luận án có cung cấp giao thức tái lập (Replication Protocol) không? Trả lời: Có. Toàn bộ các bước thuật toán, cách xác định tập đỉnh $S$, xây dựng ma trận mở rộng và các bất đẳng thức LP đều được trình bày với công thức tường minh, có thể tái lập 100% trên MATLAB với các solver như SeDuMi/YALMIP.
  5. Tầm nhìn nghiên cứu 10 năm tiếp theo? Trả lời: Xây dựng khung lý thuyết toàn diện cho Hệ thống Động lực Dương Vô hạn Chiều (Infinite-Dimensional Positive Systems) và Hệ thống Điều khiển Phân tán trên Mạng quy mô cực lớn (Large-Scale Multi-Agent Complex Networks).

Kết luận

Luận án tiến sĩ của Mai Thi Hong đã hoàn thành xuất sắc các mục tiêu khoa học đặt ra với các đóng góp cốt lõi:

  1. Xác lập hệ điều kiện cần và đủ giải tích cho tính ổn định mũ toàn cục của hệ tuyến tính dương có trễ biến thiên ở trạng thái và đầu ra.
  2. Đề xuất phương pháp tối ưu hóa đỉnh đa diện giải quyết triệt để bài toán tổng hợp bộ điều khiển phản hồi đầu ra tĩnh (SOFC) dưới dạng quy hoạch tuyến tính (LP).
  3. Đặc trưng hóa chính xác chuẩn cảm ứng $L_1$ của toán tử vào-ra và thiết lập tiêu chuẩn điều khiển kháng nhiễu $L_1$-gain tối ưu.
  4. Xây dựng lý thuyết điều khiển độ lợi đỉnh-đỉnh (Peak-to-Peak / $\ell_\infty$-gain) cho hệ rời rạc với trễ khoảng không đồng nhất.
  5. Chứng minh sự tương đương giữa tính ổn định tự thân (GES) và tính ổn định tiêu tán năng lượng dưới tác động của nhiễu ngoại sinh.
  6. Cung cấp các công cụ tính toán số học có độ phức tạp thấp, giải phóng lý thuyết điều khiển hệ dương khỏi sự lệ thuộc vào các điều kiện đủ bảo thủ của phương pháp LMI truyền thống.