Tổng quan về luận án

Nghiên cứu về tính ổn định và bài toán tổng hợp điều khiển cho các hệ động lực học là một trong những trụ cột then chốt của toán học ứng dụng và kỹ thuật điều khiển hiện đại. Trong nhiều thập kỷ, lý thuyết ổn định tiệm cận theo nghĩa Lyapunov cổ điển—nghiên cứu 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$)—đã chiếm vị trí thống trị. Tuy nhiên, trong hàng loạt hệ thống kỹ thuật thực tế như mạng lưới điện thông minh, hệ thống truyền thông không mất mát (lossless transmission lines), động cơ hàng không vũ trụ, hay các quá trình phản ứng nhiệt - điện kết hợp, một hệ thống có thể ổn định tiệm cận nhưng lại vượt quá giới hạn an toàn vật lý trong một khoảng thời gian chuyển tiếp hữu hạn, dẫn đến sự phá hủy cấu trúc.

Để giải quyết mâu thuẫn này, khái niệm ổn định trong thời gian hữu hạn (Finite-Time Stability - FTS) được phát triển nhằm kiểm soát quỹ đạo nghiệm không vượt qua ngưỡng an toàn $c_2$ trong khoảng thời gian xác định $[0, T]$ khi trạng thái ban đầu bị chặn bởi $c_1$. Luận án tiến sĩ toán học của nghiên cứu sinh Phạm Thị Hương (2024), 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, mang tiêu đề "Ổn định và điều khiển một số lớp hệ phương trình suy biến có trễ", đã tạo ra bước đột phá lý thuyết quan trọng khi mở rộng và hoàn thiện bài toán FTS cho lớp hệ phương trình cỡ lớn tuyến tính suy biến có trễ kết nối (singular large-scale systems with delays), áp dụng cho cả hệ liên tục lẫn hệ rời rạc.

+---------------------------------------------------------------------------------------------------+
|                                KHUNG PHÂN TÍCH TỔNG QUAN LUẬN ÁN                                  |
+---------------------------------------------------------------------------------------------------+
|  LỚP ĐỐI TƯỢNG: Hệ cỡ lớn suy biến tuyến tính có trễ liên kết (K phân hệ)                         |
|  - Trễ tương tác: 0 < d_ij <= d, rank(E_i) = r_i < n_i                                            |
|  - Nhiễu bị chặn ngoài: w_i(t) thuộc L_2, tích phân w_i^T w_i <= h                                |
+-------------------------------------------------+-------------------------------------------------+
|               PHÂN TÍCH ĐỊNH TÍNH               |               TỔNG HỢP ĐIỀU KHIỂN               |
+-------------------------------------------------+-------------------------------------------------+
| 1. Tính chính quy (Regularity):                 | 1. Ổn định hóa trong thời gian hữu hạn          |
|    det(sE_i - A_i) không đồng nhất triệt tiêu   | 2. Đảm bảo giá trị điều khiển (GCC):            |
| 2. Không có xung (Impulse-free):                |    J(T, u*) <= J* (Tối ưu cận trên chi phí)     |
|    deg(det(sE_i - A_i)) = rank(E_i)             | 3. Điều khiển H-infinity thời gian hữu hạn:     |
| 3. Ổn định FTS theo bộ (c1, c2, T, R, d)        |    ||z||_2 / ||w||_2 <= gamma                   |
+-------------------------------------------------+-------------------------------------------------+
|             CÔNG CỤ GIẢI QUYẾT: Biến đổi SVD + Hàm Lyapunov-Krasovskii + Hệ LMI Matlab            |
+---------------------------------------------------------------------------------------------------+

Khoảng trống nghiên cứu (Research Gap)

Mặc dù lý thuyết FTS đã được nghiên cứu từ thập niên 1950, phần lớn các công trình quốc tế chỉ dừng lại ở các hệ động lực thông thường (hệ không suy biến, $\det(E) \ne 0$) hoặc các hệ suy biến đơn lẻ không có trễ. Khi đối mặt với hệ cỡ lớn (large-scale systems) bao gồm $K$ hệ thống con tương tác qua các liên kết trễ thời gian $A_{ij} x_j(t - d_{ij})$ và chứa ma trận suy biến $E_i$ ($\text{rank}(E_i) = r_i < n_i$), các thách thức toán học bùng nổ:

  1. Nghiệm của hệ suy biến có trễ có thể không tồn tại, không duy nhất hoặc xuất hiện thành phần xung vô hạn (impulse) ở hệ liên tục và tính phi nhân quả (non-causal) ở hệ rời rạc.
  2. Sự bùng nổ số chiều khiến các phương pháp điều khiển tập trung (centralized) trở nên bất khả thi về mặt tính toán.
  3. Rất hiếm các nghiên cứu thiết lập được điều kiện tối ưu cho bài toán Đảm bảo giá trị điều khiển (Guaranteed Cost Control - GCC) và Điều khiển $H_\infty$ trong thời gian hữu hạn cho lớp hệ suy biến cỡ lớn có trễ đa chiều.

Câu hỏi nghiên cứu và Giả thuyết khoa học

Luận án giải quyết 4 câu hỏi nghiên cứu cốt lõi:

  • RQ1: Làm thế nào để thiết lập điều kiện đại số bảo đảm tính chính quy và khử hoàn toàn thành phần xung (impulse-free) cho từng phân hệ suy biến có trễ kết nối?
  • RQ2: Tồn tại hay không các điều kiện đủ dưới dạng Bất đẳng thức Ma trận Tuyến tính (LMI) để kiểm tra tính FTS của hệ cỡ lớn suy biến liên tục chịu nhiễu bị chặn $w_i(t) \in L_2$?
  • RQ3: Quy tắc 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ào đảm bảo hệ kín vừa ổn định trong thời gian hữu hạn vừa tối ưu hóa cận trên hàm chi phí toàn phương $J(T, u)$?
  • RQ4: Làm thế nào để giải quyết đồng thời bài toán điều khiển $H_\infty$ và GCC trong thời gian hữu hạn cho hệ cỡ lớn rời rạc suy biến có trễ?

Các giả thuyết nghiên cứu tương ứng:

  • H1: Tồn tại phép biến đổi giá trị kỳ dị (SVD) phân rã không gian trạng thái thành hệ vi phân thường và hệ đại số, qua đó biến đổi điều kiện phi xung thành điều kiện khả nghịch của khối ma trận đại số $\det(\bar{A}_{22}^i) \ne 0$.
  • H2: Việc xây dựng phiếm hàm Lyapunov-Krasovskii chứa thừa số trọng số hàm mũ $e^{\beta t}$ kết hợp kỹ thuật chặn vi phân - tích phân từng đoạn cho phép khống chế năng lượng của cả biến vi phân lẫn biến đại số trên đoạn $[0, T]$.
  • H3: Các bài toán điều khiển phân quyền FTS, GCC và $H_\infty$ đều có thể chuyển hóa hoàn toàn về dạng các bài toán tối ưu lồi bị ràng buộc bởi các LMI khả quy trên MATLAB LMI Control Toolbox.

Khung lý thuyết và Phạm vi nghiên cứu

  • Khung lý thuyết tích hợp: Kết hợp 5 nền tảng toán học cao cấp gồm: Lý thuyết hệ phương trình vi phân - đại số (DAEs), Lý thuyết ổn định thời gian hữu hạn (Dorato & Amato), Lý thuyết phiếm hàm Lyapunov-Krasovskii, Lý thuyết điều khiển $H_\infty$ (Zames), và Lý thuyết điều khiển bảo đảm chi phí (Chang & Peng).
  • Phạm vi và quy mô: Xét $K$ hệ thống con liên kết, vector trạng thái $x_i(t) \in \mathbb{R}^{n_i}$, vector điều khiển $u_i(t) \in \mathbb{R}^{m_i}$, vector nhiễu $w_i(t) \in \mathbb{R}^{p_i}$, độ trễ hằng số $0 < d_{ij} \le d$, khoảng thời gian quan sát $t \in [0, T]$ với ma trận trọng số xác định dương $R = \text{diag}(R_1, \dots, R_K) > 0$.

Literature Review và Positioning

Tổng quan các dòng lý thuyết chính

Lý thuyết ổn định trong thời gian hữu hạn bắt nguồn từ các công trình tiên phong của Kamenkov (1953) và Lebedev (1954) trên tạp chí PMM, sau đó được giới thiệu sang phương Tây qua các nghiên cứu của Chzhan-Sy-In (1959), Hahn (1963), và Dorato (1961) dưới tên gọi "short-time stability". Dorato định nghĩa hệ thống là ổn định FTS nếu với trạng thái ban đầu thỏa mãn $x^T(0)Rx(0) \le c_1$, quỹ đạo trạng thái được bảo đảm $x^T(t)Rx(t) < c_2$ với mọi $t \in [0, T]$ ($c_2 > c_1 > 0$).

Giai đoạn 1997-2014 đánh dấu bước nhảy vọt khi Dorato et al. (1997) và đặc biệt là chuyên khảo kinh điển của Amato et al. (2014) đưa công cụ Bất đẳng thức Ma trận Tuyến tính (LMIs) vào giải quyết FTS. Song song đó, lý thuyết hệ suy biến (singular/descriptor systems) được định hình bởi Singh & Liu (1973), Campbell (1980), Dai (1989), Duan (2010), và Fridman (2002) với phép biến đổi mô hình suy biến cho hệ có trễ. Về lý thuyết điều khiển tối ưu, Zames (1981) khai sinh chuẩn $H_\infty$ để giảm thiểu ảnh hưởng cực đại của nhiễu $|z|_2 / |w|_2 \le \gamma$, trong khi Chang & Peng (1972) đặt nền móng cho bài toán Guaranteed Cost Control (GCC) nhằm khống chế chặn trên của hàm chi phí toàn phương: $$J(T, u) = \int_0^T \left[ x^T(t) U x(t) + u^T(t) V u(t) \right] dt$$

+---------------------------------------------------------------------------------------------------+
|                           BẢN ĐỒ TIẾP NỐI VÀ ĐỊNH VỊ HỌC THUẬT                                    |
+---------------------------------------------------------------------------------------------------+
| 1. FTS cổ điển & hiện đại: Kamenkov (1953) -> Dorato (1961) -> Amato et al. (2014)                |
| 2. Hệ suy biến & trễ: Singh & Liu (1973) -> Dai (1989) -> Fridman (2002)                         |
| 3. Điều khiển H-inf & GCC: Chang & Peng (1972) -> Zames (1981) -> Xu et al. (2006)               |
+---------------------------------------------------------------------------------------------------+
                                                  |
                                                  v
+---------------------------------------------------------------------------------------------------+
|                                KHOẢNG TRỐNG VÀ ĐỐI CHIẾU QUỐC TẾ                                  |
+------------------------------------+--------------------------------------------------------------+
| NGHIÊN CỨU QUỐC TẾ TIÊU BIỂU       | GIỚI HẠN TỒN TẠI VÀ BƯỚC TIẾN CỦA LUẬN ÁN                    |
+------------------------------------+--------------------------------------------------------------+
| Liu et al. (2018) [42]             | - Nghiên cứu FTS hệ cỡ lớn có trễ nhưng KHÔNG suy biến       |
|                                    |   (det(E_i) != 0).                                           |
|                                    | -> Luận án: Mở rộng cho hệ suy biến rank(E_i) < n_i.         |
+------------------------------------+--------------------------------------------------------------+
| Zhang & Sun (2016) [76]            | - Nghiên cứu FTS hệ cỡ lớn suy biến nhưng KHÔNG có trễ       |
|                                    |   (d_ij = 0).                                                |
|                                    | -> Luận án: Thiết lập điều kiện cho hệ có đa trễ kết nối.    |
+------------------------------------+--------------------------------------------------------------+
| Li et al. (2017) [47]              | - Nghiên cứu hệ suy biến cỡ lớn dưới ổn định Lyapunov tiệm   |
|                                    |   cận vô hạn (t -> vô cùng).                                 |
|                                    | -> Luận án: Giải quyết FTS trong khoảng thời gian hữu hạn T. |
+------------------------------------+--------------------------------------------------------------+

Các mâu thuẫn học thuật then chốt

  1. Ổn định Lyapunov vô hạn ($t \to \infty$) đối lập với Ổn định FTS trong thời gian hữu hạn ($[0, T]$): Ổn định Lyapunov không quan tâm đến biên độ quá độ trong khoảng thời gian ngắn; một hệ ổn định tiệm cận hoàn toàn có thể bốc cháy hoặc gãy trục cơ học trước khi đạt trạng thái cân bằng. Ngược lại, một hệ không ổn định Lyapunov vẫn có thể vận hành an toàn tuyệt đối trong thời gian $T$ nếu quỹ đạo bị chặn trong miền $c_2$.
  2. Kiến trúc điều khiển tập trung (Centralized) đối lập với Phân quyền (Decentralized): Tiếp cận tập trung gom toàn bộ hệ thống thành một siêu ma trận kích thước $\sum n_i \times \sum n_i$, dẫn đến sự bùng nổ độ phức tạp tính toán và phá vỡ cấu trúc ma trận thưa cục bộ. Luận án chọn tiếp cận phân quyền, thiết kế các bộ điều khiển phản hồi cục bộ $u_i(t) = K_i x_i(t)$ dựa trên thông tin trạng thái riêng biệt của từng phân hệ.

Đó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 toàn diện khung lý thuyết FTS của Amato et al. (2014) sang lớp hệ phương trình vi phân đại số cỡ lớn có trễ liên kết, giải quyết trọn vẹn 3 bài toán điều khiển cơ bản.

+---------------------------------------------------------------------------------------------------+
|                                 CÁC MỆNH ĐỀ ĐÓNG GÓP CỐT LÕI                                      |
+---------------------------------------------------------------------------------------------------+
| Mệnh đề 1 (Khử xung và Chính quy):                                                               |
| Cặp (E_i, A_i) chính quy và phi xung <=> Tồn tại ma trận nghịch đảo sao cho det(A_22^i) != 0.     |
+---------------------------------------------------------------------------------------------------+
| Mệnh đề 2 (Tính tương đương LMI khả quy):                                                         |
| Biểu diễn P_i = E_i^T P_bar_i + P_ii * M_i với M_i E_i = 0 biến đổi đẳng thức phi tuyến           |
| P_i E_i = E_i^T P_i^T >= 0 thành hệ LMI giải được trực tiếp.                                      |
+---------------------------------------------------------------------------------------------------+
| Mệnh đề 3 (Chặn nghiệm đại số từng đoạn):                                                        |
| ||Y_2(t)||^2 <= alpha_4 * (gamma_1 + b) trên [0, T] qua phép phân hoạch theo d_1 = min(d_ij).     |
+---------------------------------------------------------------------------------------------------+
| Mệnh đề 4 (Tối ưu hóa tham số cận trên):                                                          |
| min c_2 phụ thuộc vào nghiệm của hệ LMI (2.6) với các ràng buộc năng lượng ban đầu c_1 và nhiễu h.|
+---------------------------------------------------------------------------------------------------+

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

Khung phân tích của luận án tích hợp đồng thời ba cấu trúc:

  1. Phép phân rã không gian SVD: Với mỗi phân hệ $i$, tồn tại các ma trận khả nghịch $M_i, G_i$ sao cho: $$M_i E_i G_i = \begin{bmatrix} I_{r_i} & 0 \ 0 & 0 \end{bmatrix}, \quad M_i A_i G_i = \begin{bmatrix} \bar{A}{11}^i & \bar{A}{12}^i \ \bar{A}{21}^i & \bar{A}{22}^i \end{bmatrix}$$ Biến đổi trạng thái $y_i(t) = G_i^{-1} x_i(t) = [y_i^1(t)^T, y_i^2(t)^T]^T$ giúp tách rời phần động lực học vi phân $y_i^1(t) \in \mathbb{R}^{r_i}$ và phần ràng buộc đại số $y_i^2(t) \in \mathbb{R}^{n_i - r_i}$.

  2. Phiếm hàm Lyapunov-Krasovskii mở rộng với trọng số hàm mũ: $$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, j=1}^K \int_{t - d_{ji}}^t e^{\beta s} x_i^T(s) Q_i x_i(s) ds \right]$$ với $P_i E_i = E_i^T P_i^T \ge 0$, $Q_i > 0$, $\beta > 0$.

  3. Điều kiện biên xác định (Boundary Conditions):

    • Năng lượng trạng thái kích động ban đầu: $\sup_{s \in [-d, 0]} \phi^T(s) R \phi(s) \le c_1$.
    • Năng lượng nhiễu tích lũy: $\int_0^T w_i^T(t) w_i(t) dt \le h$.
    • Ngưỡng chặn an toàn: $x^T(t) R x(t) < c_2, \forall t \in [0, T]$.

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

Thiết kế nghiên cứu

  • Triết lý khoa học: Thực chứng diễn dịch kết hợp suy luận toán học chặt chẽ (Deductive Mathematical Rigor).
  • Thiết kế phân tầng đa cấp (Multi-level Architecture): Cấp độ cục bộ thực hiện giải tích ma trận cho từng phân hệ con $i \in {1, \dots, K}$; cấp độ toàn cục xử lý ma trận ghép nối trễ $\sum_{j \ne i}^K A_{ij} x_j(t - d_{ij})$.
+---------------------------------------------------------------------------------------------------+
|                                QUY TRÌNH NGHIÊN CỨU RIGOROUS                                      |
+---------------------------------------------------------------------------------------------------+
|  [Hệ cỡ lớn suy biến có trễ] ---> [Biến đổi SVD & Tách biến vi phân - đại số (y_i^1, y_i^2)]      |
|                                                     |                                             |
|                                                     v                                             |
|  [Thiết lập phiếm hàm Lyapunov-Krasovskii V(t)] ---> [Lấy đạo hàm vi phân dV/dt dọc quỹ đạo]     |
|                                                     |                                             |
|                                                     v                                             |
|  [Đánh giá bất đẳng thức ma trận & Schur]       ---> [Thiết lập ma trận khối Pi_i < 0]            |
|                                                     |                                             |
|                                                     v                                             |
|  [Khử phi tuyến: P_i = E_i^T P_bar_i + P_ii M_i] ---> [Hệ Bất đẳng thức Ma trận Tuyến tính (LMI)]|
|                                                     |                                             |
|                                                     v                                             |
|  [Giải số trị trên MATLAB LMI Toolbox]         ---> [Mô phỏng động cơ 3 phân hệ & Tối ưu c_2]    |
+---------------------------------------------------------------------------------------------------+

Quy trình nghiên cứu rigorous

Để vượt qua rào cản ma trận phi tuyến trong điều kiện $P_i E_i = E_i^T P_i^T \ge 0$, luận án đưa ra kỹ thuật biểu diễn tham số hóa: $$P_i := E_i^T \bar{P}_i + P_i^{ii} M_i$$ trong đó $\bar{P}_i = \bar{P}_i^T > 0$, $P_i^{ii}$ là ma trận tự do tùy ý, và $M_i$ là ma trận cơ sở trực giao thỏa mãn $M_i E_i = 0$. Khi đó, đẳng thức $P_i E_i = E_i^T \bar{P}_i E_i \ge 0$ tự động thỏa mãn với mọi $i = 1, \dots, K$.

Bằng cách áp dụng Bổ đề Schur (Bổ đề 1.1) và bổ đề triệt tiêu ma trận, đạo hàm của phiếm hàm $V(t, x_t)$ được chặn bởi: $$\dot{V}(t, x_t) - \beta V(t, x_t) \le \sum_{i=1}^K \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)$$ với $\xi_i(t)$ là vector trạng thái mở rộng và $\Pi_i < 0$ là khối ma trận LMI tương đương với hệ bất đẳng thức (2.6).

Kỹ thuật phân tích dữ liệu và Đánh giá nghiệm đại số

Một trong những thách thức lớn nhất của hệ suy biến có trễ là đánh giá chuẩn của biến đại số $Y_2(t) = [y_1^2(t)^T, \dots, y_K^2(t)^T]^T$. Do không có đạo hàm, $y_i^2(t)$ được biểu diễn trực tiếp qua phương trình đại số: $$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]$$

Luận án đã thiết lập kỹ thuật quy nạp thời gian phân đoạn dựa trên bước trễ nhỏ nhất $d_1 = \min_{i \ne j} {d_{ij}}$:

  • Trên đoạn $[0, d_1]$, do $t - d_{ji} \in [-d, 0]$, giá trị $y_j^2(t - d_{ij})$ được chặn bởi điều kiện ban đầu $\rho c_1$.
  • Bằng quy nạp trên các đoạn lân cận $[k d_1, (k+1) d_1] \cap [0, T]$, chuẩn $|Y_2(t)|^2$ được chứng minh bị chặn nghiêm ngặt bởi $\alpha_4 (\gamma_1 + b)$ với mọi $t \in [0, T]$, từ đó thiết lập bất đẳng thức khống chế toàn cục: $$x^T(t) R x(t) \le \max_{i=1, K} {\lambda_{\max}(G_i^T R_i G_i)} \left[ f(c_1) e^{\beta T} + \alpha_4 (\gamma_1 + b) \right] < c_2$$

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

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

  1. Thiết lập điều kiện khả quy LMI tường minh cho FTS hệ suy biến cỡ lớn: Định lý 2.4 cung cấp tiêu chuẩn đầy đủ đầu tiên trong y văn quốc tế cho phép kiểm tra tính FTS của hệ cỡ lớn suy biến có trễ liên kết và chịu nhiễu $w_i(t)$ bị chặn thông qua hệ LMI giải được bằng thuật toán nội điểm (interior-point algorithms).
  2. Khử hoàn toàn xung động (Impulse Elimination): Chứng minh rằng điều kiện khả nghịch $\det(\bar{A}{22}^i) \ne 0$ được bảo đảm tự động khi bất đẳng thức $\Delta{1,1}^i < 0$ thỏa mãn, loại bỏ rủi ro bùng nổ tín hiệu dạng xung vô hạn trong hệ thống vật lý.
  3. Thuật toán tổng hợp điều khiển bảo đảm chi phí (GCC) tối ưu: Xác định ma trận khuếch đại phản hồi $K_i$ cho từng phân hệ sao cho chi phí toàn phương thực tế không vượt quá giới hạn $J^*$, giải quyết bài toán tựa tối ưu năng lượng điều khiển trong công nghiệp.
  4. Giải pháp điều khiển $H_\infty$ thời gian hữu hạn cho hệ rời rạc: Xây dựng thành công tiêu chuẩn triệt tiêu nhiễu với chỉ số suy giảm $\gamma > 0$ cho hệ cỡ lớn rời rạc suy biến có trễ ở Chương 4, khắc phục triệt để hiện tượng non-causal.
+---------------------------------------------------------------------------------------------------+
|                                BẢNG TỔNG HỢP CÁC KẾT QUẢ ĐỘT PHÁ                                  |
+-------------------+--------------------------------+----------------------------------------------+
| CHƯƠNG / BÀI TOÁN | LỚP HỆ ĐỘNG LỰC                | ĐÓNG GÓP ĐỘT PHÁ TOÁN HỌC                    |
+-------------------+--------------------------------+----------------------------------------------+
| Chương 2: FTS     | Hệ liên tục cỡ lớn suy biến    | - Thiết lập tiêu chuẩn LMI (Định lý 2.4).    |
|                   | có đa trễ và nhiễu L_2         | - Đánh giá chặn nghiệm đại số qua d_1.       |
|                   |                                | - Bài toán tối ưu tham số min c_2.           |
+-------------------+--------------------------------+----------------------------------------------+
| Chương 3: GCC     | Hệ liên tục cỡ lớn suy biến    | - Thiết kế bộ điều khiển phản hồi u_i = K_i x_i|
|                   | có trễ điều khiển              | - Cận trên chi phí hữu hạn J(T, u*) <= J*.   |
+-------------------+--------------------------------+----------------------------------------------+
| Chương 4: H-inf & | Hệ rời rạc cỡ lớn suy biến     | - Khử tính non-causal trong hệ rời rạc.      |
| GCC rời rạc       | có trễ trạng thái và trễ ngõ ra| - Đảm bảo mức suy giảm nhiễu gamma cực tiểu. |
+-------------------+--------------------------------+----------------------------------------------+

Implications đa chiều

  • Ý nghĩa lý thuyết: Đặt nền móng hoàn chỉnh cho nhánh giải tích hệ động lực học suy biến cỡ lớn trong miền thời gian hữu hạn, làm cầu nối giữa giải tích ma trận và lý thuyết điều khiển tự động hiện đại.
  • Phương pháp luận: Khung làm việc dựa trên LMI phân quyền có thể chuyển giao trực tiếp để nghiên cứu các lớp hệ phức tạp hơn như hệ chuyển mạch (switched systems), hệ ngẫu nhiên (stochastic Markov jump systems).
  • Ứng dụng thực tiễn:
    • Mạng lưới điện thông minh (Smart Grids): Duy trì điện áp và tần số trong biên độ an toàn $c_2$ khi xảy ra sự cố ngắt mạch chuyển tiếp trong thời gian $T$.
    • Hệ thống Nhiệt - Điện kết hợp (CHP Plants): Kiểm soát ổn định áp suất hơi nước và phân phối tải nhiệt có trễ truyền dẫn.
    • Hệ thống Robot cộng tác: Điều khiển bám quỹ đạo đồng bộ giữa các cánh tay robot có trễ truyền thông.

Limitations và Future Research

Hạn chế học thuật (Limitations)

  1. Giả thiết về trễ hằng số (Constant Delays): Mô hình trong luận án giả định trễ $d_{ij}$ là các hằng số đã biết, chưa bao quát trường hợp trễ biến thiên liên tục theo thời gian $d_{ij}(t)$ hoặc trễ phụ thuộc trạng thái.
  2. Cấu trúc tuyến tính hóa (Linearity): Các kết quả tập trung vào hệ tuyến tính suy biến; đối với các hệ phi tuyến cao cấp (non-Lipschitz), phương pháp LMI trực tiếp sẽ gặp khó khăn.
  3. Phản hồi trạng thái đầy đủ (State Feedback): Giả định rằng toàn bộ vector trạng thái $x_i(t)$ đều đo lường được trực tiếp, trong khi thực tế thường cần bộ quan sát trạng thái (Observer-based output feedback).

Chương trình nghiên cứu tương lai (Future Research Agenda)

  • Hướng 1: Mở rộng FTS cho hệ cỡ lớn suy biến với trễ biến thiên theo thời gian (time-varying delays) sử dụng bất đẳng thức tích phân Wirtinger và Bessel-Legendre.
  • Hướng 2: Phát triển điều khiển phân quyền kích hoạt theo sự kiện (Event-Triggered Control) nhằm tiết kiệm băng thông truyền thông mạng.
  • Hướng 3: Nghiên cứu hệ suy biến cỡ lớn ngẫu nhiên có bước nhảy Markov (Markovian Jump Singular Large-Scale Systems).
  • Hướng 4: Xây dựng bộ điều khiển phản hồi đầu ra dựa trên quan sát trạng thái (Dynamic Output Feedback Controller).

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

+---------------------------------------------------------------------------------------------------+
|                                MA TRẬN TÁC ĐỘNG VÀ ẢNH HƯỞNG                                      |
+-------------------+-------------------------------------------------------------------------------+
| LĨNH VỰC          | BIỂU HIỆN TÁC ĐỘNG VÀ CHỈ SỐ ĐO LƯỜNG                                         |
+-------------------+-------------------------------------------------------------------------------+
| Học thuật quốc tế | - Công bố 03 bài báo ISI/Scopus uy tín trên các tạp chí chuyên ngành.         |
|                   | - Trở thành tài liệu tham khảo chuẩn mực về FTS cho hệ DAEs cỡ lớn.           |
+-------------------+-------------------------------------------------------------------------------+
| Công nghiệp R&D   | - Tích hợp giải thuật vào MATLAB Toolbox cho các kỹ sư điều khiển hệ thống.   |
|                   | - Ứng dụng tối ưu hóa hệ thống phát điện vi lưới (Microgrids).                |
+-------------------+-------------------------------------------------------------------------------+
| Đào tạo sau ĐH    | - Cung cấp giáo trình chuyên khảo cho học viên cao học và NCS Toán Ứng dụng.  |
|                   | - Thúc đẩy seminar chuyên sâu tại Viện Toán học và các trường Đại học.        |
+-------------------+-------------------------------------------------------------------------------+

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

  • Nghiên cứu sinh & Nhà toán học lý thuyết: Tiếp cận kỹ thuật phân tích SVD kết hợp Lyapunov-Krasovskii phân đoạn để giải quyết các bài toán phương trình vi phân đại số phức tạp.
  • Kỹ sư Tự động hóa & R&D Công nghiệp: Nhận được các thuật toán thiết kế bộ điều khiển phản hồi phân quyền $K_i$ có thể lập trình trực tiếp trên PLC/DSP mà không đòi hỏi năng lực tính toán siêu máy tính.
  • Nhà hoạch định chính sách hạ tầng năng lượng: Có cơ sở khoa học để xây dựng các tiêu chuẩn an toàn chuyển tiếp thời gian thực cho hệ thống truyền tải điện quốc gia và mạng lưới giao thông thông minh.

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ì và mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc thiết lập thành công tiêu chuẩn ổn định trong thời gian hữu hạn (FTS) cho lớp hệ phương trình vi phân đại số cỡ lớn có trễ liên kết và chịu nhiễu ngoài. Luận án đã mở rộng trực tiếp lý thuyết FTS của Amato et al. (2014) từ hệ động lực thông thường sang hệ suy biến cỡ lớn, đồng thời mở rộng các kết quả của Fridman (2002) về hệ suy biến có trễ sang cấu trúc phân quyền đa hệ thống con.

2. Sự đổi mới phương pháp luận khi so sánh với ít nhất 2 nghiên cứu quốc tế trước đây?

So với nghiên cứu của Liu et al. (2018) [42] (chỉ xét hệ cỡ lớn không suy biến $\det(E_i) \ne 0$) và Zhang & Sun (2016) [76] (chỉ xét hệ suy biến không có trễ $d_{ij} = 0$), luận án đã đổi mới phương pháp luận bằng cách:

  • Kết hợp phép biến đổi SVD để tách biến vi phân - đại số cục bộ cho từng phân hệ.
  • Sử dụng kỹ thuật tham số hóa $P_i = E_i^T \bar{P}_i + P_i^{ii} M_i$ để tuyến tính hóa hoàn toàn điều kiện phi tuyến $P_i E_i = E_i^T P_i^T \ge 0$.
  • Phân hoạch thời gian theo bước trễ tối thiểu $d_1 = \min d_{ij}$ để chặn năng lượng của biến đại số tĩnh $Y_2(t)$.

3. Phát hiện bất ngờ nhất về mặt toán học trong luận án là gì?

Phát hiện bất ngờ nhất là điều kiện phi xung (impulse-free, $\det(\bar{A}{22}^i) \ne 0$) không cần phải đặt ra như một giả thiết bổ sung riêng biệt, mà nó được hàm chứa và suy biến trực tiếp từ điều kiện âm của khối ma trận LMI $\Delta{1,1}^i < 0$. Điều này chứng minh tính tương thích hoàn hảo giữa hàm Lyapunov-Krasovskii xây dựng và cấu trúc đại số của hệ suy biến.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) không?

Có. Toàn bộ các bước chứng minh toán học, các bổ đề đại số ma trận (Bổ đề 1.1 đến Bổ đề 1.7), cùng thuật toán thiết lập ma trận LMI và code mô phỏng số trên MATLAB LMI Control Toolbox cho mô hình động cơ máy 3 phân hệ đều được trình bày chi tiết từng bước, cho phép cộng đồng khoa học kiểm chứng và tái lập chính xác kết quả.

5. Lộ trình nghiên cứu 10 năm được vạch ra như thế nào?

Lộ trình 10 năm tập trung vào:

  • Giai đoạn 1-3 năm: Mở rộng cho hệ suy biến cỡ lớn phi tuyến Lipschitz và trễ biến thiên theo thời gian.
  • Giai đoạn 4-6 năm: Phát triển khung điều khiển phân quyền qua mạng truyền thông số (Networked Control Systems) với cơ chế kích hoạt theo sự kiện và trễ ngẫu nhiên Markov.
  • Giai đoạn 7-10 năm: Ứng dụng thực tế hóa trên các hệ thống vật lý - không gian mạng (Cyber-Physical Systems) quy mô quốc gia như lưới điện thông minh và hệ thống kiểm soát không lưu tự động.

Kết luận

Luận án tiến sĩ toán học của tác giả Phạm Thị Hương là một công trình nghiên cứu xuất sắc, mẫu mực và hoàn chỉnh trong chuyên ngành Toán ứng dụng. Sáu đóng góp cụ thể của luận án bao gồm:

  1. Thiết lập trọn vẹn tiêu chuẩn ổn định trong thời gian hữu hạn (FTS) cho hệ cỡ lớn tuyến tính suy biến liên tục có trễ và chịu nhiễu bị chặn.
  2. Đề xuất kỹ thuật phân rã không gian SVD kết hợp quy nạp thời gian phân đoạn theo bước trễ cực tiểu $d_1$ để khống chế biến đại số.
  3. Thiết kế thành công thuật toán điều khiển phản hồi phân quyền bảo đảm chi phí (GCC) trong thời gian hữu hạn cho hệ liên tục.
  4. Mở rộng và giải quyết đồng thời bài toán điều khiển $H_\infty$ và bài toán GCC trong thời gian hữu hạn cho hệ cỡ lớn rời rạc suy biến có trễ.
  5. Tuyến tính hóa triệt để các ràng buộc ma trận bán xác định phức tạp thành hệ LMI giải được tường minh trên phần mềm MATLAB.
  6. Minh chứng tính đúng đắn và hiệu quả vượt trội của lý thuyết qua các mô hình mô phỏng kỹ thuật thực tế.

Công trình không chỉ giải quyết các bài toán mở tồn tại nhiều năm trong lý thuyết điều khiển hệ suy biến mà còn mở ra các hướng nghiên cứu hiện đại về điều khiển phân quyền thời gian thực cho các hệ thống kỹ thuật phức tạp trong kỷ nguyên số.