Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Tính ổn định của một số lớp hệ phương trình vi phân hàm và ứng dụng trong lý thuyết điều khiển" do nghiên cứu sinh Mai Viết Thuận thực hiện dưới sự hướng dẫn khoa học của GS. Vũ Ngọc Phát, chuyên ngành Toán Giải tích (Mã số: 62 46 01 02), hoàn thành tại Viện Toán học thuộc Viện Hàn lâm Khoa học và Công nghệ Việt Nam vào năm 2014. Toàn văn công trình có dung lượng 102 trang, bao gồm phần mở đầu, 3 chương nội dung chuyên môn, phần kết luận, danh mục 4 công trình đã công bố của tác giả và danh mục 97 tài liệu tham khảo.

Tính cấp thiết và khoảng trống nghiên cứu

Trong lý thuyết hệ thống động lực, độ trễ thời gian (time-delay) xuất hiện tự nhiên và phổ biến trong nhiều quá trình kỹ thuật, hóa học, sinh học và mạng lưới truyền tải điện. Độ trễ thường là nguyên nhân trực tiếp gây ra tính không ổn định, dao động và làm suy giảm hiệu suất hoạt động của hệ thống. Trong các ứng dụng kỹ thuật thực tiễn, việc xác định hệ thống có ổn định hay không là chưa đủ, mà còn đòi hỏi phải đánh giá được mức độ và tốc độ suy giảm của quỹ đạo trạng thái theo thời gian thông qua tính ổn định mũ (exponential stability) với chỉ số suy giảm xác định $\alpha > 0$.

Khoảng trống nghiên cứu được tác giả xác định dựa trên những hạn chế của các công trình công bố trước đó:

  1. Đa số các tiêu chuẩn ổn định và ổn định hóa cho mô hình mạng nơ-ron và hệ động lực có trễ biến thiên đòi hỏi hàm trễ phải khả vi liên tục và có đạo hàm thỏa mãn điều kiện nghiêm ngặt $\dot{h}(t) \le \mu < 1$ hoặc $\dot{h}(t) \le \delta$.
  2. Hầu hết các công trình trước đây giả thiết cận dưới của hàm trễ bằng 0 ($0 \le h(t) \le h_2$). Trong thực tế, nhiều hệ thống kỹ thuật xuất hiện trễ biến thiên dạng khoảng (interval time-varying delay) với cận dưới thực sự dương ($0 < h_1 \le h(t) \le h_2$).
  3. Bài toán ổn định hóa dạng mũ cho hệ điều khiển có trễ biến thiên dạng khoảng chịu tác động của nhiễu phi tuyến (thỏa mãn điều kiện tăng trưởng hoặc nhiễu cấu trúc chuẩn bị chặn) chưa được nghiên cứu đầy đủ.
  4. Đối với bài toán đảm bảo chi phí điều khiển (guaranteed cost control), các nghiên cứu trước đây chủ yếu tập trung vào hệ thống có cấu trúc đơn giản với độ trễ hằng số hoặc trễ khả vi. Chưa có nhiều kết quả giải quyết bài toán đảm bảo chi phí cho hệ có trễ hỗn hợp xuất hiện đồng thời trên cả biến trạng thái và biến điều khiển, hoặc hệ tuyến tính có trễ biến thiên trên cả biến trạng thái và biến quan sát đầu ra (sử dụng bộ điều khiển phản hồi đầu ra động) khi các hàm trễ liên tục nhưng không khả vi.

Mục tiêu và nhiệm vụ nghiên cứu

Luận án tập trung giải quyết 3 mục tiêu cốt lõi:

  1. Thiết lập các điều kiện đủ mới cho tính ổn định mũ và ổn định hóa được dạng mũ cho mô hình mạng nơ-ron mô tả bởi hệ phương trình vi phân có trễ hỗn hợp (trễ rời rạc biến thiên dạng khoảng và trễ phân bố) với các hàm trễ liên tục không nhất thiết khả vi.
  2. Thiết lập tiêu chuẩn ổn định hóa được dạng mũ cho lớp hệ điều khiển có trễ biến thiên dạng khoảng chịu nhiễu phi tuyến và xác định tường minh luật điều khiển phản hồi trạng thái.
  3. Giải quyết bài toán thiết kế bộ điều khiển đảm bảo chi phí cho hai lớp hệ phức tạp: hệ có trễ hỗn hợp trên cả trạng thái và điều khiển; và hệ tuyến tính có trễ biến thiên trên trạng thái và quan sát đầu ra thông qua bộ điều khiển phản hồi đầu ra động (dynamic output feedback controller).

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Các lớp hệ phương trình vi phân hàm (functional differential equations), bao gồm:
    • Mô hình mạng nơ-ron có trễ biến thiên hỗn hợp và các hàm kích hoạt phi tuyến;
    • Hệ thống điều khiển có trễ biến thiên dạng khoảng chịu nhiễu phi tuyến;
    • Hệ điều khiển có trễ hỗn hợp trên cả biến trạng thái và biến điều khiển;
    • Hệ điều khiển tuyến tính có trễ biến thiên dạng khoảng trên biến trạng thái và phương trình quan sát đầu ra.
  • Phạm vi nghiên cứu: Hệ thống động lực thời gian liên tục trong không gian trạng thái hữu hạn chiều $\mathbb{R}^n$, các hàm trễ biến thiên dạng khoảng liên tục không đòi hỏi tính khả vi, và bài toán đảm bảo chi phí điều khiển với hàm mục tiêu toàn phương trên khoảng thời gian vô hạn $[0, +\infty)$.

Tổng quan tài liệu và vị trí của luận án

Lý thuyết ổn định Lyapunov bắt nguồn từ luận án tiến sĩ của A. M. Lyapunov (1892) với hai phương pháp tiếp cận kinh điển: phương pháp số mũ Lyapunov và phương pháp hàm Lyapunov. Đến những năm 1953–1962, phương pháp hàm Lyapunov được ứng dụng mạnh mẽ trong hệ thống dẫn đường hàng không vũ trụ. N. N. Krasovskii (1959) đã phát triển phương pháp phiếm hàm Lyapunov–Krasovskii (LKF) để mở rộng việc nghiên cứu tính ổn định cho các hệ phương trình vi phân có trễ. J. K. Hale (1977) và V. Lakshmikantham (1989) đã hoàn thiện khung lý thuyết cơ sở về sự tồn tại và duy nhất nghiệm của hệ phương trình vi phân hàm.

Về mô hình mạng nơ-ron có trễ, S. Xu và các cộng sự (2004) đã nghiên cứu tính ổn định tiệm cận cho mạng nơ-ron có trễ hằng số bằng phương pháp hàm Lyapunov–Krasovskii và bất đẳng thức ma trận tuyến tính (LMI). K. Liu và các cộng sự (2006) phát triển điều kiện ổn định mũ cho mạng nơ-ron có trễ hỗn hợp với trễ hằng số. Các nghiên cứu mở rộng sang trễ biến thiên của J. H. Park (2006), Z. Wang (2006) và C. Shen (2007) vẫn đòi hỏi hàm trễ khả vi và $\dot{h}(t) \le \mu < 1$. Mặc dù Q. Song (2008) và X. Wang (2009) đã loại bỏ điều kiện khả vi của hàm trễ, song các tác giả vẫn giả thiết cận dưới của độ trễ bằng 0. Về bài toán ổn định hóa mạng nơ-ron, công trình của V. N. Phat và V. Trinh (2010) thiết kế bộ điều khiển phản hồi nhưng vẫn yêu cầu độ trễ khả vi và có cận dưới bằng 0.

Về hệ điều khiển có trễ và nhiễu phi tuyến, Q. Zhang (2005), O. M. Kwon (2008) và P. T. Nam (2009) đã đưa ra các điều kiện ổn định cho hệ không điều khiển với nhiễu thỏa mãn điều kiện tăng trưởng. Đối với nhiễu cấu trúc chuẩn bị chặn, L. V. Hien (2009) nghiên cứu hệ có trễ khả vi với cận dưới bằng 0; T. Li và cộng sự (2009) mở rộng cho trễ biến thiên dạng khoảng nhưng cấu trúc LKF còn đơn giản và chưa đưa ra được chỉ số suy giảm mũ $\alpha$.

Về bài toán đảm bảo chi phí điều khiển (guaranteed cost control), bài toán được đề xuất đầu tiên bởi S. S. L. Chang và T. K. C. Peng (1972). Sau đó, I. R. Petersen và D. C. McFarlane (1994) đã mô hình hóa tường minh cho hệ phương trình vi phân thường có nhiễu cấu trúc thông qua việc giải phương trình đại số Riccati. L. Chu (1998) mở rộng bài toán cho hệ có trễ hằng số. Các nghiên cứu tiếp theo của J. H. Park (2004), P. T. Nam và V. N. Phat (2009) đã giải quyết bài toán ổn định hóa cho hệ có trễ trên trạng thái và điều khiển nhưng chưa kết hợp đánh giá chi phí bảo đảm cho trễ hỗn hợp không khả vi. Đối với bộ điều khiển phản hồi đầu ra động, các công trình của S. H. Guan (2005), H. J. Gao (2004), X. Su (2012) đều dựa trên giả thiết trễ hằng số hoặc trễ khả vi và kênh quan sát không chứa trễ.

Luận án của Mai Viết Thuận đã định vị rõ ràng điểm tiếp nối khoa học: xây dựng hệ phiếm hàm Lyapunov–Krasovskii mới (chứa tích phân bội ba, chứa trực tiếp cận trên và cận dưới của trễ, không chứa các thành phần tích phân phụ thuộc vào đạo hàm của trễ), kết hợp công thức Newton–Leibniz và các bất đẳng thức ma trận để thiết lập các tiêu chuẩn ổn định hóa và đảm bảo chi phí dưới dạng LMI mà không đòi hỏi tính khả vi của các hàm trễ biến thiên dạng khoảng.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết và khái niệm sử dụng

  • Không gian hàm và chuẩn: Sử dụng không gian Euclide $\mathbb{R}^n$, không gian hàm liên tục $C([a, b], \mathbb{R}^n)$ với chuẩn $|x|C = \sup{s \in [a, b]} |x(s)|$, và không gian $C^1([a, b], \mathbb{R}^n)$.
  • Khái niệm $\alpha$-ổn định mũ: Nghiệm không của hệ phương trình vi phân có trễ $\dot{x}(t) = f(t, x_t)$ được gọi là $\alpha$-ổn định mũ nếu tồn tại hằng số $N \ge 1$ và $\alpha > 0$ sao cho mọi nghiệm $x(t, \phi)$ thỏa mãn: $$|x(t, \phi)| \le N |\phi| e^{-\alpha (t - t_0)}, \quad \forall t \ge t_0$$
  • Bài toán đảm bảo chi phí điều khiển: Cho hệ thống điều khiển và hàm chi phí toàn phương $J = \int_0^{+\infty} [x^T(t)Qx(t) + u^T(t)Ru(t)] dt$ với $Q > 0, R > 0$. Mục tiêu là tìm luật điều khiển $u^(t)$ và số dương $J^$ sao cho hệ kín ổn định tiệm cận (hoặc ổn định mũ) và $J \le J^$. Khi đó, $J^$ là giá trị đảm bảo chi phí và $u^*(t)$ là luật điều khiển đảm bảo chi phí.

Các bổ đề toán học bổ trợ

  1. Bất đẳng thức Cauchy ma trận: Với $S \in \mathbb{R}^{n \times n}$ đối xứng xác định dương, với mọi ma trận $Q \in \mathbb{R}^{n \times n}$ và các véctơ $x, y \in \mathbb{R}^n$: $$2x^T Q y - y^T S y \le x^T Q S^{-1} Q^T x$$
  2. Bất đẳng thức tích phân ma trận: Với ma trận đối xứng xác định dương $Z > 0$ và các hằng số $0 < h_1 < h_2$: $$\int_{t-h_2}^t x^T(s) Z x(s) ds \ge \frac{1}{h_2} \left( \int_{t-h_2}^t x(s) ds \right)^T Z \left( \int_{t-h_2}^t x(s) ds \right)$$ $$\int_{-h_2}^{-h_1} \int_{t+s}^t x^T(\tau) Z x(\tau) d\tau ds \ge \frac{2}{h_2^2 - h_1^2} \left( \int_{-h_2}^{-h_1} \int_{t+s}^t x(\tau) d\tau ds \right)^T Z \left( \int_{-h_2}^{-h_1} \int_{t+s}^t x(\tau) d\tau ds \right)$$
  3. Bổ đề bù Schur (Schur Complement Lemma): Cho các ma trận đối xứng khối, điều kiện $\begin{bmatrix} X_{11} & X_{12} \ X_{12}^T & -X_{22} \end{bmatrix} < 0$ tương đương với $X_{22} > 0$ và $X_{11} + X_{12} X_{22}^{-1} X_{12}^T < 0$.

Phương pháp nghiên cứu và công cụ tính toán

  • Phương pháp giải tích và giải tích hàm: Xây dựng phiếm hàm Lyapunov–Krasovskii thích hợp kết hợp công thức Newton–Leibniz để đánh giá đạo hàm của phiếm hàm dọc theo quỹ đạo nghiệm của hệ.
  • Kỹ thuật tối ưu lồi và Bất đẳng thức Ma trận Tuyến tính (LMI): Biến đổi các điều kiện phi tuyến về hệ các bất đẳng thức ma trận tuyến tính đối với các ma trận ẩn cần tìm.
  • Công cụ phần mềm hỗ trợ tính toán số: Thuật toán điểm trong (thuật toán chiếu Nemirovskii) được thực thi thông qua công cụ LMI Control Toolbox trong môi trường MATLAB để giải các bài toán LMI và tính toán các ma trận khuếch đại phản hồi $K$, bộ điều khiển động $(A_1, B_1, C_1)$ cùng cận chi phí $J^*$.

Nội dung chính theo từng chương

Chương 1: Cơ sở toán học

Chương 1 đóng vai trò hệ thống hóa toàn bộ nền tảng lý thuyết và công cụ kỹ thuật phục vụ cho việc chứng minh các kết quả chính ở Chương 2 và Chương 3:

  • Trình bày bài toán ổn định và ổn định hóa cho hệ phương trình vi phân thường: định nghĩa ổn định Lyapunov, ổn định tiệm cận, ổn định mũ; phương pháp hàm Lyapunov toàn phương $V(x) = x^T P x$; phương trình ma trận Lyapunov $A^T P + PA = -Q$; khái niệm điều khiển được toàn cục và tiêu chuẩn hạng Kalman $\text{rank}[B, AB, \dots, A^{n-1}B] = n$.
  • Trình bày bài toán ổn định và ổn định hóa cho hệ phương trình vi phân có trễ (RFDE): định lý tồn tại và duy nhất nghiệm địa phương của J. K. Hale, định lý tồn tại duy nhất nghiệm toàn cục của V. Lakshmikantham; định nghĩa và các định lý ổn định tiệm cận, ổn định mũ theo phiếm hàm Lyapunov–Krasovskii của N. N. Krasovskii và D. Hinrichsen.
  • Giới thiệu bài toán đảm bảo chi phí điều khiển cho hệ tuyến tính ôtônôm và hệ không chắc chắn có trễ, nêu định nghĩa tổng quát cho lớp hệ phương trình vi phân có trễ; trình bày tiêu chuẩn tồn tại bộ điều khiển đảm bảo chi phí thông qua nghiệm ma trận của hệ LMI.
  • Trình bày chi tiết 3 bổ đề kỹ thuật bổ trợ: Bất đẳng thức Cauchy ma trận, Bất đẳng thức ma trận tích phân và Bổ đề Schur.

Chương 2: Tính ổn định và ổn định hóa được dạng mũ cho một số lớp hệ phương trình vi phân có trễ biến thiên

Chương này nghiên cứu bài toán ổn định mũ và ổn định hóa dạng mũ cho hai lớp hệ động lực: mô hình mạng nơ-ron trễ hỗn hợp và hệ điều khiển có trễ chịu nhiễu phi tuyến.

1. Mô hình mạng nơ-ron có trễ biến thiên hỗn hợp

Xét hệ phương trình vi phân: $$\dot{x}(t) = -Ax(t) + W_0 f(x(t)) + W_1 g(x(t-h(t))) + W_2 \int_{t-k(t)}^t c(x(s)) ds + Bu(t)$$ với $0 \le h_1 \le h(t) \le h_2$, $0 \le k(t) \le k$, các hàm kích hoạt $f(\cdot), g(\cdot), c(\cdot)$ thỏa mãn điều kiện Lipschitz và điều kiện tăng trưởng liên quan đến các ma trận đường chéo $F, G, H$.

  • Định lý 2.1 (Ổn định mũ khi $u(t) = 0$): Tác giả đề xuất phiếm hàm LKF mới gồm 5 thành phần: $$V(t, x_t) = x^T(t)Px(t) + \int_{t-h_1}^t e^{2\alpha(s-t)} x^T(s)Qx(s) ds + h_2 \int_{-h_2}^0 \int_{t+s}^t e^{2\alpha(\theta-t)} \dot{x}^T(\theta)R\dot{x}(\theta) d\theta ds$$ $$+ (h_2 - h_1) \int_{-h_2}^{-h_1} \int_{t+s}^t e^{2\alpha(\theta-t)} \dot{x}^T(\theta)S\dot{x}(\theta) d\theta ds + \int_{-k}^0 \int_{t+s}^t e^{2\alpha(\theta-t)} c^T(x(\theta))D_2 c(x(\theta)) d\theta ds$$ Phiếm hàm này không chứa số hạng tích phân $\int_{t-h(t)}^t x^T(s)Ux(s)ds$, do đó loại bỏ hoàn toàn yêu cầu hàm trễ $h(t)$ phải khả vi. Điều kiện đủ cho tính $\alpha$-ổn định mũ được thiết lập dưới dạng một bất đẳng thức ma trận tuyến tính $\Xi < 0$ kích thước khối.
  • Định lý 2.2 (Ổn định hóa dạng mũ): Thiết kế luật điều khiển phản hồi trạng thái $u(t) = YM^{-1}x(t)$. Bằng cách biến đổi ma trận và áp dụng bổ đề Schur, điều kiện ổn định hóa được quy về việc giải hệ LMI với các ma trận ẩn $M, P, Q, R, S > 0$, $X_0, X_1, X_2 > 0$ và ma trận $Y$.
  • Thực nghiệm số:
    • Ví dụ 2.1: Xét hệ mạng nơ-ron bậc 2 với hàm trễ không khả vi $h(t) = 0.9|\sin t|$, $k(t) = 0.8|\cos t|$, tốc độ suy giảm $\alpha = 0.5$. Sử dụng Matlab LMI Toolbox, tìm được các ma trận $P, Q, R, S, D_0, D_1, D_2$ thỏa mãn điều kiện và xác định được cận nghiệm $|x(t, \phi)| \le 2.9248 |\phi|_C e^{-0.5t}$.
    • Ví dụ 2.2: Xét hệ mạng nơ-ron điều khiển với hàm trễ không khả vi dạng từng khúc tuần hoàn $h(t)$ và $k(t)$. Giải LMI thu được ma trận khuếch đại $K = [-2.0234, -0.1983]$ và tốc độ suy giảm $\alpha = 0.5$.

2. Hệ điều khiển có trễ biến thiên dạng khoảng với nhiễu phi tuyến

Xét hệ: $$\dot{x}(t) = Ax(t) + Dx(t-h(t)) + f(t, x(t)) + g(t, x(t-h(t))) + Bu(t)$$ với $0 < h_1 \le h(t) \le h_2$.

  • Luận án khảo sát hai trường hợp trễ: trễ khả vi ($\dot{h}(t) \le \delta < 1$) và trễ liên tục không khả vi.
  • Khảo sát hai dạng nhiễu: nhiễu thỏa mãn điều kiện tăng trưởng dạng toàn phương và nhiễu cấu trúc bất định chuẩn bị chặn $E_i F_i(t) H_i$.
  • Xây dựng phiếm hàm LKF chứa tích phân bội ba (triple integral) kết hợp chỉ số suy giảm mũ $\alpha$, từ đó thiết lập điều kiện đủ để tìm bộ điều khiển $u(t) = Kx(t)$ qua các nghiệm LMI.
+----------------------------------------------------------------------------------------------------+
|                                BẢNG TỔNG HỢP CÁC LỚP HỆ TRONG CHƯƠNG 2                             |
+------------------------------+---------------------------+-----------------------+-----------------+
| Lớp hệ động lực              | Cấu trúc độ trễ           | Dạng phi tuyến/Nhiễu  | Kết quả đạt được|
+------------------------------+---------------------------+-----------------------+-----------------+
| Mạng nơ-ron trễ hỗn hợp      | 0 <= h1 <= h(t) <= h2     | Lipschitz &           | Alpha-ổn định   |
| (Mục 2.1, Hệ 2.1 & 2.17)     | 0 <= k(t) <= k (Không     | tăng trưởng toàn      | mũ & Ổn định hóa|
|                              | nhất thiết khả vi)        | phần F, G, H          | dạng LMI        |
+------------------------------+---------------------------+-----------------------+-----------------+
| Hệ điều khiển có trễ khoảng  | 0 < h1 <= h(t) <= h2      | Tăng trưởng toàn      | Ổn định hóa mũ, |
| & nhiễu phi tuyến (Mục 2.2)  | (Khả vi hoặc không khả vi)| phương: a^2 F^T F,... | xác định K qua  |
|                              |                           | & Cấu trúc Ei Fi(t) Hi| giải LMI        |
+------------------------------+---------------------------+-----------------------+-----------------+

Chương 3: Bài toán đảm bảo chi phí điều khiển cho một số lớp hệ phương trình vi phân có trễ

Chương 3 giải quyết trọn vẹn bài toán đảm bảo chi phí điều khiển cho hai lớp hệ phương trình vi phân hàm có cấu trúc phức tạp.

1. Hệ có trễ hỗn hợp trên cả biến trạng thái và biến điều khiển

Xét lớp hệ: $$\dot{x}(t) = A_0 x(t) + A_1 x(t-h_1(t)) + A_2 \int_{t-k_1(t)}^t x(s) ds + B_0 u(t) + B_1 u(t-h_2(t)) + B_2 \int_{t-k_2(t)}^t u(s) ds$$ với các hàm trễ $h_i(t), k_i(t)$ ($i=1,2$) liên tục, không nhất thiết khả vi, thỏa mãn $0 \le h_{i\min} \le h_i(t) \le h_{i\max}$, $0 \le k_i(t) \le k_i$.

  • Hàm chi phí toàn phương liên kết: $J = \int_0^{+\infty} [x^T(t)Qx(t) + u^T(t)Ru(t)] dt$.
  • Định lý 3.1: Bằng cách xây dựng phiếm hàm Lyapunov–Krasovskii mới chứa tốc độ hội tụ $\alpha$, kết hợp công thức Newton–Leibniz và bất đẳng thức Cauchy ma trận, tác giả đã thiết lập điều kiện đủ dưới dạng LMI để tồn tại luật điều khiển ngược $u(t) = Kx(t)$ sao cho hệ kín vừa ổn định hóa mũ vừa đảm bảo giá trị chi phí $J \le J^*$. Kết quả này không đòi hỏi tính điều khiển được của hệ và không yêu cầu tính khả vi của các hàm trễ.

2. Hệ tuyến tính có trễ biến thiên trên biến trạng thái và biến quan sát

Xét hệ điều khiển: $$\begin{cases} \dot{x}(t) = Ax(t) + Dx(t-h_1(t)) + Bu(t) \ y(t) = Cx(t-h_2(t)) \end{cases}$$ với các hàm trễ biến thiên dạng khoảng $0 < \underline{h}_i \le h_i(t) \le \bar{h}_i$ ($i=1,2$) liên tục không nhất thiết khả vi.

  • Thiết kế bộ điều khiển phản hồi đầu ra động (dynamic output feedback controller) có cấu trúc: $$\begin{cases} \dot{\xi}(t) = A_1 \xi(t) + B_1 y(t), \quad t \ge 0 \ \xi(t) = 0, \quad t \in [-d, 0] \ u(t) = C_1 \xi(t) \end{cases}$$
  • Định lý 3.2: Xây dựng phiếm hàm Lyapunov–Krasovskii chứa tích phân bội ba để xử lý độ trễ trên cả kênh trạng thái và kênh đo lường quan sát. Điều kiện đủ cho sự tồn tại bộ thông số $(A_1, B_1, C_1)$ và cận chi phí trên $J^*$ được biểu diễn hoàn toàn dưới dạng các nghiệm ma trận của hệ bất đẳng thức ma trận tuyến tính LMI.

Kết quả và những đóng góp mới

Luận án đã đạt được các đóng góp khoa học mới sau:

  1. Về mặt lý thuyết và phương pháp luận:

    • Mở rộng và cải tiến kỹ thuật xây dựng phiếm hàm Lyapunov–Krasovskii: kết hợp tích hợp tốc độ suy giảm mũ $\alpha$, các cận trễ dạng khoảng ($h_1, h_2$), các tích phân bội ba và loại bỏ hoàn toàn các thành phần tích phân chứa đạo hàm của trễ.
    • Xóa bỏ giả thiết bắt buộc về tính khả vi của các hàm trễ ($\dot{h}(t) \le \mu < 1$) vốn là hạn chế lớn của nhiều công trình quốc tế trước đó, cho phép áp dụng kết quả cho các hàm trễ liên tục bất kỳ, trễ không trơn hoặc trễ tuần hoàn không khả vi.
    • Mở rộng phạm vi nghiên cứu từ lớp hệ có cận dưới của trễ bằng 0 sang lớp hệ có trễ biến thiên dạng khoảng với cận dưới thực sự dương ($0 < h_1 \le h(t) \le h_2$).

  2. Về mặt ứng dụng và giải thuật điều khiển:

    • Đưa ra các công thức xác định tường minh cho luật điều khiển phản hồi trạng thái $u(t) = Kx(t)$ và bộ điều khiển phản hồi đầu ra động $(A_1, B_1, C_1)$ để vừa ổn định hóa mũ hệ thống vừa đảm bảo cận chi phí toàn phương $J \le J^*$.
    • Toàn bộ các điều kiện đủ được thiết lập dưới dạng các bất đẳng thức ma trận tuyến tính (LMI), cho phép sử dụng các thuật toán tối ưu lồi đa thức để giải số một cách hiệu quả trên phần mềm Matlab (LMI Toolbox).
+----------------------------------------------------------------------------------------------------+
|                               BẢNG TỔNG HỢP KẾT QUẢ ĐÓNG GÓP CỦA LUẬN ÁN                           |
+-----------------------------+-----------------------------------+----------------------------------+
| Vấn đề nghiên cứu           | Hạn chế của các công trình trước  | Đóng góp mới của luận án         |
+-----------------------------+-----------------------------------+----------------------------------+
| Mạng nơ-ron trễ hỗn hợp     | Đòi hỏi trễ khả vi & h_min = 0;   | Cho phép trễ không khả vi, trễ   |
|                             | ít kết quả về ổn định hóa mũ      | khoảng; tính tường minh ma trận K|
+-----------------------------+-----------------------------------+----------------------------------+
| Hệ trễ có nhiễu phi tuyến   | Chưa có kết quả cho ổn định hóa   | Thiết lập tiêu chuẩn LMI cho cả  |
|                             | mũ với trễ khoảng & không khả vi  | 2 dạng trễ và 2 dạng nhiễu       |
+-----------------------------+-----------------------------------+----------------------------------+
| Đảm bảo chi phí cho hệ có   | Chỉ xét trễ hằng hoặc trễ trạng   | Giải quyết cho trễ hỗn hợp trên  |
| trễ trạng thái & điều khiển | thái; đòi hỏi tính điều khiển được| cả trạng thái & điều khiển       |
+-----------------------------+-----------------------------------+----------------------------------+
| Đảm bảo chi phí qua phản    | Giả thiết trễ hằng/khả vi và kênh | Thiết kế thành công bộ điều khiển|
| hồi đầu ra động             | quan sát không chứa trễ           | động (A1, B1, C1) cho trễ khoảng |
+-----------------------------+-----------------------------------+----------------------------------+

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế:

    • Các kết quả trong luận án tập trung chủ yếu vào các lớp hệ thống động lực tuyến tính và phi tuyến tiền định (deterministic systems) với cấu trúc thời gian liên tục;
    • Các đánh giá bất đẳng thức tích phân và Cauchy ma trận trong một số trường hợp vẫn là điều kiện đủ (có tính bảo thủ nhất định về mặt chặn biên độ trễ);
    • Chưa xét đến các yếu tố bất định ngẫu nhiên hoặc hiện tượng chuyển mạch ngẫu nhiên giữa các cấu trúc hệ thống.

  • Hướng nghiên cứu tiếp theo:

    • Mở rộng phương pháp hàm Lyapunov–Krasovskii cải tiến cho các lớp hệ động lực ngẫu nhiên có trễ (stochastic delay differential systems) và hệ thống chuyển mạch (switched systems);
    • Nghiên cứu bài toán ổn định hóa và điều khiển tối ưu/đảm bảo chi phí cho các hệ phương trình đạo hàm riêng có trễ hoặc hệ phương trình vi phân đại số (singular/descriptor delay systems);
    • Tìm kiếm các kỹ thuật làm giảm độ bảo thủ (conservatism) của các điều kiện LMI bằng cách kết hợp các bất đẳng thức tích phân cải tiến (như bất đẳng thức Wirtinger hoặc bất đẳng thức phụ thuộc tự do).

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo có giá trị cao cho các đối tượng:

  • Nghiên cứu sinh và học viên cao học: Chuyên ngành Toán Giải tích, Toán Ứng dụng, Lý thuyết Điều khiển tự động và Cơ học tính toán; cung cấp phương pháp luận chặt chẽ trong việc xây dựng phiếm hàm Lyapunov–Krasovskii nhiều lớp và kỹ thuật xử lý số hạng tích phân trễ.
  • Giảng viên và nhà nghiên cứu: Cung cấp khung lý thuyết hoàn chỉnh về kỹ thuật đưa các bài toán phân tích ổn định, thiết kế bộ điều khiển phản hồi trạng thái và phản hồi đầu ra động về hệ các bất đẳng thức ma trận tuyến tính (LMIs).
  • Kỹ sư hệ thống và điều khiển tự động: Tham khảo cấu trúc thiết kế bộ điều khiển đảm bảo chi phí và các đoạn mã/thuật toán tính toán số sử dụng Matlab LMI Toolbox để áp dụng vào các hệ thống thực tế có trễ truyền thông, mạng nơ-ron nhân tạo và mạch điện tử.

Câu hỏi thường gặp

1. Tại sao việc loại bỏ giả thiết tính khả vi của hàm trễ lại có ý nghĩa quan trọng?

Trong nhiều hệ thống thực tế (như mạng truyền thông số, hệ thống nhúng, mạng điều khiển qua mạng), độ trễ truyền dữ liệu thường xuyên thay đổi đột ngột, có bước nhảy hoặc biến thiên dạng xung, không thể lấy đạo hàm. Các tiêu chuẩn trước đây dựa vào giả thiết hàm trễ có đạo hàm $\dot{h}(t) \le \mu < 1$ sẽ hoàn toàn mất hiệu lực khi áp dụng vào các hệ thống này. Luận án đã khắc phục triệt để rào cản đó bằng cách thiết kế cấu trúc phiếm hàm Lyapunov–Krasovskii mới không chứa đạo hàm của trễ.

2. Sự khác biệt cốt lõi giữa bài toán điều khiển tối ưu và bài toán đảm bảo chi phí điều khiển trong luận án là gì?

Bài toán điều khiển tối ưu truyền thống tìm kiếm điều khiển $u(t)$ để cực tiểu hóa hàm mục tiêu chi phí ($J \to \min$), việc này đòi hỏi mô hình toán học phải hoàn toàn chính xác và việc giải phương trình Hamilton-Jacobi-Bellman hoặc nguyên lý cực đại Pontryagin đối với hệ có trễ bất định là vô cùng phức tạp. Ngược lại, bài toán đảm bảo chi phí điều khiển chấp nhận tìm một luật điều khiển $u^(t)$ sao cho hệ thống vừa ổn định vừa đảm bảo giá trị hàm chi phí không vượt quá một cận trên hữu hạn xác định trước ($J \le J^$), cho phép giải quyết hiệu quả ngay cả khi hệ thống chứa tham số bất định và độ trễ biến thiên phức tạp.

3. Cấu trúc phiếm hàm Lyapunov–Krasovskii trong luận án có điểm gì đặc trưng để xử lý trễ biến thiên dạng khoảng?

Phiếm hàm được xây dựng tích hợp trực tiếp cận dưới $h_1$ và cận trên $h_2$ thông qua các tích phân kép và tích phân bội ba dạng: $$(h_2 - h_1) \int_{-h_2}^{-h_1} \int_{t+s}^t e^{2\alpha(\theta-t)} \dot{x}^T(\theta) S \dot{x}(\theta) d\theta ds$$ kết hợp hệ số suy giảm mũ $e^{2\alpha(\theta-t)}$. Cách cấu tạo này vừa bao quát toàn bộ khoảng biến thiên của trễ $[h_1, h_2]$, vừa trực tiếp đánh giá được chỉ số suy giảm mũ $\alpha$ của quỹ đạo trạng thái.

4. Các điều kiện ổn định trong luận án được giải trên máy tính như thế nào?

Tất cả các điều kiện đủ được biến đổi tương đương hoặc thu hẹp về dạng bất đẳng thức ma trận tuyến tính (LMI) dạng $\mathcal{F}(x) < 0$. Do tập phương án chấp nhận được của LMI là tập lồi, bài toán tìm các ma trận trọng số và ma trận điều khiển được giải bằng thuật toán điểm trong đa thức thông qua công cụ Matlab LMI Toolbox (hàm feasp hoặc mincx), đảm bảo tìm ra nghiệm trong thời gian hữu hạn.

Kết luận

Luận án tiến sĩ của tác giả Mai Viết Thuận là một công trình nghiên cứu toán học giải tích ứng dụng có hệ thống và chặt chẽ về lý thuyết ổn định và ổn định hóa cho các hệ phương trình vi phân hàm có trễ. Bằng việc cải tiến sáng tạo phương pháp phiếm hàm Lyapunov–Krasovskii kết hợp công cụ bất đẳng thức ma trận tuyến tính, luận án đã giải quyết thành công các bài toán ổn định mũ, ổn định hóa mũ và đảm bảo chi phí điều khiển cho nhiều lớp hệ động lực phức tạp với trễ biến thiên dạng khoảng không đòi hỏi tính khả vi. Các kết quả lý thuyết cùng thuật toán giải số tương ứng đóng góp thiết thực vào sự phát triển của lý thuyết điều khiển hiện đại và giải tích hệ thống động lực.