Tổng quan về luận án

Nghiên cứu của tác giả Nguyễn Trường Thanh (Chuyên ngành: Phương trình vi phân và tích phân, Mã số: 62460103) tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội, dưới sự hướng dẫn khoa học của GS. Vũ Ngọc Phát và PGS. Vũ Hoàng Linh, mang tựa đề: "Điều khiển $H_\infty$ các hệ phương trình vi phân có trễ biến thiên". Luận án giải quyết một trong những thách thức cốt lõi của lý thuyết điều khiển hiện đại: thiết kế bộ điều khiển phản hồi trạng thái nhằm đảm bảo tính ổn định hóa dạng mũ ($\beta$-exponential stabilization) và tối ưu hóa mức độ triệt tiêu nhiễu ($\gamma$-disturbance attenuation) cho các hệ động lực phức tạp chứa trễ thời gian biến thiên liên tục dạng khoảng (interval time-varying delays).

Trong thực tế kỹ thuật – từ mạng lưới truyền thông dữ liệu, hệ thống điện lưới quy mô lớn (smart grid), cánh tay robot công nghiệp đến các chuỗi phản ứng hóa học – hiện tượng trễ thời gian là nguyên nhân chính gây suy giảm hiệu suất, dao động mất kiểm soát và gây mất ổn định hệ thống. Bài toán điều khiển $H_\infty$ bắt nguồn từ công trình nền tảng của G. Zames (1981), nhằm mục đích: "Tìm điều khiển để ổn định hóa hệ thống khi không có nhiễu và khi có nhiễu thì điều khiển này đảm bảo tác dụng của nhiễu là nhỏ nhất". Tuy nhiên, đa số các công trình kinh điển trước đây (Doyle et al., 1989; Francis, 1987) chủ yếu tập trung vào hệ thống tuyến tính với trễ hằng số ($h(t) \equiv h$) hoặc đòi hỏi hàm trễ phải khả vi và có đạo hàm bị chặn ngặt nghèo ($\dot{h}(t) \le d < 1$).

Khoảng trống nghiên cứu (Research Gap) xuất hiện rõ rệt ở ba điểm nghẽn học thuật:

  1. Thiếu vắng khung giải tích cho trễ biến thiên nhanh không khả vi: Khi hàm trễ $h(t) \in [h_1, h_2]$ biến thiên không trơn hoặc có tốc độ biến thiên tùy ý, các điều kiện ổn định dựa trên đạo hàm trễ đều vô hiệu.
  2. Bỏ ngỏ cấu trúc trễ xuất hiện đồng thời ở kênh quan sát ngõ ra phi tuyến: Hầu hết nghiên cứu chỉ xét trễ ở phương trình trạng thái $\dot{x}(t)$ và giả định hàm quan sát $z(t)$ là tuyến tính không trễ.
  3. Độ phức tạp vượt cấp trong hệ quy mô lớn chuyển mạch (Switched Large-scale Systems): Sự kết hợp giữa tương tác liên kết $N$ hệ con ($N \ge 2$) và quy tắc chuyển mạch chế độ $\sigma_i(t)$ tạo ra bài toán phi tuyến đa tầng chưa từng có lời giải khả thi về mặt tính toán số.

Để giải quyết triệt để các khoảng trống trên, luận án đặt ra hệ thống câu hỏi nghiên cứu và giả thuyết khoa học:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết lập điều kiện đủ cho tính ổn định mũ và triệt tiêu nhiễu $H_\infty$ đối với hệ vi phân phi tuyến có trễ dạng khoảng không đòi hỏi đạo hàm $\dot{h}(t)$ xuất hiện ở cả hàm trạng thái và hàm quan sát?
  • Câu hỏi nghiên cứu 2 (RQ2): Cấu trúc hàm điều khiển phân quyền (decentralized controller) nào đảm bảo tính ổn định hóa hệ quy mô lớn gồm $N$ hệ con liên kết tương hỗ dưới tác động của trễ ghép kênh $h_{ij}(t)$?
  • Câu hỏi nghiên cứu 3 (RQ3): Luật chuyển mạch hình học kết hợp điều khiển $H_\infty$ đa chế độ được thiết kế như thế nào để triệt tiêu hiện tượng bất ổn do chuyển đổi cấu trúc đột ngột trong hệ lai (hybrid switched systems)?
  • Giả thuyết khoa học 1 (H1): Việc xây dựng phiếm hàm Lyapunov-Krasovskii mở rộng chứa tích phân bội ba kết hợp ma trận trọng số tự do (free-weighting matrices) sẽ loại bỏ hoàn toàn ràng buộc về đạo hàm của hàm trễ và mở rộng giới hạn cận dưới $h_1 > 0$.
  • Giả thuyết khoa học 2 (H2): Mọi điều kiện ổn định phi tuyến phức tạp đều có thể quy đổi tương đương về dạng Bất đẳng thức ma trận tuyến tính (Linear Matrix Inequalities - LMI) giải được trong thời gian đa thức bằng thuật toán điểm trong (interior-point algorithms).

Khung lý thuyết của luận án tích hợp Lý thuyết ổn định Lyapunov-Krasovskii hiện đại, Bổ đề Schur mở rộng, và Lý thuyết tối ưu hóa lồi $H_\infty$. Luận án tạo ra bước đột phá định lượng khi xác lập mức suy giảm nhiễu $\gamma > 0$ tối ưu cùng tốc độ suy giảm mũ $\beta > 0$ trên toàn bộ không gian trạng thái $n$ chiều, với quy mô khảo sát mở rộng cho hệ $N$ hệ con và cấu trúc ma trận kích thước lớn.

Literature Review và Positioning

Lịch sử phát triển của lý thuyết điều khiển bền vững ghi nhận các cột mốc quan trọng từ không gian tần số sang không gian trạng thái. Sau công trình khởi xướng của G. Zames (1981), Doyle (1984), Francis (1987) và Glover (1984) đã phát triển bài toán điều khiển $H_\infty$ cho hệ đa đầu vào - đa đầu ra (MIMO). Tuy nhiên, trường phái cổ điển này vấp phải rào cản nghiêm trọng khi giải các phương trình vi phân Riccati đại số quy mô lớn với cấu trúc công thức điều khiển cực kỳ phức tạp.

                      TIẾN TRÌNH LỊCH SỬ ĐIỀU KHIỂN H-INFINITY
                      
  1981: G. Zames           1984-1989: Doyle, Glover, Francis
  2005-2012: Jiang & Han, Jeong et al.     1990s: Gahinet, Nesterov, Boyd
  2015: Luận án Nguyễn Trường Thanh (ĐHQGHN)

Đến thập niên 1990, sự trỗi dậy của phương pháp hàm Lyapunov-Krasovskii kết hợp công cụ Bất đẳng thức ma trận tuyến tính (LMI) của Boyd et al. (1994), Gahinet và Nemirovskii (1993) đã mở ra kỷ nguyên mới cho điều khiển hệ thống có trễ. Dẫu vậy, các cuộc tranh luận học thuật sâu sắc vẫn tiếp diễn giữa hai trường phái tiếp cận:

  1. Trường phái ổn định độc lập với trễ (Delay-independent stability): Tiêu biểu bởi các nghiên cứu giai đoạn đầu của Ikeda & Siljak (1980), Lee & Radovic (1988). Quan điểm này đưa ra các điều kiện thỏa mãn với mọi giá trị trễ $h \ge 0$, nhưng mang tính bảo thủ (conservativeness) rất cao, làm thu hẹp không gian tham số điều khiển khả thi trong thực tế.
  2. Trường phái ổn định phụ thuộc vào trễ (Delay-dependent stability): Được thúc đẩy bởi Lihua Xie & Carlos E. de Souza (1990), Qing-Long Han (2005), và V. N. Phat (2006). Nhóm nghiên cứu này chứng minh rằng việc khai thác thông tin cận trễ $h_1 \le h(t) \le h_2$ giúp giảm mạnh tính bảo thủ. Dù vậy, hạn chế nội tại của đa số các mô hình là luôn đòi hỏi hàm trễ phải khả vi và tốc độ biến thiên trễ phải nhỏ hơn 1 ($\dot{h}(t) \le d < 1$).

So sánh trực tiếp với hai nghiên cứu quốc tế điển hình:

  • So sánh với Jiang & Han (2005) [IEEE Trans. Autom. Control]: Jiang và Han lần đầu nghiên cứu hệ tuyến tính có trễ biến thiên dạng khoảng không khả vi, nhưng mô hình chỉ áp dụng cho hệ đơn lẻ và hoàn toàn loại trừ trễ trong hàm quan sát ($z(t) = Cx(t) + D_1 u(t)$), đồng thời chỉ đạt tính ổn định tiệm cận thay vì ổn định hóa mũ.
  • So sánh với Jeong, Park, & Kim (2012) [Applied Mathematics and Computation]: Nhóm tác giả Hàn Quốc đã đưa trễ vào hàm quan sát nhưng bị ràng buộc bởi cấu trúc tuyến tính nhiễu chuẩn hóa $\Delta(t)$ và không xử lý được các thành phần phi tuyến Lipschitz toàn phần, cũng như không mở rộng được cho hệ quy mô lớn liên kết $N$ chiều.

Luận án của Nguyễn Trường Thanh định vị vượt trội trên bản đồ học thuật quốc tế khi đồng thời giải quyết bài toán điều khiển $H_\infty$ và ổn định hóa mũ cho hệ phi tuyến có trễ không khả vi ở cả trạng thái lẫn ngõ ra, mở rộng hoàn chỉnh sang hệ quy mô lớn chuyển mạch.

Đó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 những bước tiến đột phá, bổ khuyết và mở rộng trực tiếp các lý thuyết nền tảng trong giải tích hàm và lý thuyết điều khiển tự động:

                            KHUNG PHÂN TÍCH TỔNG HỢP
                            
   Lý thuyết Lyapunov-Krasovskii          Lý thuyết Điều khiển H-infinity
   (Krasovskii, 1959; Hale, 1977)              (Zames, 1981; Doyle, 1989)
  1. Mở rộng Định lý ổn định Lyapunov-Krasovskii: Luận án mở rộng định lý Lyapunov-Krasovskii cổ điển sang không gian hàm Banach $C^1([-h_2, 0], \mathbb{R}^n)$ cho các hệ phi tuyến có cấu trúc trễ phức tạp. Bằng việc không dựa vào đạo hàm của trễ $\dot{h}(t)$, lý thuyết mới cho phép hệ thống duy trì tính $\beta$-ổn định mũ ngay cả khi tín hiệu trễ nhảy bậc hoặc biến thiên với tần số vô hạn.
  2. Thiết lập Mô hình toán học tổng quát cho Hệ phi tuyến có trễ trạng thái và ngõ ra: $$\begin{cases} \dot{x}(t) = Ax(t) + Dx(t - h(t)) + Bu(t) + C\omega(t) + f(t, x(t), x(t - h(t)), u(t), \omega(t)) \ z(t) = Ex(t) + Gx(t - h(t)) + Fu(t) + g(t, x(t), x(t - h(t)), u(t)) \end{cases}$$ với điều kiện biên Lipschitz địa phương và tăng trưởng tuyến tính: $$|f(t, x_0, x_1, u, \omega)| \le a|x_0| + b|x_1| + c|u| + d|\omega|$$ $$|g(t, x_0, x_1, u)| \le a_1|x_0| + b_1|x_1| + c_1|u|$$
  3. Chuyển dịch Paradigm trong điều khiển Hệ quy mô lớn chuyển mạch: Luận án thiết lập mối liên hệ hữu cơ giữa lý thuyết hệ động lực chuyển mạch (Switched Systems) và hệ quy mô lớn (Large-scale Interconnected Systems), chứng minh rằng tính ổn định toàn cục của mạng lưới $N$ hệ con có thể được bảo toàn thông qua kỹ thuật phân chia không gian trạng thái hình học kết hợp nghiệm LMI cục bộ.

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

Khung phân tích của luận án được xây dựng dựa trên sự tích hợp của ba trụ cột lý thuyết: (i) Lý thuyết tối ưu hóa ma trận lồi LMI, (ii) Bổ đề ma trận trọng số tự do mở rộng, và (iii) Kỹ thuật tích phân bội ba trong không gian hàm.

"Các hàm Lyapunov-Krasovskii được thiết lập dựa trên cận trên và dưới của hàm trễ, điều này cho phép nghiên cứu các hệ có hàm trễ biến thiên liên tục dạng khoảng... không đòi hỏi sự tồn tại và bị chặn của đạo hàm hàm trễ."

Cốt lõi của khung phân tích là phiếm hàm Lyapunov-Krasovskii 7 thành phần cấu trúc độc nhất: $$V(t, x_t) = \sum_{i=1}^7 V_i(t, x_t)$$ Trong đó, thành phần tích phân bội ba $V_7(t, x_t)$ mang tính tiên phong: $$V_7(t, x_t) = \int_{-h_2}^{-h_1} \int_\theta^0 \int_{t+s}^t e^{2\beta(\tau+s-t)} \dot{x}(\tau)^T \Lambda_1 \dot{x}(\tau) d\tau ds d\theta$$ kết hợp cùng các thành phần tích phân bội hai $V_4, V_5, V_6$ với ma trận xác định dương $P_1, Q_1, R_1, U_1, \Lambda_1 > 0$. Đạo hàm dọc theo quỹ đạo nghiệm được chặn trên bởi bất đẳng thức vi phân: $$\dot{V}(t, x_t) + 2\beta V(t, x_t) \le \gamma |\omega(t)|^2 - |z(t)|^2 + \xi(t)^T \Omega \xi(t)$$ với vector trạng thái mở rộng $\xi(t) = [x(t)^T, x(t-h(t))^T, x(t-h_1)^T, x(t-h_2)^T, \int_{t-h_2}^{t-h_1} x(s)^T ds, \dot{x}(t)^T]^T$. Khi ma trận khối $\Omega < 0$, hệ kín đạt đồng thời chỉ số suy giảm nhiễu $H_\infty$ mức $\gamma$ và suy giảm mũ tốc độ $\beta$.

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ẽ thế giới quan thực chứng suy diễn toán học (deductive-axiomatic positivism). Quy trình nghiên cứu kết hợp giữa giải tích thuần túy định lý - chứng minh (rigorous analytic proof) và phương pháp tổng hợp điều khiển số (numerical control synthesis).

                      THIẾT KẾ PHƯƠNG PHÁP NGHIÊN CỨU
                      
    Cấp độ 1: Hệ Đơn lẻ              Cấp độ 2: Hệ Quy mô lớn          Cấp độ 3: Hệ Chuyển mạch

Thiết kế đa cấp bậc (Multi-level design) được triển khai qua 3 tầng cấu trúc:

  • Tầng 1 (Hệ phi tuyến đơn lẻ): Chiều trạng thái $x(t) \in \mathbb{R}^n$, điều khiển $u(t) \in \mathbb{R}^m$, nhiễu $\omega(t) \in L_2([0, \infty), \mathbb{R}^r)$, ngõ ra $z(t) \in \mathbb{R}^s$. Khoảng trễ $h(t) \in [h_1, h_2]$ với $0 \le h_1 < h_2$.
  • Tầng 2 (Hệ phi tuyến quy mô lớn): Mạng lưới gồm $N$ hệ con liên kết tương hỗ, mỗi hệ con thứ $i$ ($i=1, \dots, N$) có số chiều trạng thái $n_i$ ($\sum n_i = n$), trễ tương tác $h_{ij}(t) \in [h_{1,ij}, h_{2,ij}]$.
  • Tầng 3 (Hệ quy mô lớn chuyển mạch): Mỗi hệ con $i$ sở hữu tập hữu hạn các chế độ hoạt động tham số hóa bởi tập chỉ số $J_i = {1, 2, \dots, M_i}$, quy tắc chuyển mạch $\sigma_i(t): [0, \infty) \to J_i$.

Quy trình nghiên cứu rigorous

Quy trình giải tích được bảo đảm tính chuẩn xác tuyệt đối qua chuỗi bổ đề bổ trợ:

  1. Bổ đề đánh giá tích phân với ma trận tự do (Bổ đề 1.4):

    "Bổ đề 1.4 đánh giá đạo hàm của tích phân bội hai tốt hơn bất đẳng thức thường được sử dụng, Bổ đề 1.2(i), do sự xuất hiện của một số ma trận tự do." Kỹ thuật đưa ma trận tự do $S$ vào cấu trúc: $$\begin{bmatrix} U & S \ S^T & U \end{bmatrix} > 0$$ giúp triệt tiêu sự cần thiết của phép lấy đạo hàm hàm trễ khi phân rã tích phân $\int_{t-h_2}^{t-h_1} \dot{x}(s)^T U_1 \dot{x}(s) ds = \int_{t-h_2}^{t-h(t)} + \int_{t-h(t)}^{t-h_1}$.

  2. Kỹ thuật Schur Complement (Bổ đề 1.3): Biến đổi hệ bất đẳng thức phi tuyến chứa các thành phần bậc hai $PCC^TP$, $Y^TF^TFY$ về hệ bất đẳng thức ma trận tuyến tính LMI tương đương mở rộng chiều ma trận.
  3. Bổ đề phân rã giá trị cực tiểu (Bổ đề 1.5): $$\min_i f_i(t) = \sum_{i} r_i f_i(t) + \max_{g_{ij}} \sum_{i \ne j} g_{ij}(t)$$ với $\sum r_i = 1, r_i > 0$, làm nền tảng toán học để phân hoạch không gian và xác lập luật chuyển đổi chế độ hình học ổn định.

Data và phân tích số học

  • Công cụ phần mềm: Hệ LMI được mô hình hóa và giải số thông qua gói công cụ Matlab LMI Control Toolbox (Gahinet et al., 1994) và thuật toán phép chiếu điểm trong Nesterov-Nemirovskii.
  • Tiêu chuẩn nghiệm hội tụ: Bán kính phổ cực đại $\lambda_{\max}$, giá trị riêng dương cực tiểu $\alpha_1 = \lambda_{\min}(P_1) > 0$, chỉ số hiệu suất tối ưu $\gamma > 0$ và tốc độ suy giảm $\beta > 0$.
  • Kiểm định Robustness: Thuật toán được kiểm chứng tính ổn định vững chắc trước mọi sai số mô hình hóa không chắc chắn $\Delta A(t), \Delta B(t)$ thỏa mãn cấu trúc chuẩn bị chặn $\Delta A(t) = H F(t) E$ với $F^T(t)F(t) \le I$.

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

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

                               CÁC PHÁT HIỆN ĐỘT PHÁ
                               
  Phát hiện 1: Xóa bỏ rào cản ḣ(t)       Phát hiện 2: Trễ kênh đo z(t)
  Phát hiện 3: Điều khiển phân quyền     Phát hiện 4: Phân hoạch hình học
  1. Xóa bỏ hoàn toàn điều kiện khả vi của hàm trễ: Chứng minh toán học chặt chẽ khẳng định tính $\beta$-ổn định mũ của hệ vi phân phi tuyến chỉ phụ thuộc vào biên độ trễ $[h_1, h_2]$, hoàn toàn độc lập với tốc độ biến thiên của trễ ($\dot{h}(t)$ có thể không tồn tại hoặc tiến tới vô cùng). Quỹ đạo trạng thái nghiệm thỏa mãn chặn trên mũ chính xác: $$|x(t)| \le \sqrt{\frac{\alpha_2}{\alpha_1}} e^{-\beta t} |\phi|{C^1}, \quad \forall t \ge 0$$ trong đó $\alpha_1 = \lambda{\min}(P^{-1})$, $\alpha_2 = \lambda_{\max}(P^{-1}) + \beta^{-1}\lambda_{\max}(Q_1) + (h_1^3+h_2^3)\lambda_{\max}(R_1) + (h_2-h_1)^3\lambda_{\max}(U_1) + (h_2-h_1)h_2^2\lambda_{\max}(\Lambda_1)$.
  2. Giải quyết triệt để bài toán trễ trong hàm quan sát phi tuyến: Lần đầu tiên trong y văn, điều kiện đủ dạng LMI khối được xác lập cho hệ có trễ xuất hiện đồng thời ở hàm trạng thái và hàm ngõ ra $z(t) = Ex(t) + Gx(t-h(t)) + Fu(t) + g(\cdot)$, thỏa mãn chỉ số $\gamma$-tối ưu: $$\int_0^\infty |z(t)|^2 dt \le \gamma \int_0^\infty |\omega(t)|^2 dt + c_0 |\phi|_{C^1}^2$$
  3. Cơ chế điều khiển phân quyền cho Hệ quy mô lớn: Thiết kế thành công luật điều khiển cục bộ $u_i(t) = K_i x_i(t)$ cho từng hệ con thứ $i$, hóa giải triệt để ảnh hưởng của các kênh ghép liên kết trễ $A_{ij}x_j(t-h_{ij}(t))$ mà không cần truyền thông toàn phần giữa các trạm điều khiển.
  4. Phát hiện tính độc lập kỹ thuật giữa hệ chuyển mạch và không chuyển mạch: Luận án chỉ rõ:

    "kết quả của hệ (2) trong luận án không phải là hệ quả của hệ (4) do có sự khác biệt về mặt kĩ thuật trong việc nghiên cứu hệ chuyển mạch và hệ không chuyển mạch." Sự xuất hiện của quy tắc chuyển mạch đòi hỏi kỹ thuật phân hoạch không gian hình học đa diện dựa trên tập ma trận Lyapunov suy rộng, tạo ra cơ chế ổn định độc lập với thời gian lưu trú (dwell time).

Implications đa chiều

  • Về mặt lý thuyết: Cung cấp công cụ giải tích mạnh mẽ cho phương trình vi sai phân và vi phân hàm vô hạn chiều; làm phong phú lý thuyết ổn định Lyapunov-Krasovskii.
  • Về phương pháp luận: Chuẩn hóa quy trình chuyển đổi các bài toán điều khiển phi tuyến kháng nhiễu sang hệ LMI giải được, mở đường cho việc áp dụng vào các lớp hệ động lực ngẫu nhiên (stochastic systems) hoặc hệ phân đoạn (fractional-order systems).
  • Về ứng dụng thực tiễn: Ứng dụng trực tiếp trong việc thiết kế bộ điều khiển bền vững cho hệ thống lưới điện phân phối thông minh (smart grids) khi có độ trễ truyền thông qua mạng IP, hệ thống điều khiển đoàn xe tự hành (connected autonomous vehicle platoons), và các hệ thống nhúng tự động hóa trong công nghiệp 4.0.

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án duy trì thái độ học thuật khách quan khi chỉ rõ các giới hạn nội tại:

                            GIỚI HẠN & HƯỚNG MỞ RỘNG
                            
          Giới hạn Hiện tại                         Hướng Nghiên cứu Tương lai
  1. Giới hạn về giả thiết hàm phi tuyến: Các hàm phi tuyến $f(\cdot)$ và $g(\cdot)$ vẫn bị ràng buộc bởi điều kiện tăng trưởng tuyến tính và Lipschitz địa phương. Các hệ phi tuyến bậc cao với điểm kỳ dị chưa nằm trong phạm vi giải quyết.
  2. Giới hạn về đo lường trạng thái: Bộ điều khiển đề xuất $u(t) = Kx(t)$ giả định rằng toàn bộ vector trạng thái $x(t)$ có thể đo lường trực tiếp (full state feedback), chưa bao quát trường hợp phản hồi đầu ra (output feedback) khi trạng thái bị ẩn một phần.
  3. Độ phức tạp tính toán khi số chiều tăng cao: Sự xuất hiện của các biến ma trận phụ trợ trong tích phân bội ba làm tăng đáng kể số lượng biến quyết định trong hệ LMI, gây áp lực tính toán đối với hệ thống có số chiều hàng nghìn bậc ($n > 1000$).

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

  • Mở rộng sang bài toán Lọc $H_\infty$ (Filtering) và điều khiển phản hồi đầu ra dựa trên bộ quan sát trạng thái (Observer-based control) cho hệ chuyển mạch có trễ.
  • Nghiên cứu hệ phương trình vi phân ngẫu nhiên có trễ kiểu Itô và hệ có tham số biến đổi theo thời gian dạng Markov (Markovian jump systems).
  • Phát triển các thuật toán rút gọn chiều ma trận nhằm giảm thiểu chi phí tính toán khi giải LMI cho các mạng lưới quy mô siêu lớn (Ultra large-scale complex networks).

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

  • Ảnh hưởng Học thuật: Đóng góp trực tiếp vào dòng chảy học thuật quốc tế với 03 công trình nghiên cứu chất lượng cao công bố trên các tạp chí thuộc danh mục ISI/SCI/SCI-E uy tín. Tạo tiền đề cho các nghiên cứu sinh chuyên ngành Phương trình vi phân, Tối ưu và Điều khiển tại Viện Toán học và Đại học Quốc gia Hà Nội kế thừa.
  • Chuyển đổi Công nghiệp: Cung cấp thuật toán thiết kế bộ điều khiển phản hồi bền vững cho các kỹ sư tự động hóa, giải quyết bài toán trễ đường truyền trong các hệ thống điều khiển nối mạng (Networked Control Systems - NCS) và robot cộng tác (Cobots).
  • Ý nghĩa Kinh tế - Xã hội: Tối ưu hóa hiệu suất vận hành của các hệ thống hạ tầng trọng yếu (như mạng lưới cấp thoát nước đô thị, hệ thống điều độ điện lực quốc gia), giảm thiểu rủi ro sự cố do dao động quá độ và nhiễu loạn ngoại sinh.

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

                                ĐỐI TƯỢNG HƯỞNG LỢI
                                
  Nghiên cứu sinh & Nhà Toán học        Kỹ sư R&D & Doanh nghiệp Công nghệ
                      Chuyên gia Quy hoạch Hạ tầng Kỹ thuật
  1. Nghiên cứu sinh và Giảng viên Toán ứng dụng: Tiếp cận hệ thống chứng minh giải tích mẫu mực, phương pháp xây dựng phiếm hàm Lyapunov-Krasovskii nhiều lớp và kỹ thuật xử lý bất đẳng thức vi tích phân hiện đại.
  2. Kỹ sư Nghiên cứu và Phát triển (R&D) Tự động hóa: Sở hữu công thức tính toán tường minh ma trận khuếch đại $K = YP^{-1}$ để lập trình trực tiếp vào bộ điều khiển vi xử lý (PLC, DSP, FPGA).
  3. Cơ quan Quản lý và Vận hành Hệ thống Công cộng: Có cơ sở khoa học định lượng để xây dựng tiêu chuẩn an toàn kỹ thuật cho các hệ thống điều khiển giám sát và thu thập dữ liệu (SCADA) diện rộ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ì?

Đóng góp độc đáo nhất là việc xây dựng thành công phiếm hàm Lyapunov-Krasovskii 7 thành phần kết hợp tích phân bội ba $V_7(t, x_t)$ và kỹ thuật ma trận tự do (Bổ đề 1.4). Bước tiến này giải phóng hoàn toàn lý thuyết điều khiển $H_\infty$ khỏi điều kiện ràng buộc kinh điển về đạo hàm của hàm trễ ($\dot{h}(t)$ không cần tồn tại hay bị chặn), đồng thời cho phép trễ xuất hiện phi tuyến ở cả kênh trạng thái lẫn ngõ ra.

2. Sự đổi mới phương pháp luận so với các nghiên cứu tiền nhiệm?

So với Jiang & Han (2005) (chỉ xét hệ đơn lẻ, ngõ ra tuyến tính không trễ) và Jeong et al. (2012) (chỉ xét hệ tuyến tính với nhiễu tham số bị chặn), luận án mở rộng toàn diện lên hệ phi tuyến Lipschitz, hệ quy mô lớn $N$ hệ con liên kết tương hỗ, và hệ quy mô lớn chuyển mạch. Toàn bộ các điều kiện đều được quy về một bất đẳng thức LMI duy nhất $\Omega < 0$ giải hiệu quả bằng công cụ số.

3. Phát hiện bất ngờ nhất có số liệu thực nghiệm minh chứng?

Phát hiện bất ngờ nhất là việc tăng cận dưới của trễ $h_1 > 0$ kết hợp cận trên $h_2$ dạng khoảng không làm tăng tính bảo thủ của hệ LMI so với trường hợp trễ bắt đầu từ 0. Nghiệm trạng thái luôn hội tụ mũ với tốc độ $\beta > 0$ được chỉ định trước, và hệ số suy giảm nhiễu $\gamma$ đạt mức tối ưu dưới tác động của nhiễu tín hiệu $\omega(t) \in L_2[0, \infty)$.

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

Có. Luận án cung cấp chi tiết toàn bộ các ma trận hệ số cấu trúc của hệ LMI $\Omega_{11}, \Omega_{12}, \Omega_{22}$, quy tắc đặt ma trận chuyển đổi biến $y(t) = P^{-1}x(t)$, $Y = KP$, và thuật toán lập trình giải trên phần mềm Matlab LMI Toolbox, cho phép tái lập kết quả số học một cách chính xác tuyệt đối.

5. Khung chương trình nghiên cứu 10 năm được phác thảo ra sao?

Chương trình nghiên cứu dài hạn hướng tới: (i) Tích hợp lý thuyết điều khiển $H_\infty$ phi tuyến có trễ với Trí tuệ nhân tạo (Học tăng cường - Reinforcement Learning để tự điều chỉnh ma trận $K$), (ii) Ứng dụng điều khiển hệ thống Cyber-Physical Systems (CPS) trước các cuộc tấn công mạng dạng từ chối dịch vụ (DoS), và (iii) Mở rộng sang hệ phương trình đạo hàm riêng có trễ không gian - thời gian.

Kết luận

Luận án Tiến sĩ Toán học của tác giả Nguyễn Trường Thanh là một công trình khoa học mẫu mực, hoàn chỉnh và có tính đột phá cao trong lĩnh vực Giải tích và Lý thuyết Điều khiển hiện đại. Những thành tựu then chốt được đúc kết bao gồm:

  1. Thiết lập thành công điều kiện đủ dạng LMI cho bài toán điều khiển $H_\infty$ và ổn định hóa mũ của hệ phương trình vi phân phi tuyến có trễ biến thiên liên tục dạng khoảng không đòi hỏi tính khả vi.
  2. Giải quyết trọn vẹn bài toán trễ xuất hiện đồng thời ở phương trình trạng thái và phương trình quan sát ngõ ra phi tuyến.
  3. Phát triển khung lý thuyết điều khiển phân quyền cho hệ quy mô lớn gồm $N$ hệ con liên kết tương hỗ, vượt qua rào cản về số chiều và độ phức tạp tương tác.
  4. Xây dựng lý thuyết ổn định hóa và điều khiển $H_\infty$ cho hệ quy mô lớn chuyển mạch đa chế độ thông qua kỹ thuật phân hoạch không gian hình học sáng tạo.
  5. Hiện thực hóa các kết quả lý thuyết trừu tượng thành các thuật toán tối ưu hóa lồi khả thi trên máy tính thông qua gói phần mềm Matlab LMI Control Toolbox.
  6. Mở ra ba hướng nghiên cứu học thuật mới: điều khiển kháng tấn công mạng cho hệ CPS có trễ, điều khiển thích nghi thông minh trên không gian hàm, và giải tích hệ động lực lai ngẫu nhiên phức hợp. Công trình khẳng định vị thế tiên phong của toán học giải tích Việt Nam trên trường quốc tế.