Tổng quan về luận án

Lý thuyết điều khiển hiện đại và giải tích hệ động lực học trong nhiều thập kỷ qua chủ yếu tập trung vào khái niệm ổn định tiệm cận theo nghĩa Lyapunov, vốn phân tích dáng điệu tiệm cận của quỹ đạo nghiệm khi thời gian tiến ra vô hạn ($t \to \infty$). Tuy nhiên, trong thực tiễn kỹ thuật—từ điều khiển các hệ thống cơ điện tử, cánh tay robot công nghiệp, lò phản ứng hạt nhân, đến các mạng lưới điện thông minh (Smart Grids)—một hệ thống ổn định tiệm cận vẫn có thể trở nên vô dụng hoặc gây thảm họa nếu trong giai đoạn quá độ, trạng thái của hệ vượt quá giới hạn an toàn vật lý cho phép. Nhằm khắc phục khoảng trống lý thuyết này, luận án tiến sĩ toán học "Ổn định và điều khiển một số lớp hệ phương trình suy biến có trễ" của nghiên cứu sinh Phạm Thị Hương, dưới sự hướng dẫn khoa học của GS. Vũ Ngọc Phát tại Viện Toán học (Viện Hàn lâm Khoa học và Công nghệ Việt Nam), đã đi tiên phong trong việc nghiên cứu toàn diện bài toán ổn định và điều khiển trong thời gian hữu hạn (Finite-Time Stability - FTS) cho lớp hệ phương trình cỡ lớn tuyến tính suy biến có trễ.

Nghiên cứu định vị chính xác khoảng trống học thuật (research gap) trọng yếu: trong khi các công trình quốc tế kinh điển của Dorato (1961, 1997) và chuyên khảo của Amato cùng các cộng sự (2014) chủ yếu tập trung vào các hệ phương trình vi phân thông thường không suy biến, hoặc hệ suy biến không có trễ (Xu et al., 2008; Zhang et al., 2011), thì lý thuyết điều khiển cho hệ cỡ lớn (large-scale systems) đồng thời mang bản chất suy biến (singular/descriptor systems) và chịu tác động của độ trễ thời gian liên kết (interconnected delays) vẫn chưa được giải quyết một cách tường minh. Văn bản luận án chỉ rõ thách thức cốt lõi: "Nghiên cứu bài toán ổn định trong thời gian hữu hạn của hệ suy biến có trễ phức tạp hơn nhiều so với nghiên cứu các hệ thông thường bởi: Bài toán về sự tồn tại nghiệm và tính duy nhất nghiệm của hệ suy biến không phải bao giờ cũng giải được, ngay cả với trường hợp hệ là hệ tuyến tính... Xây dựng hàm Lyapunov và đánh giá đạo hàm của hàm Lyapunov là khó khăn và phức tạp hơn so với hệ thông thường... Nghiệm của hệ suy biến có trễ thường xuất hiện thành phần dạng xung (impulse) với trường hợp liên tục, và non-causal với trường hợp hệ là rời rạc".

Để giải quyết triệt để khoảng trống này, luận án thiết lập 3 câu hỏi nghiên cứu ($RQ$) và kiểm chứng 3 giả thuyết khoa học ($H$):

  • $RQ_1$: Làm thế nào để thiết lập các điều kiện đủ đảm bảo tính chính quy (regularity), không có xung (impulse-free) và ổn định trong thời gian hữu hạn cho hệ cỡ lớn tuyến tính suy biến liên tục có trễ dưới tác động của nhiễu bị chặn?
  • $RQ_2$: Cấu trúc của bộ điều khiển phản hồi phân quyền (decentralized state feedback) cần được thiết kế như thế nào để vừa ổn định hóa hệ thống trong khoảng thời gian xác định $[0, T]$, vừa đảm bảo hàm chi phí toàn phương không vượt quá một ngưỡng cận trên tối ưu (guaranteed cost control)?
  • $RQ_3$: Phương pháp phân tích phiếm hàm Lyapunov-Krasovskii kết hợp với biến đổi bất đẳng thức ma trận tuyến tính (LMI) có thể mở rộng để đồng thời giải quyết bài toán suy giảm nhiễu $H_\infty$ và đảm bảo giá trị điều khiển cho hệ cỡ lớn rời rạc suy biến có trễ hay không?
  • $H_1$: Tính chính quy và không có xung của toàn bộ hệ cỡ lớn suy biến có trễ tương đương với tính chính quy và không có xung của từng hệ thống con độc lập, cho phép phân rã bài toán phân tích toàn cục về các hệ LMI cục bộ.
  • $H_2$: Tồn tại một dạng phiếm hàm Lyapunov-Krasovskii tổng quát hóa kết hợp trọng số mũ $e^{\beta t}$ cho phép chặn trên quỹ đạo trạng thái vi phân $y_i^1(t) \in \mathbb{R}^{r_i}$ và trạng thái đại số $y_i^2(t) \in \mathbb{R}^{n_i - r_i}$ trong miền $[0, T]$.
  • $H_3$: Các ma trận phản hồi phân quyền $K_i$ có thể được tham số hóa tuyến tính và giải trực tiếp bằng công cụ tối ưu hóa lồi LMI Control Toolbox trong môi trường MATLAB.

Khung lý thuyết của công trình được xây dựng trên nền tảng giao thoa giữa lý thuyết hệ vi phân đại số (Differential-Algebraic Equations - DAEs), lý thuyết ổn định thời gian hữu hạn khởi nguồn từ Kamenkov (1953), Lebedev (1954) và phát triển bởi Dorato (1961, 1997), lý thuyết điều khiển tựa tối ưu $H_\infty$ của Zames, kết hợp cùng kỹ thuật phân tích giá trị kỳ dị (Singular Value Decomposition - SVD) và phép biến đổi mô hình suy biến của Fridman (2002). Phạm vi nghiên cứu khảo sát hệ thống gồm $K$ hệ con liên kết với số chiều trạng thái $x_i(t) \in \mathbb{R}^{n_i}$, ma trận suy biến $E_i \in \mathbb{R}^{n_i \times n_i}$ thỏa mãn hạng $\text{rank}(E_i) = r_i < n_i$, độ trễ ghép nối $0 < d_{ij} \le d$, khoảng thời gian quan sát $T > 0$, ngưỡng chặn đầu vào $c_1$ và ngưỡng chặn đầu ra $c_2$ với ma trận trọng số xác định dương $R = \text{diag}(R_1, \dots, R_K)$.

Literature Review và Positioning

Khái niệm ổn định trong thời gian hữu hạn có lịch sử phát triển học thuật lâu dài. Luận án trích dẫn chính xác nguồn gốc lịch sử: "Nếu giá trị đầu vào của hệ bị chặn bởi một hằng số $c_1$ thì quỹ đạo nghiệm của hệ sẽ bị chặn bởi một hằng số $c_2$ và điều này đúng với mọi $t \in [0, T]$ trong đó $c_1, c_2, T$ là các hằng số cho trước". Khái niệm này lần đầu tiên được giới thiệu bởi Kamenkov (1953) và Lebedev (1954) trên tạp chí Journal of Applied Mathematics and Mechanics (PMM), sau đó được Hahn (1963) dịch sang tiếng Anh và Dorato (1961) công bố dưới tên gọi "short-time stability". Trong giai đoạn 1969-1976, các kỹ thuật thiết kế điều khiển FTS ban đầu của Garrard (1969) và Dorato et al. (1972) chủ yếu dựa trên việc giải tích phân trực tiếp công thức nghiệm hoặc xấp xỉ quỹ đạo với khối lượng tính toán vô cùng phức tạp. Bước ngoặt phương pháp luận chỉ thực sự diễn ra khi Dorato và các cộng sự (1997) ứng dụng thành công các bất đẳng thức ma trận tuyến tính (LMIs) để giải quyết bài toán FTS cho hệ tuyến tính.

TIẾN TRÌNH LÝ THUYẾT ỔN ĐỊNH THỜI GIAN HỮU HẠN (FTS)
[1953-1954] Kamenkov & Lebedev: Đặt nền móng FTS trên hệ động lực học
[1961]      Dorato: Giới thiệu khái niệm "Short-time stability"
[1997]      Dorato et al.: Ứng dụng Bất đẳng thức Ma trận Tuyến tính (LMIs)
[2002-2008] Fridman / Xu et al.: Biến đổi mô hình suy biến & H-infinity
[2014]      Amato et al.: Chuyên khảo "Finite-time stability and control"
[2024]      Phạm Thị Hương & Vũ Ngọc Phát: Lý thuyết FTS toàn diện cho 
            hệ cỡ lớn suy biến có trễ liên kết (DAEs)

Tổng quan y văn chỉ ra sự tồn tại của hai luồng quan điểm và trường phái đối nghịch nhau trong lý thuyết điều khiển tự động:

  1. Trường phái Ổn định Cổ điển Lyapunov (Asymptotic / Exponential Stability): Đại diện bởi các nghiên cứu của Mahmoud (2010), Zhang et al. (2011), Chen et al. (2017). Trường phái này xem xét hành vi tiệm cận khi $t \to \infty$. Hạn chế căn bản là không đưa ra được bất kỳ thông tin nào về độ vọt lố (overshoot) hoặc biên độ dao động cực đại trong khoảng thời gian hữu hạn ban đầu, khiến hệ thống có thể bị phá hủy cấu trúc trước khi đạt tới trạng thái cân bằng.
  2. Trường phái Ổn định Thời gian Hữu hạn (Finite-Time Stability): Đại diện bởi Amato et al. (2001, 2014), Xiang et al. (2012), Shen et al. (2018). Trường phái này nhấn mạnh tính định lượng thực tế trong khoảng $[0, T]$. Tuy nhiên, việc áp dụng FTS cho các hệ suy biến có trễ gặp rào cản toán học khổng lồ do sự xuất hiện của các phương trình đại số phi động lực, các mode xung vô hạn và tính phi nhân quả.

Định vị nghiên cứu của luận án được xác lập rõ nét khi so sánh với ít nhất hai công trình quốc tế tiêu biểu:

  • So sánh với Amato et al. (2014) (Finite-Time Stability and Control, Springer): Amato và các cộng sự đã xây dựng hệ thống điều kiện LMI hoàn chỉnh cho các hệ phi suy biến và một số lớp hệ suy biến cơ bản không có trễ. Luận án của NCS. Phạm Thị Hương đã mở rộng vượt bậc khung phân tích của Amato bằng cách nhúng thành công cấu trúc trễ ghép nối $d_{ij}$ và tính suy biến đa tầng của $K$ hệ thống con vào cấu trúc phiếm hàm Lyapunov-Krasovskii cải biên.
  • So sánh với Li et al. (2019) và Xu et al. (2008): Các công trình này nghiên cứu điều khiển $H_\infty$ cho hệ suy biến rời rạc nhưng giả định hệ thống là đơn lẻ hoặc không có trễ liên kết giữa các biến trạng thái. Luận án đã giải quyết trọn vẹn bài toán cho hệ cỡ lớn rời rạc suy biến có trễ, đưa ra chặn trên hoàn chỉnh cho hàm chi phí $J(T, u)$ và mức suy giảm nhiễu $\gamma$.

Như văn bản luận án khẳng định: "Phần lớn các kết quả này nhận được hoặc cho các hệ cỡ lớn không có trễ... hoặc liên quan tới bài toán ổn định theo nghĩa Lyapunov cho hệ cỡ lớn không suy biến... Chưa có kết quả nghiên cứu nào về bài toán ổn định và điều khiển trong thời gian hữu hạn cho hệ cỡ lớn suy biến có trễ".

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

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

Luận án đã tạo ra bước tiến đột phá về mặt giải tích toán học khi mở rộng và hoàn thiện lý thuyết ổn định Lyapunov-Krasovskii cho lớp phương trình vi phân đại số cỡ lớn. Mô hình lý thuyết tổng quát được đặc trưng bởi hệ phương trình vi phân đại số liên kết: $$E_i \dot{x}i(t) = A_i x_i(t) + \sum{j=1, j \ne i}^K A_{ij} x_j(t - d_{ij}) + D_i w_i(t), \quad t \ge 0, ; i=1, \dots, K$$ với điều kiện ban đầu $x_i(t) = \phi_i(t), t \in [-d, 0]$.

Luận án đóng góp 3 định đề/mệnh đề lý thuyết nền tảng:

  • Định đề 1 (Bảo toàn tính chính quy và không có xung): Cặp ma trận hệ thống toàn cục $(\hat{E}, \hat{A})$ là chính quy và không có xung khi và chỉ khi từng cặp ma trận cục bộ $(E_i, A_i)$ của $K$ hệ thống con là chính quy ($\det(sE_i - A_i) \not\equiv 0$) và không có xung ($\deg(\det(sE_i - A_i)) = \text{rank}(E_i) = r_i$).
  • Định đề 2 (Khử ràng buộc đại số qua SVD): Luôn tồn tại các ma trận không suy biến $M_i, G_i$ phân rã không gian trạng thái $x_i(t)$ thành thành phần vi phân $y_i^1(t) \in \mathbb{R}^{r_i}$ và thành phần đại số thuần túy $y_i^2(t) \in \mathbb{R}^{n_i - r_i}$, cho phép biểu diễn tường minh nghiệm đại số theo nghiệm vi phân và trễ liên kết: $$y_i^2(t) = -[\bar{A}{22}^i]^{-1} \left( \bar{A}{21}^i y_i^1(t) + \sum_{j \ne i}^K \left[ A_{21}^{ij} y_j^1(t - d_{ij}) + A_{22}^{ij} y_j^2(t - d_{ij}) \right] + D_2^i w_i(t) \right)$$
  • Định đề 3 (Bất đẳng thức phân rã ma trận tự do): Thiết lập biến đổi giải tích tham số hóa ma trận $P_i = E_i^T \bar{P}i + P{ii} M_i$ với $M_i E_i = 0$ và $\bar{P}_i > 0$, biến đổi điều kiện phi tuyến $P_i E_i = E_i^T P_i^T \ge 0$ thành hệ bất đẳng thức ma trận tuyến tính LMI lồi hoàn toàn.

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

Khung phân tích của luận án tích hợp chặt chẽ 3 trụ cột lý thuyết: (1) Lý thuyết cấu trúc ma trận suy biến DAEs, (2) Lý thuyết phiếm hàm Lyapunov-Krasovskii có trọng số mũ, và (3) Lý thuyết tối ưu hóa ma trận LMI.

KHUNG PHÂN TÍCH TOÁN HỌC ĐỘC ĐÁO CỦA LUẬN ÁN
                   [Phân tích SVD & Khử xung Ma trận]
             [Phiếm hàm Lyapunov-Krasovskii Trọng số mũ e^{βt}]
               [MATLAB LMI Control Toolbox: Lệnh feasp / mincx]

Điểm đột phá phương pháp luận là việc giải quyết thành công vấn đề ước lượng nghiệm đại số $y_i^2(t)$ trên từng đoạn thời gian $[0, d_1], [d_1, 2d_1], \dots, [k d_1, (k+1) d_1]$ với $d_1 = \min_{i \ne j} {d_{ij}}$. Bằng kỹ thuật quy nạp giải tích trên các khoảng chia nhỏ, tác giả đã thiết lập được chặn trên hoàn chỉnh $\alpha_4 (\gamma_1 + b)$ cho chuẩn Euclidean $|Y_2(t)|^2$, loại bỏ triệt để nguy cơ bùng nổ nghiệm do các phương trình đại số liên kết gây ra.

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ chặt chẽ lập trường nhận thức luận thực chứng diễn dịch (Deductive Positivism) của toán học ứng dụng hiện đại. Mọi kết quả đều được phát triển từ các hệ tiên đề giải tích hàm, đại số ma trận và được chứng minh bằng các suy luận logic hình thức nghiêm ngặt. Thiết kế nghiên cứu mang tính đa tầng (multi-level hierarchical design):

  • Tầng vi mô (Subsystem level): Khảo sát từng hệ thống con $i$ ($i = 1, \dots, K$) với các tham số ma trận địa phương $A_i, B_i, D_i, E_i$, bậc tự do đại số $n_i - r_i$, và tín hiệu điều khiển cục bộ $u_i(t) = K_i x_i(t)$.
  • Tầng vĩ mô (Interconnected network level): Mô hình hóa cấu trúc tương tác mạng thông qua các ma trận ghép kênh $A_{ij}$ và độ trễ truyền thông $d_{ij}$.
  • Bộ thông số thiết kế: Tập hợp $K$ hệ thống con với kích thước không gian trạng thái $n = \sum_{i=1}^K n_i$, khoảng thời gian $T > 0$, hệ số suy giảm mũ $\beta > 0$, ma trận trọng số $R = \text{diag}(R_1, \dots, R_K) > 0$, và các ngưỡng năng lượng đầu vào/đầu ra $(c_1, c_2, d)$.

Quy trình nghiên cứu rigorous

Quy trình chứng minh toán học và thiết kế thuật toán trải qua các bước chuẩn hóa:

  1. Xây dựng Phiếm hàm Lyapunov-Krasovskii cải biên: $$V(t, x_t) = \sum_{i=1}^K \left[ e^{\beta t} x_i^T(t) P_i E_i x_i(t) + \sum_{j \ne i}^K \int_{t - d_{ji}}^t e^{\beta s} x_i^T(s) Q_i x_i(s) ds \right]$$ trong đó $P_i$ là các ma trận khả nghịch thỏa mãn $P_i E_i = E_i^T P_i^T \ge 0$, và $Q_i = Q_i^T > 0$.
  2. Kỹ thuật đánh giá đạo hàm dọc theo quỹ đạo nghiệm: Áp dụng bổ đề chặn ma trận: $$-X E^T X^{-1} E X \le -X E^T - E X + X \quad (\forall X = X^T > 0)$$ và các bất đẳng thức Cauchy-Schwarz mở rộng để triệt tiêu các số hạng phi tuyến chứa tích chéo giữa trạng thái $x_i(t)$, trễ $x_j(t - d_{ij})$ và nhiễu $w_i(t)$.
  3. Thiết lập ma trận khối $\Pi_i$: Đưa đạo hàm $\dot{V}(t, x_t) - \beta V(t, x_t)$ về dạng toàn phương $\sum_{i=1}^K e^{\beta t} \xi_i^T(t) \Pi_i \xi_i(t) + (K+1)e^{\beta t} \sum_{i=1}^K w_i^T(t) w_i(t)$.
  4. Biến đổi Schur và tuyến tính hóa LMI: Ứng dụng Bổ đề bù Schur (Schur Complement Lemma) để chuyển điều kiện $\Pi_i < 0$ thành ma trận khối LMI kích thước $(2K+2) \times (2K+2)$ hoàn toàn giải được bằng thuật toán điểm trong (interior-point methods).

Data và phân tích

Toàn bộ các thuật toán và ma trận điều khiển được kiểm chứng số trị (numerical verification) và mô phỏng trên nền tảng phần mềm MATLAB thông qua công cụ chuyên dụng LMI Control Toolbox.

Trong các ví dụ mô phỏng số, hệ thống giải quyết các bài toán tối ưu tham số phi tuyến: $$\min_{\bar{P}i, P{ii}, Q_i, U_i} c_2 \quad \text{thỏa mãn các ràng buộc LMI (2.6)}$$ Các chỉ số ma trận được trích xuất trực quan: giá trị riêng cực tiểu $\lambda_{\min}(P_{11}^i)$, giá trị riêng cực đại $\lambda_{\max}(P_i E_i)$, $\lambda_{\max}(Q_i)$, chỉ số điều kiện $\text{cond}(Q_i)$, và chuẩn ma trận nghịch đảo $|[\bar{A}{22}^i]^{-1}|$. Kết quả mô phỏng đồ họa xác nhận: với trạng thái ban đầu nằm trong elipxoit $\sup{s \in [-d, 0]} \phi^T(s) R \phi(s) \le c_1$, quỹ đạo nghiệm $x^T(t) R x(t)$ luôn nằm hoàn toàn phía dưới ngưỡng $c_2$ trên toàn bộ đoạn thời gian $[0, T]$.

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

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

  1. Thiết lập tiêu chuẩn FTS khả thi bằng LMI cho hệ suy biến liên tục (Định lý 2.4): Luận án chứng minh rằng hệ cỡ lớn suy biến có trễ (2.1) đạt tính ổn định trong thời gian hữu hạn theo bộ $(c_1, c_2, T, R_1, \dots, R_K)$ nếu tồn tại các ma trận $P_i, Q_i > 0, U_i$ thỏa mãn hệ LMI khối. Đây là kết quả đầu tiên trên thế giới giải quyết trọn vẹn bài toán FTS cho hệ DAEs cỡ lớn có trễ liên kết.
  2. Khẳng định tính độc lập của nghiệm đại số trong miền thời gian hữu hạn: Nghiên cứu chứng minh rằng điều kiện $[\bar{A}{22}^i]^T [\bar{P}{22}^i]^T + \bar{P}{22}^i \bar{A}{22}^i < 0$ không chỉ đảm bảo $\det(\bar{A}_{22}^i) \ne 0$ (khử xung) mà còn đảm bảo thành phần đại số $y_i^2(t)$ luôn bị chặn bởi một hằng số xác định phụ thuộc vào $c_1, T, \beta$ và các định mức ma trận.
  3. Giải pháp điều khiển đảm bảo giá trị (Guaranteed Cost Control - Chương 3): Xây dựng thành công thuật toán thiết kế bộ điều khiển phản hồi phân quyền $u_i(t) = K_i x_i(t) = N_i X_i^{-1} x_i(t)$ sao cho hệ kín vừa ổn định FTS, vừa đảm bảo hàm chi phí toàn phương $J(u) = \int_0^T \sum_{i=1}^K [x_i^T(t) U_i x_i(t) + u_i^T(t) V_i u_i(t)] dt \le J^*$.
  4. Đồng thời giải bài toán FTS $H_\infty$ và Guaranteed Cost cho hệ rời rạc (Chương 4): Thiết lập các điều kiện đủ giải hai bài toán điều khiển cốt lõi cho hệ rời rạc suy biến có trễ $E_i x_i(k+1) = A_i x_i(k) + \sum A_{ij} x_j(k - d_{ij}) + B_i u_i(k) + D_i w_i(k)$, đảm bảo mức suy giảm nhiễu $|z|_2 / |w|_2 \le \gamma$ và triệt tiêu tính phi nhân quả (non-causality).

Implications đa chiều

  • Về mặt lý thuyết: Hoàn thiện lý thuyết định tính cho phương trình vi phân đại số có trễ, bắc nhịp cầu vững chắc giữa lý thuyết ổn định thời gian hữu hạn và lý thuyết tối ưu hóa ma trận lồi.
  • Về phương pháp luận: Cung cấp quy trình mẫu chuẩn hóa (framework) để chuyển đổi các bài toán điều khiển phi tuyến, suy biến phức tạp về dạng các bài toán tối ưu LMI khả quy trên máy tính.
  • Về thực tiễn ứng dụng:
    • Hệ thống mạng lưới điện quốc gia (Power Grids): Mô hình hóa chính xác các thanh cái máy phát và phụ tải (vốn có bản chất vi phân kết hợp đại số) chịu trễ truyền thông tín hiệu đo lường SCADA/PMU, ngăn ngừa hiện tượng mất ổn định điện áp tức thời.
    • Mô hình kinh tế động Leontief: Phân tích sự cân bằng cung cầu và phân bổ nguồn lực liên ngành kinh tế trong các giai đoạn khủng hoảng ngắn hạn $T$.
    • Đường truyền không mất mát (Lossless transmission lines): Ổn định hóa điện áp và dòng điện trên các đường dây cao thế siêu dài có trễ lan truyền sóng.

Limitations và Future Research

Nhìn nhận một cách khách quan và khoa học, luận án tồn tại một số giới hạn nghiên cứu (boundary conditions):

  • Giới hạn về đặc tính trễ: Luận án tập trung khảo sát trễ hằng số $d_{ij} = \text{const}$. Trong thực tế các mạng truyền thông không dây, độ trễ thường biến thiên ngẫu nhiên theo thời gian $d_{ij}(t)$ hoặc phụ thuộc vào trạng thái hệ thống.
  • Tính tiền định của ma trận hệ thống: Các ma trận $A_i, B_i, E_i$ được xem là các ma trận hằng số xác định. Hiện tượng bất định tham số dạng cấu trúc ($\Delta A_i(t)$) hoặc nhiễu ngẫu nhiên Wiener/Itô chưa được tích hợp trong mô hình.
  • Độ phức tạp tính toán: Khi số lượng hệ thống con $K$ tăng lên rất lớn ($K > 100$), số lượng biến ma trận trong hệ LMI tăng theo hàm bậc hai, đòi hỏi dung lượng bộ nhớ và năng lực tính toán đáng kể của máy tính.

Chương trình nghiên cứu tiếp theo (Future Research Agenda) mở ra 4 hướng đi giàu tiềm năng:

  1. Mở rộng FTS cho hệ cỡ lớn suy biến có trễ biến thiên liên tục theo thời gian (time-varying delays) và trễ phân bố (distributed delays).
  2. Phát triển lý thuyết điều khiển bền vững (Robust FTS) cho hệ suy biến có tham số bất định và chuyển mạch ngẫu nhiên Markovian.
  3. Ứng dụng kỹ thuật điều khiển kích hoạt theo sự kiện (Event-Triggered Control) để giảm thiểu tải truyền thông trên mạng liên kết của hệ cỡ lớn.
  4. Mở rộng khung phân tích sang các hệ động lực phi tuyến suy biến thông qua phương pháp làm mờ Takagi-Sugeno (T-S Fuzzy Descriptor Systems).

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

Công trình nghiên cứu của NCS. Phạm Thị Hương mang lại giá trị học thuật xuất sắc và tiềm năng ứng dụng thực tế sâu rộng:

  • Tác động học thuật: Kết quả luận án được đúc kết từ 3 công trình khoa học chất lượng cao công bố trên các tạp chí chuyên ngành uy tín, được báo cáo tại Hội nghị Toán học toàn quốc lần thứ X (Đà Nẵng, 2023) và các hội thảo quốc tế tại Viện Nghiên cứu Cao cấp về Toán (VIASM). Các định lý trong luận án tạo tiền đề cho nhiều trích dẫn học thuật trên các tạp chí điều khiển hàng đầu thế giới như IEEE Transactions on Automatic Control, Automatica, SIAM Journal on Control and Optimization.
  • Chuyển đổi công nghiệp: Cung cấp thuật toán cốt lõi cho các kỹ sư tự động hóa trong việc lập trình bộ điều khiển nhúng PLC/DSP cho các hệ thống robot nhiều bậc tự do, hệ thống tay gắp cộng tác công nghiệp yêu cầu định vị chính xác tuyệt đối trong khoảng thời gian mili-giây.
  • An ninh năng lượng và hạ tầng: Đóng góp giải pháp toán học giúp các tập đoàn năng lượng tối ưu hóa điều độ truyền tải điện, giảm thiểu rủi ro sự cố rã lưới dây chuyền khi xảy ra ngắn mạch hoặc xung sét.

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

  • Nghiên cứu sinh và Giảng viên Toán ứng dụng: Tiếp cận một tài liệu tham khảo mẫu mực về kỹ thuật xử lý phiếm hàm Lyapunov-Krasovskii, đại số ma trận và giải thuật LMI cho hệ phương trình vi phân đại số.
  • Kỹ sư R&D trong ngành Hàng không - Vũ trụ và Robot: Nhận được giải thuật thiết kế bộ điều khiển phản hồi phân quyền tối ưu, đảm bảo thiết bị hoạt động ổn định trong các chu kỳ cơ động ngắn hạn với chi phí năng lượng tối thiểu.
  • Chuyên gia mô hình hóa Kinh tế lượng vĩ mô: Sử dụng khung phân tích hệ suy biến để dự báo chính xác động thái ngắn hạn của các dòng vốn và hàng hóa liên ngành trong mô hình động Leontief.

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

1. Đóng góp lý thuyết độc đáo và mang tính bước ngoặt nhất của luận án là gì? Đó là việc thiết lập thành công mối liên hệ toán học tương đương giữa tính chính quy, không có xung toàn cục của hệ cỡ lớn với các điều kiện ma trận cục bộ trên từng hệ thống con, đồng thời biến đổi thành công điều kiện phi tuyến $P_i E_i = E_i^T P_i^T \ge 0$ thành hệ bất đẳng thức ma trận tuyến tính LMI hoàn toàn giải được thông qua kỹ thuật phân rã ma trận tự do $P_i = E_i^T \bar{P}i + P{ii} M_i$.

2. Phương pháp luận của luận án có gì đột phá so với các nghiên cứu quốc tế trước đây? So với các công trình của Amato et al. (2014) (chỉ giải quyết hệ phi suy biến) và Xu et al. (2008) (hệ suy biến đơn lẻ không trễ), luận án đã kết hợp nhuần nhuyễn phép phân tích giá trị kỳ dị (SVD) với phương pháp quy nạp giải tích theo từng bước trễ $d_1 = \min {d_{ij}}$ để đánh giá chính xác chặn trên của thành phần nghiệm đại số $|Y_2(t)|^2$, giải quyết triệt để rào cản "bùng nổ xung" của hệ vi phân đại số có trễ.

3. Phát hiện nào trong luận án gây bất ngờ nhất về mặt toán học? Sự tồn tại của độ trễ liên kết giữa các biến đại số ($A_{22}^{ij} y_j^2(t - d_{ij})$) không hề làm phá vỡ tính ổn định trong thời gian hữu hạn của toàn hệ thống, miễn là tích chuẩn ma trận của các kênh liên kết đại số thỏa mãn điều kiện co trong chuỗi hình học $\alpha_4 = 2K(K-1) \max |[\bar{A}{22}^i]^{-1} A{22}^{ij}|^2 \sum_{l=0}^{[T/d_1]} (\cdot)^l$.

4. Luận án có cung cấp giao thức tái lập kết quả (Replication Protocol) rõ ràng không? Có. Toàn bộ các bước thuật toán, cấu trúc ma trận khối $\Pi_i$, cách thức chọn ma trận phụ trợ $M_i, G_i$, hàm mục tiêu tối ưu $\min c_2$, và mã nguồn tham số thiết kế trên MATLAB LMI Control Toolbox đều được trình bày minh bạch, chi tiết trong từng chương.

5. Luận án định hình chương trình nghiên cứu 10 năm tới như thế nào? Chương trình nghiên cứu dài hạn hướng tới việc xây dựng lý thuyết điều khiển Cyber-Physical Systems (CPS) suy biến cỡ lớn trên nền tảng mạng Internet vạn vật công nghiệp (IIoT), tích hợp khả năng chống chịu tấn công mạng (cyber-attacks) và cơ chế tự thích nghi thông minh.

Kết luận

Luận án tiến sĩ của tác giả Phạm Thị Hương đã hoàn thành xuất sắc mục tiêu nghiên cứu với 5 đóng góp học thuật cốt lõi:

  1. Thiết lập trọn vẹn hệ điều kiện đủ dạng LMI cho tính ổn định trong thời gian hữu hạn (FTS) của hệ cỡ lớn tuyến tính suy biến liên tục có trễ và nhiễu bị chặn.
  2. Đề xuất giải thuật giải tích tham số hóa ma trận tự do giúp chuyển đổi bài toán phân tích hệ vi phân đại số phi tuyến tính về dạng tối ưu hóa lồi khả thi.
  3. Thiết kế thành công bộ điều khiển phản hồi phân quyền giải quyết bài toán đảm bảo giá trị điều khiển (Guaranteed Cost Control) trong thời gian hữu hạn cho hệ suy biến liên tục có trễ.
  4. Mở rộng và giải quyết đồng thời bài toán điều khiển $H_\infty$ và điều khiển đảm bảo giá trị trong thời gian hữu hạn cho hệ cỡ lớn rời rạc suy biến có trễ.
  5. Kiểm chứng tính đúng đắn và khả thi của toàn bộ hệ thống lý thuyết thông qua các mô hình mô phỏng số trực quan bằng LMI Control Toolbox trong MATLAB.

Công trình không chỉ tạo nên bước tiến vượt bậc trong chuyên ngành Toán ứng dụng tại Việt Nam mà còn đóng góp một cấu phần lý thuyết giá trị vào kho tàng khoa học điều khiển tự động của cộng đồng học thuật quốc tế.