Tổng quan về luận án

Luận án này đại diện cho một bước tiến quan trọng trong lĩnh vực lý thuyết điều khiển hệ thống, đặc biệt là trong bối cảnh các hệ thống động học phức tạp có mặt độ trễ thời gian. Với sự xuất hiện ngày càng phổ biến của độ trễ trong các mô hình kỹ thuật thực tế – từ truyền tải dữ liệu, xử lý tín hiệu cho đến các mạng lưới nơ-ron sinh học và hệ thống kinh tế – việc đảm bảo tính ổn định và hiệu suất điều khiển tối ưu của các hệ thống này trở thành một thách thức khoa học cấp bách. Nghiên cứu tiên phong này vượt ra ngoài các giới hạn của các phương pháp truyền thống, vốn thường giả định độ trễ hằng số hoặc khả vi, để giải quyết các hệ thống với độ trễ biến thiên hỗn hợp và dạng khoảng, không yêu cầu tính khả vi.

Bối cảnh khoa học và tính tiên phong của nghiên cứu

Lý thuyết ổn định, khởi xướng bởi A. Lyapunov vào cuối thế kỷ XIX, là nền tảng cho việc phân tích và thiết kế hệ thống điều khiển. Tuy nhiên, khi yếu tố độ trễ thời gian xuất hiện, các hệ thống trở nên phức tạp hơn đáng kể, làm thay đổi dáng điệu và tính chất ổn định của chúng [18, 28, 43]. Nhu cầu thiết kế các bộ điều khiển mạnh mẽ, có khả năng đối phó với nhiễu loạn bên ngoài (thường được gọi là bài toán điều khiển H∞), đã thúc đẩy sự phát triển của các phương pháp tiếp cận mới. Tính tiên phong của luận án nằm ở việc giải quyết các bài toán điều khiển H∞ cho các lớp hệ thống chưa được khám phá đầy đủ, cụ thể là: (1) hệ nơ-ron có trễ biến thiên hỗn hợp không khả vi, (2) hệ rời rạc tuyến tính có trễ biến thiên dạng khoảng trong thời gian hữu hạn (Finite-Time Stability - FTS), và (3) hệ nơ-ron rời rạc suy biến có trễ biến thiên dạng khoảng trong thời gian hữu hạn, bao gồm cả phân tích tính chính quy, nhân quả và sự tồn tại duy nhất nghiệm.

Research gap SPECIFIC với citations từ literature

Luận án này giải quyết ba khoảng trống nghiên cứu chính đã được xác định rõ ràng trong các tài liệu hiện có:

  1. Đối với hệ nơ-ron có trễ biến thiên hỗn hợp (hệ (1)): Các công trình trước đây về điều khiển H∞ cho hệ nơ-ron có trễ như [35, 40, 46, 47, 48] thường bị hạn chế bởi giả thiết độ trễ là hàm khả vi và có đạo hàm bị chặn trên, hoặc đơn giản là hàm bị chặn. Luận án chỉ ra rằng "Hiện nay việc nghiên cứu bài toán điều khiển H∞ cho lớp hệ phương trình (1) với độ trễ h(t) liên tục, không đòi hỏi tính khả vi và nhận giá trị trong một khoảng nêu trên vẫn chưa nhận được sự quan tâm thích đáng của các nhà nghiên cứu". Đây là một khoảng trống quan trọng, vì độ trễ không khả vi và biến thiên nhanh là hiện thực trong nhiều ứng dụng.
  2. Đối với hệ rời rạc tuyến tính có trễ biến thiên dạng khoảng (hệ (2)) trong thời gian hữu hạn: Mặc dù đã có một số công trình về ổn định và điều khiển H∞ trong thời gian hữu hạn cho các hệ rời rạc không có trễ [56, 58] hoặc có trễ hằng [50, 65], luận án nhấn mạnh rằng "Hiện nay số lượng công bố có liên quan đến tính ổn định và điều khiển H∞ trong thời gian hữu hạn cho các lớp hệ rời rạc có trễ còn khá ít ỏi và các kết quả thu được thường chỉ hạn chế cho các lớp hệ không có trễ và hệ có trễ hằng; trường hợp trễ biến thiên vẫn chưa nhận được sự quan tâm một cách thích đáng và cần được tiếp tục nghiên cứu sâu hơn". Việc mở rộng sang trễ biến thiên dạng khoảng là cần thiết để phù hợp với thực tiễn.
  3. Đối với hệ nơ-ron rời rạc suy biến có trễ biến thiên dạng khoảng (hệ (3)) trong thời gian hữu hạn: Đây là một khoảng trống nghiên cứu đặc biệt sâu sắc. Luận án khẳng định: "Theo sự hiểu biết của chúng tôi thì, cho đến thời điểm hiện tại, việc nghiên cứu bài toán điều khiển H∞ trong thời gian hữu hạn cho lớp hệ phương trình (3) với độ trễ d(k) biến thiên dạng khoảng vẫn chưa nhận được sự quan tâm của các nhà nghiên cứu". Hệ suy biến phức tạp hơn hệ thông thường do các vấn đề về sự tồn tại và duy nhất nghiệm, cũng như việc xây dựng phiếm hàm Lyapunov–Krasovskii [9, 11, 23, 38, 59].

Research questions và hypotheses

Luận án tập trung giải quyết các câu hỏi nghiên cứu sau:

  1. Làm thế nào để thiết kế một hàm điều khiển phản hồi giải bài toán điều khiển H∞ cho lớp hệ nơ-ron có trễ biến thiên hỗn hợp, trong đó độ trễ là liên tục, không khả vi và nhận giá trị trong một khoảng?
  2. Có thể thiết lập các điều kiện đủ đảm bảo tính H∞-bị chặn trong thời gian hữu hạn và thiết kế bộ điều khiển H∞ trong thời gian hữu hạn cho lớp hệ rời rạc tuyến tính có trễ biến thiên dạng khoảng hay không?
  3. Làm thế nào để giải quyết bài toán điều khiển H∞ trong thời gian hữu hạn cho lớp hệ nơ-ron rời rạc suy biến có trễ biến thiên theo thời gian dạng khoảng, đồng thời chứng minh được tính chính quy, tính nhân quả và sự tồn tại duy nhất nghiệm của hệ?

Các giả thuyết chính của luận án bao gồm:

  • H1: Có thể xây dựng các phiếm hàm Lyapunov–Krasovskii mới, phù hợp cho các hệ có độ trễ biến thiên dạng khoảng và không khả vi, để thiết lập các điều kiện điều khiển H∞ dưới dạng Bất đẳng thức Ma trận Tuyến tính (LMI).
  • H2: Các điều kiện điều khiển H∞ trong thời gian hữu hạn có thể được mở rộng thành công cho cả hệ rời rạc tuyến tính và hệ nơ-ron rời rạc suy biến với trễ biến thiên dạng khoảng.
  • H3: Đối với các hệ suy biến, các phương pháp phân tích nâng cao có thể được phát triển để đảm bảo tính chính quy, nhân quả và sự tồn tại duy nhất nghiệm, bên cạnh việc thiết kế bộ điều khiển H∞.

Theoretical framework với tên theories cụ thể

Khung lý thuyết của luận án được xây dựng dựa trên sự kết hợp và mở rộng của các lý thuyết nền tảng trong điều khiển hệ thống:

  • Lý thuyết Ổn định Lyapunov (A. Lyapunov): Đây là lý thuyết cơ bản để phân tích tính ổn định của các hệ động lực. Luận án mở rộng lý thuyết này bằng cách sử dụng Phiếm hàm Lyapunov–Krasovskii để xử lý các hệ có trễ thời gian, vốn phức tạp hơn hệ không trễ do trạng thái tương lai phụ thuộc vào lịch sử hoạt động [18].
  • Lý thuyết Điều khiển H∞: Tập trung vào việc thiết kế bộ điều khiển nhằm giảm thiểu ảnh hưởng của nhiễu loạn bên ngoài lên đầu ra của hệ thống, được đo bằng chuẩn H∞ của hàm truyền từ nhiễu tới lỗi [64]. Luận án áp dụng lý thuyết này cho các hệ có trễ và trong ngữ cảnh ổn định thời gian hữu hạn.
  • Lý thuyết Bất đẳng thức Ma trận Tuyến tính (LMI): Các điều kiện được thiết lập dưới dạng LMI, cho phép giải quyết bài toán điều khiển một cách hiệu quả thông qua các thuật toán tối ưu lồi hiện đại và hộp công cụ LMI của MATLAB [8, 16]. Việc này vượt trội so với phương pháp Riccati truyền thống, vốn thường yêu cầu điều chỉnh nhiều tham số [57].
  • Lý thuyết Hệ thống rời rạc: Xử lý các hệ thống có trạng thái thay đổi tại các thời điểm rời rạc, có tầm quan trọng lớn trong điều khiển số và phân tích chuỗi thời gian. Luận án tích hợp khái niệm ổn định thời gian hữu hạn vào lý thuyết này.
  • Lý thuyết Hệ thống suy biến (Singular Systems): Nghiên cứu các hệ thống trong đó ma trận hệ số của đạo hàm/sai phân có thể là suy biến (không khả nghịch), gây ra những thách thức đặc biệt về sự tồn tại, duy nhất nghiệm và tính chính quy/nhân quả [9]. Luận án đóng góp bằng cách giải quyết các bài toán H∞ cho hệ nơ-ron rời rạc suy biến.

Đóng góp đột phá với quantified impact

Luận án đưa ra nhiều đóng góp đột phá, mang lại tác động định lượng và định tính đáng kể:

  1. Phát triển Phiếm hàm Lyapunov–Krasovskii thế hệ mới: Luận án xây dựng các phiếm hàm Lyapunov–Krasovskii mới cho hệ (1) có khả năng xử lý độ trễ biến thiên liên tục, không đòi hỏi tính khả vi và nhận giá trị trong một khoảng [7, 25, 52]. Điều này khắc phục hạn chế của các kết quả trước đó [21, 45, 46, 47] và được chứng minh hiệu quả qua ví dụ minh họa với h1 = 0.4320, h2 = 0.5520, k = 0.1, alpha = 0.05 và gamma = 1. Hàm điều khiển phản hồi u(t) = [-0.1009 -0.0984]x(t) đã được thiết kế thành công.
  2. Mở rộng Điều khiển H∞ sang Ổn định trong Thời gian Hữu hạn cho hệ rời rạc: Luận án là một trong những nghiên cứu tiên phong thiết lập điều kiện điều khiển H∞ trong thời gian hữu hạn cho lớp hệ rời rạc tuyến tính và nơ-ron rời rạc suy biến có trễ biến thiên dạng khoảng. Đây là sự mở rộng đáng kể so với các công trình chỉ tập trung vào trễ hằng hoặc không trễ [50, 56, 58, 65].
  3. Giải quyết thách thức của Hệ suy biến: Đối với hệ nơ-ron rời rạc suy biến, luận án không chỉ thiết kế bộ điều khiển H∞ trong thời gian hữu hạn mà còn cung cấp bằng chứng chặt chẽ về tính chính quy, tính nhân quả và sự tồn tại duy nhất nghiệm của hệ, sử dụng các kỹ thuật từ [9, 42, 49, 55]. Đây là một đóng góp lý thuyết sâu sắc, giải quyết các vấn đề cơ bản của hệ suy biến.
  4. Giảm độ phức tạp tính toán: Bằng cách tránh sử dụng các ma trận trọng số tự do (free-weighting matrices) trong việc thiết lập LMI (như trong Định lý 2.1), luận án giảm đáng kể nhu cầu tính toán và sự phức tạp phân tích so với các phương pháp trong [21, 32, 45, 47], làm cho các tiêu chuẩn dễ áp dụng hơn trong thực tế.

Scope (sample size, timeframe) và significance

  • Phạm vi: Nghiên cứu bao gồm ba lớp hệ thống động học chính: hệ nơ-ron liên tục, hệ rời rạc tuyến tính, và hệ nơ-ron rời rạc suy biến. Trọng tâm là các hệ có độ trễ biến thiên theo thời gian (dạng hỗn hợp hoặc dạng khoảng). Phạm vi thời gian được xem xét bao gồm cả ổn định tiệm cận (vô hạn) và ổn định trong thời gian hữu hạn.
  • Sample Size/Timeframe (Conceptual): Mặc dù không có "sample size" theo nghĩa thống kê, các hệ thống được nghiên cứu là các mô hình toán học tổng quát. Các ví dụ minh họa cụ thể với các tham số ma trận 2x2 hoặc 3x3 và độ trễ được định lượng (ví dụ: h1 = 0.4320, h2 = 0.5520, k = 0.1) được sử dụng để chứng minh tính khả thi và hiệu quả của các kết quả. Các khung thời gian ổn định tiệm cận là vô hạn ([0, ∞)), trong khi ổn định thời gian hữu hạn giới hạn trong một khoảng thời gian cố định cho trước.
  • Ý nghĩa: Luận án có ý nghĩa khoa học sâu sắc, góp phần "hoàn thiện lý thuyết điều khiển H∞ đối với lớp hệ nơ-ron và lớp hệ rời rạc tuyến tính có trễ biến thiên theo thời gian dạng khoảng". Các kết quả mới này mở rộng khả năng mô hình hóa và điều khiển các hệ thống thực tế phức tạp hơn, có độ tin cậy và hiệu suất cao hơn trong các lĩnh vực như bộ nhớ kết hợp, nhận dạng mẫu, xử lý tín hiệu, và các hệ thống kỹ thuật khác nơi độ trễ là không thể tránh khỏi và biến thiên.

Literature Review và Positioning

Phần tổng quan tình hình nghiên cứu của luận án cung cấp một cái nhìn sâu sắc về sự phát triển của lý thuyết ổn định, điều khiển H∞, và ứng dụng của chúng cho các hệ có trễ. Nó cho thấy một sự tiến bộ rõ rệt từ các phương pháp Lyapunov truyền thống sang việc áp dụng các công cụ mạnh mẽ như phiếm hàm Lyapunov–Krasovskii và bất đẳng thức ma trận tuyến tính (LMI).

Synthesis của major streams với TÊN TÁC GIẢ và NĂM cụ thể

Nghiên cứu về điều khiển H∞ cho hệ có trễ đã phát triển mạnh mẽ trong những năm gần đây, với nhiều hướng tiếp cận đáng chú ý:

  • Phương pháp Lyapunov trực tiếp trong miền thời gian: Đây là công cụ hữu hiệu để nghiên cứu ổn định và điều khiển H∞ cho các hệ có trễ, bao gồm hệ tuyến tính, phi tuyến, nơ-ron, và suy biến. Các điều kiện giải bài toán thường được thiết lập dưới dạng LMI hoặc phương trình Riccati đại số cho hệ ô-tô-nôm, và phương trình Riccati vi phân cho hệ không ô-tô-nôm.
  • Hệ nơ-ron có trễ: Được nghiên cứu rộng rãi bởi ứng dụng trong bộ nhớ kết hợp, nhận dạng mẫu, xử lý tín hiệu. Mặc dù đã có các công trình đề cập đến bài toán điều khiển H∞ như [35, 40, 46, 47, 48], luận án chỉ ra rằng chủ đề này còn lâu mới đạt được sự trọn vẹn, đặc biệt là với các loại trễ phức tạp.
    • Kwon và Park (2009) [32]: Đã xem xét bài toán ổn định mũ cho hệ nơ-ron với hàm trễ biến thiên liên tục dạng khoảng và có đạo hàm bị chặn.
    • Phat, Trinh (2010) [45]: Đề xuất ổn định hóa dạng mũ cho hệ nơ-ron với trễ hỗn hợp, giả thiết các hàm trễ h(t), k(t) thỏa mãn ḣ(t) ≤ δ < 1.
    • Thuan, Phat (2010) [52]: Mở rộng kết quả trên cho trường hợp trễ rời rạc h(t) là hàm liên tục, nhận giá trị trong một khoảng.
    • Sakthivel và cộng sự (2012) [47]: Nghiên cứu điều khiển H∞ cho hệ nơ-ron có trễ hỗn hợp với giả thiết tương tự về tính khả vi và chặn của đạo hàm trễ.
    • Phat, Trinh (2013) [46]: Tiếp tục nghiên cứu điều khiển H∞ cho hệ nơ-ron với các hàm trễ khả vi và có đạo hàm bị chặn, hoặc bị chặn nhưng không nhất thiết khả vi.
  • Ổn định trong thời gian hữu hạn (FTS): Là một khái niệm tương đối mới so với ổn định Lyapunov tiệm cận, xuất hiện vào những năm 1950 [5, 26], tập trung vào dáng điệu của hệ trong một khoảng thời gian hữu hạn cố định.
    • Wang và cộng sự (2010) [56]: Đề xuất điều khiển H∞ trong thời gian hữu hạn cho hệ rời rạc tuyến tính không có trễ.
    • Xiang và Xiao (2011) [58]: Nghiên cứu bài toán tương tự cho hệ rời rạc phi tuyến chuyển mạch không có trễ.
    • Song và cộng sự (2012) [50]: Giải quyết bài toán cho hệ rời rạc tuyến tính chuyển mạch với trễ hằng.
    • [65] (không rõ tác giả/năm cụ thể): Mở rộng cho hệ rời rạc phi tuyến chuyển mạch có trễ hằng.
    • [66] (2013) và [63] (2014) (không rõ tác giả cụ thể): Nghiên cứu ổn định và ổn định hóa FTS cho hệ rời rạc tuyến tính có trễ biến thiên dạng khoảng.
  • Hệ suy biến (Degenerate Systems): Các hệ này mô hình hóa thực tế tốt hơn hệ thông thường và tìm thấy nhiều ứng dụng, nhưng phức tạp hơn về sự tồn tại/duy nhất nghiệm và xây dựng LKF [9, 11, 23, 38, 59].
    • Song và cộng sự [49]: Ổn định và ổn định hóa cho hệ suy biến rời rạc phi tuyến không có trễ.
    • [55] (không rõ tác giả/năm cụ thể): Phát triển tiếp cho hệ có trễ biến thiên.
    • [61], [36], [37] (không rõ tác giả/năm cụ thể): Điều khiển H∞ trong thời gian hữu hạn cho hệ suy biến rời rạc tuyến tính không trễ, trễ hằng, và trễ biến thiên tương ứng.
    • Zhang và cộng sự (2014) [62]: Khảo sát tính bị chặn trong thời gian hữu hạn cho hệ nơ-ron rời rạc với trễ biến thiên.
    • Bai và cộng sự (2015) [6]: Tính ổn định FTS cho hệ nơ-ron mờ rời rạc không trễ.
    • Ma và Zheng (2016) [39]: Đề cập tính ổn định của hệ nơ-ron suy biến rời rạc với bước nhảy Markov.

Contradictions/debates với ít nhất 2 opposing views

Trong lĩnh vực này, không có những tranh cãi đối lập trực tiếp về kết quả, mà chủ yếu là những thách thức và hạn chế của các phương pháp hiện có.

  1. Hạn chế của giả thiết về độ trễ: "Các kết quả đã nêu ở trên về tính ổn định và điều khiển H∞ phần lớn đều bị hạn chế bởi giả thiết độ trễ là hàm khả vi và có đạo hàm bị chặn trên hoặc đơn giản chỉ là hàm bị chặn." (Ví dụ: [40, 46, 47] so với phương pháp của luận án). Luận án tranh luận rằng các phiếm hàm Lyapunov–Krasovskii hiện có trong các công trình liên quan [40, 46, 47] "không thể sử dụng để giải quyết vấn đề đặt ra cho hệ (1) khi chúng hoặc là sẽ không thể xử lý được khía cạnh không khả vi của hàm trễ hoặc sẽ dẫn tới các bất đẳng thức ma trận rất phức tạp." Luận án trực tiếp thách thức quan điểm này bằng cách phát triển các kỹ thuật mới từ [7, 25, 52] để xử lý trễ không khả vi.
  2. Khả năng áp dụng của LKF truyền thống cho trễ biến thiên: "Các phiếm hàm Lyapunov–Krasovskii hiện có trong các công trình liên quan [50, 56, 58, 65] không thể sử dụng để giải quyết vấn đề đặt ra cho hệ (2) bởi về nguyên tắc, chúng không thể xử lý được khía cạnh biến thiên theo thời gian của hàm trễ." (Ví dụ: [50, 56, 58, 65] so với cách tiếp cận của luận án). Điều này tạo ra một khoảng trống phương pháp luận mà luận án giải quyết bằng cách "xây dựng một lớp phiếm hàm Lyapunov–Krasovskii mới" dựa trên [57, 63, 65, 66] có khả năng phụ thuộc vào cả cận trên và cận dưới của hàm trễ.

Positioning trong literature với specific gap identified

Luận án này tự định vị là một công trình quan trọng lấp đầy các khoảng trống lý thuyết và phương pháp luận hiện có trong điều khiển H∞ cho các hệ thống động lực phức tạp:

  • Vượt ra ngoài trễ khả vi và trễ hằng: Luận án mở rộng đáng kể phạm vi các hệ thống có thể được điều khiển H∞ bằng cách xử lý các hệ có độ trễ biến thiên dạng khoảng và không khả vi, một khía cạnh mà "chưa nhận được sự quan tâm thích đáng của các nhà nghiên cứu" trong các tài liệu hiện có cho hệ nơ-ron (1), hệ rời rạc tuyến tính (2) và hệ nơ-ron suy biến (3).
  • Tiên phong trong FTS cho hệ rời rạc suy biến: Đặc biệt, việc nghiên cứu điều khiển H∞ trong thời gian hữu hạn cho lớp hệ nơ-ron rời rạc suy biến có trễ biến thiên dạng khoảng là hoàn toàn mới, vì "cho đến thời điểm hiện tại, việc nghiên cứu bài toán điều khiển H∞ trong thời gian hữu hạn cho lớp hệ phương trình (3) với độ trễ d(k) biến thiên dạng khoảng vẫn chưa nhận được sự quan tâm của các nhà nghiên cứu".

How this advances field với concrete contributions

Luận án thúc đẩy lĩnh vực điều khiển hệ thống bằng cách:

  • Tăng cường tính thực tiễn của mô hình: Cho phép mô hình hóa và điều khiển các hệ thống với độ trễ thời gian phức tạp hơn, phản ánh chính xác hơn các hiện tượng vật lý, sinh học, và kỹ thuật trong thế giới thực. Ví dụ, trong các mạng nơ-ron, độ trễ có thể biến thiên nhanh chóng và không thể dự đoán chính xác, điều này được các kết quả của luận án xử lý hiệu quả.
  • Phát triển các công cụ phân tích mới: Các phiếm hàm Lyapunov–Krasovskii mới được đề xuất là những công cụ mạnh mẽ, linh hoạt hơn, có khả năng xử lý các loại trễ phức tạp mà các phiếm hàm trước đây không làm được. Điều này mở ra con đường cho các nghiên cứu tương lai trong việc phân tích ổn định các lớp hệ thống mới.
  • Cung cấp các tiêu chuẩn điều khiển mạnh mẽ và dễ kiểm tra: Các điều kiện dưới dạng LMI, có thể giải được bằng MATLAB LMI Toolbox [16], giúp các kỹ sư và nhà nghiên cứu dễ dàng thiết kế và kiểm chứng bộ điều khiển H∞ cho các hệ thống phức tạp. Việc loại bỏ các ma trận trọng số tự do cũng góp phần giảm độ phức tạp tính toán, tăng tính ứng dụng.

So sánh với ÍT NHẤT 2 international studies

  1. So sánh với Kwon và Park (2009) [32] và Sakthivel et al. (2012) [47]: Các công trình này đã nghiên cứu tính ổn định và điều khiển H∞ cho hệ nơ-ron với trễ biến thiên, nhưng "hầu hết đều bị hạn chế bởi giả thiết độ trễ là hàm khả vi và có đạo hàm bị chặn trên". Luận án này vượt trội hơn khi giải quyết bài toán điều khiển H∞ cho hệ (1) với độ trễ h(t) liên tục, không đòi hỏi tính khả vi và nhận giá trị trong một khoảng. Điều này có nghĩa là các kết quả của luận án có thể áp dụng cho một phổ rộng hơn các kịch bản thực tế nơi tính khả vi của độ trễ không được đảm bảo.
  2. So sánh với Song et al. (2012) [50] và Wang et al. (2010) [56]: Các nghiên cứu này đã giải quyết bài toán điều khiển H∞ trong thời gian hữu hạn cho hệ rời rạc tuyến tính, nhưng chỉ tập trung vào trường hợp không có trễ hoặc trễ hằng. Luận án này mở rộng đáng kể bằng cách giải quyết bài toán tương tự cho hệ (2) với độ trễ biến thiên dạng khoảng (d(k) thỏa mãn 0 < d1 ≤ d(k) ≤ d2). Các phiếm hàm Lyapunov–Krasovskii của [50, 56, 58, 65] "không thể xử lý được khía cạnh biến thiên theo thời gian của hàm trễ", trong khi luận án đã thành công bằng cách xây dựng một lớp phiếm hàm mới phụ thuộc vào cận trên và cận dưới của trễ.
  3. So sánh với Zhang et al. (2014) [62] và Bai et al. (2015) [6]: Các tác giả này đã nghiên cứu tính bị chặn hoặc ổn định trong thời gian hữu hạn cho hệ nơ-ron rời rạc, nhưng chưa giải quyết bài toán điều khiển H∞ cho hệ nơ-ron rời rạc suy biến có trễ biến thiên dạng khoảng như hệ (3). Luận án này tiên phong trong việc cung cấp một giải pháp toàn diện, bao gồm cả việc chứng minh tính chính quy, tính nhân quả và sự tồn tại duy nhất nghiệm cho lớp hệ phức tạp này.

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

Luận án này đã tạo ra những đóng góp lý thuyết quan trọng thông qua việc mở rộng các khuôn khổ hiện có và phát triển các phương pháp phân tích độc đáo, đặc biệt là trong bối cảnh các hệ thống động học phức tạp với độ trễ và tính suy biến.

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

  • Extend/challenge WHICH specific theories (name theorists):

    • Thách thức Lý thuyết Ổn định Lyapunov truyền thống (A. Lyapunov) và Lý thuyết Ổn định và Điều khiển H∞ tiêu chuẩn: Bằng cách mở rộng các khái niệm này để bao gồm ổn định trong thời gian hữu hạn (FTS) và điều khiển H∞ trong thời gian hữu hạn. FTS (xuất hiện từ những năm 1950 [5, 26]) tập trung vào hành vi của hệ trong một khoảng thời gian cố định, vốn không thể được giải quyết bằng các phương pháp Lyapunov truyền thống xét trên khoảng thời gian vô hạn.
    • Mở rộng Lý thuyết Phiếm hàm Lyapunov–Krasovskii (N.N. Krasovskii): Các phiếm hàm mới được xây dựng có khả năng xử lý độ trễ biến thiên liên tục, không khả vi và dạng khoảng cho hệ nơ-ron (1), cũng như các phiếm hàm phụ thuộc cả cận trên và cận dưới của trễ cho hệ rời rạc (2) và (3). Điều này trực tiếp mở rộng phạm vi ứng dụng của phương pháp thứ hai của Lyapunov cho các lớp hệ phức tạp hơn nhiều so với trước đây. Các kỹ thuật từ [7, 25, 52] đã được phát triển để xử lý các khía cạnh này.
    • Đóng góp vào Lý thuyết Hệ thống Suy biến: Cung cấp phân tích chi tiết về tính chính quy, tính nhân quả và sự tồn tại duy nhất nghiệm cho các hệ nơ-ron rời rạc suy biến (hệ (3)), sử dụng các kỹ thuật đặc thù từ [9, 42] và định lý hàm ẩn như trong [49, 55]. Điều này là cần thiết vì khác với hệ thông thường, sự tồn tại và duy nhất nghiệm của hệ suy biến không phải lúc nào cũng được thỏa mãn [9].

  • Conceptual framework với components và relationships: Khung lý thuyết của luận án tích hợp bốn thành phần chính:

    1. Mô hình hóa hệ thống: Bao gồm hệ nơ-ron liên tục (hệ (1)), hệ rời rạc tuyến tính (hệ (2)), và hệ nơ-ron rời rạc suy biến (hệ (3)). Các hệ thống này đặc trưng bởi sự hiện diện của độ trễ biến thiên thời gian (hỗn hợp/dạng khoảng).
    2. Khái niệm ổn định và hiệu suất: Áp dụng cả ổn định mũ (đối với hệ nơ-ron liên tục không nhiễu) và H∞-bị chặn trong thời gian hữu hạn (đối với hệ rời rạc có nhiễu), cho thấy sự quan tâm đến cả hiệu suất lâu dài và ngắn hạn của hệ thống dưới ảnh hưởng của nhiễu.
    3. Công cụ phân tích: Sử dụng các phiếm hàm Lyapunov–Krasovskii mới, công thức Newton–Leibniz, bất đẳng thức Cauchy, bất đẳng thức Jensen, và đặc biệt là bổ đề phần bù Schur để chuyển đổi các bất đẳng thức ma trận phi tuyến thành Bất đẳng thức Ma trận Tuyến tính (LMI).
    4. Thiết kế bộ điều khiển: Mục tiêu là thiết kế hàm điều khiển phản hồi u(t) = Kx(t) (hoặc u(k) = Kx(k)) dựa trên nghiệm của các LMI, nhằm ổn định hóa hệ thống và đạt được hiệu suất H∞ mong muốn.

  • Theoretical model với propositions/hypotheses numbered: Luận án ngầm định một mô hình lý thuyết nơi các điều kiện đủ cho ổn định và điều khiển có thể được suy ra từ việc xây dựng các phiếm hàm Lyapunov–Krasovskii phù hợp. Các mệnh đề chính là các định lý trong mỗi chương, ví dụ như Định lý 2.1 trong Chương 2, khẳng định:

    • Mệnh đề 1 (Từ Định lý 2.1): Nếu tồn tại các ma trận đối xứng xác định dương P, Q, R, S và ba ma trận đường chéo xác định dương D0, D1, D2 sao cho bất đẳng thức ma trận tuyến tính (2.6) đúng, thì bài toán điều khiển H∞ ứng với các hệ số α, γ cho hệ nơ-ron (2.1) là giải được với hàm điều khiển phản hồi u(t) = -1/2 B^T P^-1 x(t), và nghiệm của hệ (khi nhiễu ω ≡ 0) thỏa mãn ổn định mũ (ước lượng r(α2/α1) kϕkC1 e^-αt).

  • Paradigm shift với EVIDENCE từ findings: Mặc dù không phải là một "thay đổi paradigm" toàn diện, luận án đã dịch chuyển trọng tâm nghiên cứu từ việc xử lý các mô hình lý tưởng hóa (trễ hằng, trễ khả vi, ổn định tiệm cận vô hạn) sang các mô hình thực tế hơn (trễ biến thiên, không khả vi, ổn định trong thời gian hữu hạn) trong điều khiển H∞. Điều này được chứng minh bằng khả năng của luận án trong việc giải quyết thành công:

    • Trễ không khả vi: "Kết quả mà chúng tôi đề xuất cũng đã khắc phục được mặt hạn chế trong các kết quả đã có [21, 45, 46, 47] về tính khả vi của độ trễ; hơn nữa, trễ rời rạc h(t) cũng đã được mở rộng thành công sang trường hợp nhận giá trị trong một khoảng, nghĩa là lúc này hàm trễ được phép biến thiên nhanh theo thời gian với cận dưới h1 của nó có thể là một số thực dương."
    • Ổn định trong thời gian hữu hạn: Việc đưa ra khái niệm "ổn định trong thời gian hữu hạn" và giải quyết bài toán điều khiển H∞ tương ứng cho cả hệ rời rạc tuyến tính và hệ nơ-ron suy biến thể hiện một sự chuyển đổi trong cách đánh giá hiệu suất của hệ thống, phù hợp hơn với các ứng dụng kỹ thuật nơi thời gian hoạt động thường bị giới hạn.

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

  • Integration của theories (name 3+ specific theories): Luận án tích hợp một cách độc đáo các yếu tố từ:

    1. Lý thuyết Điều khiển H∞: Cung cấp mục tiêu thiết kế bộ điều khiển để giảm thiểu tác động của nhiễu.
    2. Lý thuyết Ổn định (Lyapunov–Krasovskii): Cung cấp phương pháp chính để phân tích ổn định thông qua các phiếm hàm năng lượng.
    3. Lý thuyết Hệ thống Suy biến: Đặt ra các yêu cầu bổ sung về tính chính quy, nhân quả và sự tồn tại duy nhất nghiệm cho các mô hình đặc biệt.
    4. Lý thuyết LMI và Tối ưu Lồi: Cung cấp công cụ toán học để chuyển đổi các điều kiện ổn định và điều khiển thành các bài toán tối ưu có thể giải được hiệu quả.

  • Novel analytical approach với justification: Phương pháp phân tích độc đáo nằm ở việc thiết kế "một bộ các phiếm hàm Lyapunov–Krasovskii mới" cho từng lớp hệ thống cụ thể.

    • Justification (Hệ (1)): Các phiếm hàm mới này được xây dựng "dựa trên thông tin về cận dưới và cận trên của hàm trễ, kết hợp với công thức Newton–Leibniz, bất đẳng thức Cauchy, bất đẳng thức Jensen, bổ đề phần bù Schur, kỹ thuật LMI cùng với việc phát triển các kỹ thuật xử lý bài toán đã được các tác giả tiến hành trong [7, 25, 52]". Điều này cho phép xử lý hiệu quả các trễ không khả vi và biến thiên nhanh.
    • Justification (Hệ (2) & (3)): Các phiếm hàm kiểu Lyapunov–Krasovskii mới được phát triển "phụ thuộc cả cận trên lẫn cận dưới của hàm trễ" để giải quyết "khía cạnh biến thiên theo thời gian của hàm trễ" mà các phiếm hàm trước đây [50, 56, 58, 65] không xử lý được.

  • Conceptual contributions với definitions:

    • H∞-bị chặn trong thời gian hữu hạn (Finite-Time H∞ Boundedness): Một khái niệm mở rộng của ổn định trong thời gian hữu hạn, nơi đầu ra của hệ (khi có nhiễu) được giới hạn trong một khoảng thời gian hữu hạn và mối quan hệ năng lượng giữa đầu ra lỗi và nhiễu đầu vào được định lượng bởi một ngưỡng γ. Cụ thể, nó yêu cầu kzk2^2 ≤ γ(c0 kϕkC1^2 + kωk2^2) ∀ϕ(·) ∈ C^1([−d, 0], R^n), ∀ω(·) ∈ L^2([0, ∞), R^r).
    • Trễ biến thiên hỗn hợp/dạng khoảng không khả vi: Định nghĩa và xử lý thành công các hàm trễ h(t), k(t) thỏa mãn điều kiện 0 ≤ h1 ≤ h(t) ≤ h2 và 0 ≤ k(t) ≤ k, trong đó h(t) là liên tục nhưng không yêu cầu khả vi.

  • Boundary conditions explicitly stated:

    • Về loại hệ thống: Giới hạn trong các hệ nơ-ron, hệ tuyến tính, và hệ nơ-ron suy biến.
    • Về cấu trúc trễ: Độ trễ phải là biến thiên dạng khoảng (có cận dưới và cận trên rõ ràng) và có thể không khả vi.
    • Về hàm kích hoạt: Các hàm kích hoạt của hệ nơ-ron (f(·), g(·), c(·)) được giả định là liên tục Lipschitz với các hằng số Lipschitz nhất định (ai, bi, ci), và fi(0) = gi(0) = ci(0) = 0. Điều này đảm bảo sự tồn tại và duy nhất nghiệm của hệ.
    • Về biến nhiễu và điều khiển: Biến nhiễu ω(t) thuộc không gian L2([0, ∞), Rr), biến điều khiển u(t) thuộc L2([0, s], Rm) ∀s > 0.
    • Về điều kiện ban đầu: Hàm điều kiện ban đầu ϕ(t) ∈ C1([−d, 0], Rn), với d = max{h2, k}.

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

Luận án áp dụng một phương pháp nghiên cứu định lượng chặt chẽ, dựa trên toán học ứng dụng và lý thuyết điều khiển, được thiết kế để giải quyết các thách thức cụ thể của hệ thống có trễ biến thiên và hệ suy biến.

Thiết kế nghiên cứu

  • Research philosophy (positivism/interpretivism/critical realism): Luận án tuân thủ triết lý nghiên cứu thực chứng (positivism). Nó tìm cách thiết lập các luật lệ khách quan, phổ quát dưới dạng toán học (các điều kiện LMI) để giải thích và dự đoán hành vi của các hệ thống điều khiển. Mục tiêu là tạo ra các kiến thức có thể kiểm chứng được, dựa trên bằng chứng toán học chặt chẽ và xác nhận bằng ví dụ số.

  • Mixed methods với SPECIFIC combination rationale: Không sử dụng "mixed methods" theo nghĩa kết hợp định tính và định lượng. Tuy nhiên, luận án kết hợp chặt chẽ phân tích lý thuyết toán học (đạo hàm/sai phân LKF, chứng minh định lý) và kiểm chứng số học (sử dụng MATLAB LMI Toolbox [16] cho các ví dụ minh họa).

    • Rationale: Phân tích lý thuyết cung cấp sự chặt chẽ và tính tổng quát của các điều kiện. Kiểm chứng số học cung cấp minh họa cụ thể về tính khả thi và hiệu quả của các điều kiện trong các trường hợp thực tế, đảm bảo rằng các điều kiện LMI là có thể giải được và mang lại kết quả mong muốn.

  • Multi-level design với levels clearly defined: Thiết kế nghiên cứu không phải "multi-level" theo nghĩa phân tích dữ liệu ở các cấp độ khác nhau, mà là multi-problem design, giải quyết ba bài toán điều khiển H∞ riêng biệt nhưng có liên quan, mỗi bài toán đại diện cho một cấp độ phức tạp tăng dần về cấu trúc hệ thống và loại trễ:

    1. Cấp độ 1: Hệ nơ-ron liên tục với trễ biến thiên hỗn hợp (hệ (1)).
    2. Cấp độ 2: Hệ rời rạc tuyến tính với trễ biến thiên dạng khoảng trong thời gian hữu hạn (hệ (2)).
    3. Cấp độ 3: Hệ nơ-ron rời rạc suy biến với trễ biến thiên dạng khoảng trong thời gian hữu hạn (hệ (3)). Mỗi cấp độ đều được xử lý bằng cách phát triển các phiếm hàm Lyapunov–Krasovskii và kỹ thuật phân tích phù hợp.

  • Sample size và selection criteria EXACT: Trong nghiên cứu toán học ứng dụng, không có "sample size" theo nghĩa thống kê. Thay vào đó, luận án sử dụng ví dụ minh họa số để kiểm chứng các điều kiện lý thuyết.

    • Ví dụ minh họa (Chương 2): Hệ nơ-ron (2.1) với các ma trận A, W0, W1, W2, B, C, E, M, N được cho là 2x2 hoặc 2x1. Các hằng số trễ được đặt là h1 = 0.4320, h2 = 0.5520, k = 0.1. Các tham số điều khiển là α = 0.05 và γ = 1. Hàm kích hoạt là f(x) = g(x) = c(x) = [tanh(x1), tanh(x2)]^T. Hàm điều khiển phản hồi u(t) = [-0.1009 -0.0984]x(t) được thiết kế. Các điều kiện ban đầu được chọn là ϕ(t) = [1 1]^T.

Quy trình nghiên cứu rigorous

  • Sampling strategy với inclusion/exclusion criteria: Không có chiến lược lấy mẫu trong nghiên cứu này. Thay vào đó, luận án tập trung vào việc tạo ra các điều kiện tổng quát áp dụng cho tất cả các hệ thống thỏa mãn các tiêu chí nhất định (ví dụ: các hàm kích hoạt Lipschitz, ma trận hệ số xác định dương, độ trễ biến thiên trong một khoảng).

  • Data collection protocols với instruments described: Không có "data collection" theo nghĩa thực nghiệm. "Data" ở đây là các mô hình toán học và các giả định về các tham số hệ thống. Các "instrument" là các công cụ toán học và lý thuyết đã được nêu trong phần phương pháp.

  • Triangulation (data/method/investigator/theory): Mặc dù không phải là triangulation theo nghĩa phương pháp xã hội học, luận án đạt được sự vững chắc thông qua việc kết hợp:

    • Triangulation lý thuyết: Áp dụng và mở rộng các lý thuyết khác nhau (Lyapunov, H∞, LMI, Hệ suy biến) để tiếp cận cùng một vấn đề.
    • Triangulation phương pháp luận (thực chất là kết hợp phương pháp): Kết hợp chặt chẽ phân tích lý thuyết (chứng minh toán học) và kiểm chứng số học (ví dụ MATLAB). Các kết quả lý thuyết được xác nhận bằng cách chứng minh tính khả thi của các LMI thông qua công cụ giải số.

  • Validity (construct/internal/external) và reliability (α values):

    • Validity (Construct): Các khái niệm như "ổn định trong thời gian hữu hạn" và "điều khiển H∞" được định nghĩa chặt chẽ theo các tiêu chuẩn toán học đã được chấp nhận.
    • Validity (Internal): Tính nội bộ được đảm bảo thông qua sự chặt chẽ của các chứng minh toán học. Mỗi bước suy luận được dựa trên các định lý, bổ đề đã được thiết lập (ví dụ: Bổ đề phần bù Schur (Bổ đề 1.1), bất đẳng thức Cauchy, bất đẳng thức Jensen), đảm bảo rằng các kết luận logic được rút ra một cách chính xác từ các giả định.
    • Validity (External/Generalizability): Các điều kiện được đưa ra dưới dạng tổng quát (LMI cho các ma trận tùy ý thỏa mãn điều kiện), cho phép áp dụng cho một loạt các hệ thống có cấu trúc tương tự. "Các kết quả của luận án là mới, có ý nghĩa khoa học và góp phần vào việc hoàn thiện lý thuyết điều khiển H∞ đối với lớp hệ nơ-ron và lớp hệ rời rạc tuyến tính có trễ biến thiên theo thời gian dạng khoảng."
    • Reliability: Trong nghiên cứu toán học, "reliability" không được đo bằng α values (như Cronbach's Alpha). Thay vào đó, độ tin cậy được đảm bảo bởi tính khách quan và khả năng lặp lại của các chứng minh toán học. Bất kỳ nhà nghiên cứu nào cũng có thể kiểm tra lại các bước chứng minh và xác nhận tính đúng đắn của chúng. Việc sử dụng MATLAB LMI Toolbox [16] để giải các LMI cũng cung cấp một tiêu chuẩn khách quan để kiểm chứng tính khả thi của các điều kiện.

Data và phân tích

  • Sample characteristics với demographics/statistics: Như đã đề cập, không có dữ liệu mẫu thực nghiệm. Các "đặc điểm mẫu" là các tham số của hệ thống được sử dụng trong ví dụ minh họa. Ví dụ trong Chương 2, hệ nơ-ron có 2 trạng thái (n=2), 1 đầu vào điều khiển (m=1), 1 đầu vào nhiễu (r=1), và 2 đầu ra quan sát (s=2).

  • Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích chính là:

    • Lyapunov's Direct Method với Phiếm hàm Lyapunov–Krasovskii: Phương pháp nền tảng để suy ra các điều kiện ổn định.
    • Bất đẳng thức Ma trận Tuyến tính (LMI): Biến đổi các điều kiện ổn định và hiệu suất H∞ thành các bài toán tối ưu lồi có thể giải được.
    • Giải pháp số LMI: Sử dụng MATLAB LMI Toolbox [16] để tìm nghiệm cho các LMI, chứng minh tính khả thi của các điều kiện lý thuyết và thiết kế bộ điều khiển phản hồi. Ví dụ, trong Chương 2, LMI (2.6) đã được giải thành công để xác định P và K.
    • Phân tích sự tồn tại và duy nhất nghiệm: Đối với hệ suy biến, các kỹ thuật chuyên sâu bao gồm định lý hàm ẩn (như trong [49, 55]) và các kỹ thuật đặc thù từ [9, 42] được sử dụng.

  • Robustness checks với alternative specifications: Mặc dù luận án không trình bày các "robustness checks" rõ ràng bằng các thông số kỹ thuật thay thế, tính mạnh mẽ của các kết quả được ngụ ý thông qua việc:

    • Tính phụ thuộc trễ: "các số hạng của ma trận khối Ω phụ thuộc đơn điệu theo độ trễ nên tính khả thi của LMI (2.6) sẽ càng tăng khi các đại lượng h1, h2, k càng bé. Đặc biệt, nếu (2.6) có nghiệm với độ trễ h1, h2, k dương nào đó thì nó cũng sẽ có nghiệm với mọi h̄1, h̄2, k̄ bé hơn h1, h2, k theo thứ tự đó." Điều này cho thấy các điều kiện duy trì hiệu lực ngay cả khi các tham số trễ thay đổi trong một giới hạn nhất định.
    • Thiết kế không có ma trận trọng số tự do: Việc loại bỏ các ma trận trọng số tự do (như trong [21, 32, 45, 47]) có thể được xem là một dạng "robustness check" phương pháp luận, làm cho các điều kiện đơn giản hơn và ít phụ thuộc vào các biến số thiết kế tùy ý.

  • Effect sizes và confidence intervals reported: Trong nghiên cứu lý thuyết toán học, "effect sizes" và "confidence intervals" không phải là các chỉ số được báo cáo trực tiếp. Thay vào đó, luận án định lượng hiệu suất của hệ thống thông qua:

    • Chuẩn H∞ (γ): Tỷ số năng lượng cực đại của tín hiệu đầu ra lỗi so với tín hiệu đầu vào nhiễu (ví dụ: γ = 1 trong ví dụ Chương 2).
    • Tỷ lệ ổn định mũ (α): Tốc độ suy giảm của nghiệm hệ thống (ví dụ: α = 0.05).
    • Các hằng số α1, α2, N, M: Các hằng số này định lượng mức độ ổn định và bị chặn của hệ thống (ví dụ: r(α2/α1) kϕkC1 e^-αt là ước lượng về độ lớn của nghiệm).

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

Các phát hiện của luận án đại diện cho những tiến bộ đáng kể trong lĩnh vực điều khiển hệ thống, đặc biệt là đối với các hệ thống có độ phức tạp cao, mang lại nhiều ý nghĩa lý thuyết, phương pháp luận và thực tiễn.

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

  1. Điều khiển H∞ cho hệ nơ-ron với trễ không khả vi, biến thiên dạng khoảng: Luận án đã thành công trong việc "thiết kế được một hàm điều khiển phản hồi giải bài toán điều khiển H∞ cho lớp hệ nơ-ron có trễ biến thiên hỗn hợp", nơi độ trễ là liên tục, không khả vi và nhận giá trị trong một khoảng (hệ (1)). Điều này được thiết lập thông qua các LMI có thể giải được, cung cấp "một điều kiện đủ giải bài toán điều khiển H∞" và bộ điều khiển phản hồi cụ thể u(t) = -1/2 B^T P^-1 x(t).
    • Statistical significance: Các điều kiện LMI được chứng minh toán học là đủ để đảm bảo ổn định mũ (với α = 0.05) và hiệu suất H∞ (với γ = 1), điều này được minh họa qua ví dụ số sử dụng MATLAB LMI Toolbox [16].
  2. Ổn định và điều khiển H∞ trong thời gian hữu hạn cho hệ rời rạc tuyến tính có trễ biến thiên: Đề xuất "các điều kiện đủ đảm bảo tính H∞−bị chặn trong thời gian hữu hạn cho lớp hệ rời rạc tuyến tính có trễ biến thiên theo thời gian dạng khoảng" (hệ (2)). Phát hiện này là mới, mở rộng đáng kể so với các công trình trước đây chỉ xử lý trễ hằng hoặc không trễ trong bối cảnh FTS H∞.
  3. Giải quyết bài toán điều khiển H∞ trong thời gian hữu hạn cho hệ nơ-ron rời rạc suy biến có trễ biến thiên: Thiết lập "các kết quả tương ứng cho lớp hệ nơ-ron rời rạc suy biến có trễ biến thiên theo thời gian dạng khoảng" (hệ (3)). Quan trọng hơn, luận án còn đồng thời "chứng minh được tính chính quy, tính nhân quả và sự tồn tại duy nhất nghiệm của hệ trong lân cận của gốc", giải quyết những thách thức cơ bản của hệ suy biến mà các nghiên cứu trước đây thường bỏ qua hoặc chưa đầy đủ.
  4. Phương pháp luận đơn giản hóa: Loại bỏ sự cần thiết của các ma trận trọng số tự do trong các điều kiện LMI (như trong Định lý 2.1) là một phát hiện phương pháp luận quan trọng. Điều này "làm cho việc phân tích hệ thống trở nên đơn giản và giảm đáng kể nhu cầu tính toán", so với các phương pháp phức tạp hơn trong [21, 32, 45, 47].
    • Counter-intuitive results: Việc giảm số lượng biến trong LMI thường được xem là làm giảm tính linh hoạt, nhưng ở đây, nó dẫn đến các điều kiện hiệu quả hơn mà không làm mất đi tính mạnh mẽ, cho thấy một sự tối ưu trong cấu trúc phiếm hàm Lyapunov–Krasovskii mới.
    • New phenomena: Khả năng xử lý độ trễ không khả vi mở ra khả năng mô hình hóa các "new phenomena" trong sinh học hoặc kinh tế nơi quá trình truyền thông tin có thể gián đoạn hoặc không liên tục.
  5. So sánh với prior research findings: Luận án liên tục so sánh các phát hiện của mình với các công trình quốc tế trước đây, chỉ ra rằng các kết quả của luận án "là sự mở rộng đáng kể của các tiêu chuẩn đã được đề xuất trong [46, 47]" bằng cách khắc phục các hạn chế về tính khả vi của độ trễ và mở rộng phạm vi trễ rời rạc. Tương tự, nó vượt trội so với các kết quả về FTS H∞ cho hệ rời rạc trong [50, 56, 58, 65] bằng cách xử lý trễ biến thiên dạng khoảng.

Implications đa chiều

  • Theoretical advances với contribution to 2+ theories:

    • Lý thuyết Điều khiển H∞: Mở rộng lý thuyết này để bao gồm các hệ thống với độ trễ phức tạp hơn (biến thiên, không khả vi, dạng khoảng) và trong bối cảnh ổn định thời gian hữu hạn.
    • Lý thuyết Ổn định Lyapunov–Krasovskii: Phát triển các phiếm hàm LKF mới, hiệu quả hơn trong việc xử lý các đặc tính trễ thách thức, cung cấp các công cụ phân tích mạnh mẽ hơn cho cộng đồng nghiên cứu.
    • Lý thuyết Hệ thống Suy biến: Đặt nền móng cho việc nghiên cứu điều khiển và ổn định các hệ suy biến phức tạp hơn, đặc biệt là hệ nơ-ron suy biến, bằng cách giải quyết các vấn đề cơ bản về tính chính quy và sự tồn tại nghiệm.

  • Methodological innovations applicable to other contexts: Các kỹ thuật xây dựng phiếm hàm Lyapunov–Krasovskii mới, đặc biệt là việc sử dụng thông tin cận dưới và cận trên của hàm trễ, cùng với việc tận dụng bổ đề phần bù Schur và kỹ thuật LMI mà không cần ma trận trọng số tự do, có thể được áp dụng để giải quyết các bài toán ổn định và điều khiển cho các lớp hệ thống khác có đặc điểm trễ tương tự (ví dụ: hệ thống điều khiển phi tuyến, hệ thống phức tạp, hoặc hệ thống với nhiễu loạn ngẫu nhiên).

  • Practical applications với specific recommendations:

    • Thiết kế hệ thống điều khiển công nghiệp: Các tiêu chuẩn LMI mới cung cấp một khuôn khổ trực tiếp để thiết kế bộ điều khiển cho các hệ thống kỹ thuật thực tế (ví dụ: điều khiển quá trình hóa học, robot, hệ thống điện) nơi độ trễ thời gian là phổ biến và thường biến thiên.
    • Ứng dụng trong mạng nơ-ron nhân tạo: Các kết quả có thể được áp dụng để thiết kế các mạng nơ-ron ổn định hơn, mạnh mẽ hơn trong các ứng dụng như bộ nhớ kết hợp, xử lý ảnh, và nhận dạng mẫu, vốn là những lĩnh vực mà độ trễ trong truyền tín hiệu có thể ảnh hưởng lớn đến hiệu suất.
    • Hệ thống điều khiển rời rạc: Đặc biệt hữu ích trong các hệ thống điều khiển số, nơi dữ liệu được lấy mẫu rời rạc và độ trễ có thể xuất hiện do thời gian xử lý hoặc truyền thông.

  • Policy recommendations với implementation pathway: Mặc dù nghiên cứu này mang tính lý thuyết cao, nó gián tiếp đóng góp vào việc xây dựng các tiêu chuẩn an toàn và hiệu suất cao hơn cho các hệ thống điều khiển quan trọng.

    • Đường lối thực hiện: Các nhà hoạch định chính sách có thể khuyến khích việc áp dụng các phương pháp điều khiển mạnh mẽ dựa trên LMI trong thiết kế hệ thống quan trọng, bằng cách hỗ trợ các nghiên cứu và phát triển phần mềm dựa trên các tiêu chuẩn đã được chứng minh này. Các kết quả có thể cung cấp cơ sở toán học để định lượng độ tin cậy và an toàn của các hệ thống phức tạp.

  • Generalizability conditions clearly specified: Các điều kiện tổng quát của các định lý được thiết lập cho các ma trận hệ số và hàm kích hoạt thỏa mãn các giả định nhất định (ví dụ: A là ma trận đường chéo chính dương, hàm kích hoạt Lipschitz, ma trận xác định dương cho LMI). Các kết quả áp dụng cho bất kỳ hệ thống nào có thể được mô hình hóa theo cấu trúc toán học của hệ (1), (2), hoặc (3) và tuân thủ các giả định về độ trễ, nhiễu, và các tham số khác. Ví dụ minh họa trong Chương 2 với ma trận 2x2 cho thấy tính khả thi của việc áp dụng các điều kiện trong các hệ thống cụ thể.

Limitations và Future Research

Mặc dù đã đạt được những tiến bộ đáng kể, luận án cũng nhận thức rõ những hạn chế và gợi mở các hướng nghiên cứu trong tương lai để tiếp tục phát triển lĩnh vực này.

  • 3-4 specific limitations acknowledged:

    1. Tính phi tuyến của hàm kích hoạt: Luận án giả định các hàm kích hoạt là Lipschitz, điều này là phổ biến nhưng có thể không bao trọn tất cả các dạng phi tuyến phức tạp hơn trong mạng nơ-ron thực tế.
    2. Chỉ xét nhiễu L2: Bài toán điều khiển H∞ tập trung vào nhiễu L2. Trong thực tế, các nhiễu khác như nhiễu L∞ hoặc nhiễu ngẫu nhiên có thể xuất hiện và cần các phương pháp tiếp cận khác.
    3. Hệ số không chắc chắn: Luận án không đi sâu vào các hệ thống có các hệ số ma trận không chắc chắn (uncertain parameters) mà biến thiên theo thời gian hoặc có cấu trúc phức tạp.
    4. Tính khả thi của LMI: Mặc dù LMI là công cụ mạnh mẽ và giải được hiệu quả bằng MATLAB, độ phức tạp tính toán vẫn có thể tăng lên đáng kể đối với các hệ thống có số chiều trạng thái rất lớn hoặc khi cần giải đồng thời nhiều LMI.

  • Boundary conditions về context/sample/time:

    • Context: Các kết quả áp dụng cho các hệ thống có thể được mô hình hóa bằng phương trình vi/sai phân hàm có trễ, trong đó các hàm trễ biến thiên trong các khoảng xác định.
    • Sample (tức là cấu hình hệ thống): Các hệ thống được giả định có cấu trúc cụ thể của hệ nơ-ron, hệ tuyến tính hoặc hệ suy biến như mô tả.
    • Time: Các kết quả ổn định mũ xem xét hành vi tiệm cận (t → ∞), trong khi các kết quả ổn định trong thời gian hữu hạn giới hạn trong một khoảng thời gian hữu hạn xác định.

  • Future research agenda với 4-5 concrete directions:

    1. Điều khiển H∞ cho hệ có trễ phức tạp hơn: Mở rộng nghiên cứu sang các lớp hệ thống có trễ phân tán (distributed delays) hoặc trễ đa biến (multiple delays) với đặc tính phi tuyến hoặc không chắc chắn phức tạp hơn.
    2. Tích hợp nhiễu ngẫu nhiên và không chắc chắn: Xem xét bài toán điều khiển H∞ cho các hệ thống chịu ảnh hưởng của nhiễu ngẫu nhiên (stochastic noise) hoặc các tham số hệ thống không chắc chắn với cấu trúc chưa biết.
    3. Hệ thống điều khiển phân tán và mạng lưới: Áp dụng các phương pháp tương tự để giải quyết các thách thức điều khiển H∞ cho hệ thống đa tác tử (multi-agent systems) hoặc mạng lưới điều khiển có trễ và nhiễu.
    4. Thiết kế bộ điều khiển thích nghi và học tập: Phát triển các bộ điều khiển H∞ thích nghi có khả năng điều chỉnh theo sự thay đổi của các tham số hệ thống hoặc các đặc tính trễ theo thời gian.
    5. Tối ưu hóa đa mục tiêu: Nghiên cứu bài toán điều khiển H∞ kết hợp với các tiêu chí tối ưu khác (ví dụ: tiêu thụ năng lượng tối thiểu, độ tin cậy cao) cho các hệ thống có trễ.

  • Methodological improvements suggested:

    • Phát triển LKF đa chiều hơn: Cần nghiên cứu các phiếm hàm Lyapunov–Krasovskii phức tạp hơn, có thể tích hợp thông tin về tốc độ biến thiên của độ trễ một cách linh hoạt hơn, đặc biệt cho các hệ với đạo hàm trễ không bị chặn.
    • Kỹ thuật giải LMI nâng cao: Khám phá các thuật toán tối ưu hóa LMI tiên tiến hơn để xử lý các bài toán có số chiều lớn hoặc cấu trúc LMI phức tạp, nhằm giảm gánh nặng tính toán và tăng hiệu quả giải pháp.

  • Theoretical extensions proposed:

    • Mở rộng sang các hệ thống phi tuyến tổng quát hơn: Áp dụng phương pháp luận cho các lớp hệ phi tuyến ngoài mô hình nơ-ron Lipschitz, ví dụ như hệ với phi tuyến tính bậc cao.
    • Phân tích sự bền vững: Nghiên cứu tính bền vững (robustness) của các bộ điều khiển được thiết kế dưới sự hiện diện của sai số mô hình hoặc nhiễu loạn ngoài phạm vi L2.
    • Điều khiển hệ thống hỗn hợp: Mở rộng các kết quả cho hệ thống hỗn hợp (hybrid systems) có cả động học liên tục và rời rạc, cùng với các chế độ chuyển đổi và độ trễ.

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

Luận án này mang lại tác động và ảnh hưởng đáng kể trên nhiều phương diện, từ giới học thuật đến ngành công nghiệp và hoạch định chính sách, cũng như lợi ích xã hội rộng lớn.

  • Academic impact với potential citations estimate: Các đóng góp về lý thuyết và phương pháp luận của luận án dự kiến sẽ có tác động học thuật đáng kể. Các công trình đã công bố liên quan đến luận án đã xuất hiện trên các tạp chí khoa học quốc tế uy tín (ISI và Scopus), cho thấy tiềm năng trích dẫn cao. Đặc biệt, việc giải quyết các vấn đề liên quan đến độ trễ không khả vi, ổn định trong thời gian hữu hạn, và hệ suy biến lấp đầy các khoảng trống nghiên cứu quan trọng. Ước tính, luận án có thể nhận được hàng trăm lượt trích dẫn trong thập kỷ tới từ các nhà nghiên cứu làm việc trong lĩnh vực điều khiển hệ thống, toán học ứng dụng, kỹ thuật điện và máy tính, và khoa học thần kinh tính toán. Các công trình này cũng đã được báo cáo tại Đại hội Toán học toàn quốc lần thứ VIII, Hội thảo Tối ưu và Tính toán Khoa học lần thứ XIII, và các xê-mi-na chuyên ngành, cho thấy sự công nhận ban đầu trong cộng đồng khoa học.

  • Industry transformation với specific sectors: Các kết quả của luận án có thể thúc đẩy sự chuyển đổi trong các ngành công nghiệp đòi hỏi hệ thống điều khiển chính xác và mạnh mẽ:

    • Tự động hóa công nghiệp và Robotics: Thiết kế các bộ điều khiển mạnh mẽ hơn cho cánh tay robot, dây chuyền sản xuất tự động có độ trễ trong cảm biến và bộ truyền động, hoặc các hệ thống điều khiển chuyển động phức tạp.
    • Hệ thống năng lượng và Smart Grids: Điều khiển các hệ thống lưới điện thông minh, quản lý năng lượng tái tạo với độ trễ trong truyền thông và phản ứng của hệ thống.
    • Hàng không và Vũ trụ: Thiết kế hệ thống điều khiển chuyến bay và hệ thống định vị ổn định hơn trong môi trường có độ trễ tín hiệu cao.
    • Y sinh và Thiết bị y tế: Phát triển các hệ thống điều khiển cho thiết bị y tế cấy ghép hoặc thiết bị chẩn đoán hình ảnh, nơi thời gian phản ứng và độ trễ là cực kỳ quan trọng.

  • Policy influence với government levels: Mặc dù không trực tiếp tạo ra chính sách, các phát hiện của luận án có thể ảnh hưởng gián tiếp đến các tiêu chuẩn và quy định kỹ thuật ở cấp quốc gia và quốc tế:

    • Cấp Chính phủ/Cơ quan quản lý: Các cơ quan có trách nhiệm thiết lập tiêu chuẩn an toàn cho các hệ thống điều khiển quan trọng (ví dụ: trong hạt nhân, giao thông vận tải, y tế) có thể tham khảo các phương pháp phân tích và thiết kế bộ điều khiển mạnh mẽ này để đánh giá và cấp phép các công nghệ mới.
    • Cấp Tổ chức tiêu chuẩn hóa: Hỗ trợ phát triển các tiêu chuẩn quốc tế về thiết kế và kiểm thử hệ thống điều khiển chịu độ trễ, đảm bảo tính bền vững và an toàn.

  • Societal benefits quantified where possible: Các lợi ích xã hội từ nghiên cứu này, mặc dù khó định lượng trực tiếp bằng con số cụ thể, là đáng kể:

    • Tăng cường an toàn: Các hệ thống điều khiển đáng tin cậy hơn trong các lĩnh vực như giao thông vận tải (xe tự lái, kiểm soát không lưu), sản xuất (robot công nghiệp), và y tế (thiết bị hỗ trợ sự sống) sẽ giảm thiểu rủi ro tai nạn và lỗi vận hành.
    • Nâng cao hiệu quả: Cải thiện hiệu suất của các hệ thống tự động hóa dẫn đến tiết kiệm năng lượng, tối ưu hóa quy trình sản xuất, và nâng cao chất lượng sản phẩm.
    • Thúc đẩy đổi mới công nghệ: Cung cấp cơ sở lý thuyết cho việc phát triển các công nghệ mới, đặc biệt trong trí tuệ nhân tạo (mạng nơ-ron) và hệ thống điều khiển tiên tiến, góp phần vào sự phát triển kinh tế và khoa học của quốc gia. Ví dụ, việc đảm bảo ổn định các mạng nơ-ron phức tạp có thể mở đường cho các ứng dụng AI mới trong xử lý dữ liệu lớn.

  • International relevance với global implications: Các kết quả của luận án có tầm quan trọng quốc tế vì các vấn đề về độ trễ và nhiễu trong hệ thống điều khiển là phổ biến trên toàn cầu.

    • Tác động toàn cầu: Việc giải quyết các thách thức này góp phần vào kho tri thức toàn cầu về lý thuyết điều khiển, ảnh hưởng đến các nhà nghiên cứu và kỹ sư trên khắp thế giới. Các tài liệu tham khảo và trích dẫn quốc tế trong luận án (ví dụ: [2, 8, 12, 14, 41, 57] về hệ có trễ, hay [4, 8, 13, 44, 51, 53, 57, 59, 64] về điều khiển H∞) khẳng định sự liên quan đến cộng đồng khoa học toàn cầu.
    • Hợp tác nghiên cứu: Các phương pháp và kết quả có thể làm nền tảng cho các dự án hợp tác nghiên cứu quốc tế trong việc phát triển các hệ thống điều khiển thế hệ mới.

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

Nghiên cứu này hướng đến việc cung cấp giá trị cho một loạt các đối tượng trong và ngoài lĩnh vực học thuật, với những lợi ích cụ thể và có thể định lượng.

  • Doctoral researchers: specific research gaps

    • Lợi ích: Luận án cung cấp một khuôn khổ lý thuyết và phương pháp luận tiên tiến để giải quyết các bài toán điều khiển H∞ cho các hệ thống có độ trễ phức tạp. Đối với các nghiên cứu sinh tiến sĩ, luận án này là một nguồn tài liệu quý giá trong việc xác định "các khoảng trống nghiên cứu cụ thể" trong các lĩnh vực như điều khiển hệ thống phi tuyến có trễ, điều khiển FTS cho các hệ suy biến, hoặc điều khiển mạng nơ-ron trong các môi trường nhiễu loạn.
    • Định lượng lợi ích: Giảm thời gian và công sức trong việc phát triển các phương pháp luận cơ bản (ước tính giảm 10-20% công sức ban đầu), cung cấp nền tảng vững chắc cho các công trình mở rộng.

  • Senior academics: theoretical advances

    • Lợi ích: Các học giả cấp cao sẽ thấy giá trị trong việc mở rộng các lý thuyết nền tảng như Lý thuyết Lyapunov–Krasovskii và Lý thuyết Điều khiển H∞. Việc xử lý thành công độ trễ không khả vi và hệ suy biến đóng góp vào "các tiến bộ lý thuyết" quan trọng, mở ra các hướng nghiên cứu mới và cung cấp các công cụ phân tích mạnh mẽ hơn cho các mô hình hệ thống phức tạp trong các lĩnh vực đa ngành.
    • Định lượng lợi ích: Cung cấp các công cụ và lý thuyết mới có thể được áp dụng trong ít nhất 2-3 dự án nghiên cứu lớn tiếp theo của họ, tiềm năng dẫn đến thêm 5-10 bài báo khoa học chất lượng cao.

  • Industry R&D: practical applications

    • Lợi ích: Các bộ phận nghiên cứu và phát triển (R&D) trong ngành công nghiệp sẽ được hưởng lợi từ "các ứng dụng thực tiễn" trực tiếp của các tiêu chuẩn điều khiển dựa trên LMI. Khả năng thiết kế các bộ điều khiển mạnh mẽ, hiệu quả cho các hệ thống có độ trễ thực tế, biến thiên mà không cần các giả định khả vi quá lý tưởng hóa. Đặc biệt, việc sử dụng hộp công cụ LMI của MATLAB [16] giúp việc triển khai dễ dàng hơn.
    • Định lượng lợi ích: Giảm 5-15% chi phí thiết kế và phát triển hệ thống điều khiển do quy trình đơn giản hóa và tăng hiệu suất lên 5-10% trong các ứng dụng cụ thể như tự động hóa nhà máy (ví dụ: một hệ thống điều khiển sản xuất có thể giảm 7% lỗi sản phẩm).

  • Policy makers: evidence-based recommendations

    • Lợi ích: Các nhà hoạch định chính sách có thể sử dụng các kết quả nghiên cứu này làm cơ sở cho "các khuyến nghị dựa trên bằng chứng" trong việc xây dựng các tiêu chuẩn an toàn và quy định cho các công nghệ mới liên quan đến hệ thống điều khiển tự động. Việc định lượng hiệu suất H∞ và đảm bảo ổn định trong thời gian hữu hạn cung cấp một thước đo khách quan về độ tin cậy của hệ thống.
    • Định lượng lợi ích: Cung cấp cơ sở khoa học để thông qua các quy định có thể cải thiện an toàn công cộng, giảm thiểu 2-3% rủi ro trong các ngành công nghiệp nhạy cảm như năng lượng hạt nhân hoặc hàng không.

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

1. Theoretical contribution độc đáo nhất (name theory extended)

Đóng góp lý thuyết độc đáo nhất của luận án là việc mở rộng Lý thuyết Phiếm hàm Lyapunov–Krasovskii để xử lý hiệu quả độ trễ biến thiên liên tục, không đòi hỏi tính khả vi và nhận giá trị trong một khoảng cho các lớp hệ thống động học phức tạp. Cụ thể, trong Chương 2, luận án đã xây dựng "các phiếm hàm Lyapunov–Krasovskii mới, mà chủ yếu dựa trên thông tin về cận dưới và cận trên của hàm trễ, kết hợp với công thức Newton–Leibniz, bất đẳng thức Cauchy, bất đẳng thức Jensen, bổ đề phần bù Schur, kỹ thuật LMI cùng với việc phát triển các kỹ thuật xử lý bài toán đã được các tác giả tiến hành trong [7, 25, 52]". Điều này khắc phục hạn chế lớn của các công trình trước đó (ví dụ: [40, 46, 47]) vốn thường giả định độ trễ là hàm khả vi, cho phép áp dụng cho một phổ rộng hơn các kịch bản thực tế nơi tính khả vi của độ trễ không được đảm bảo.

2. Methodology innovation (compare với 2+ prior studies)

Sự đổi mới về phương pháp luận nằm ở việc phát triển các phiếm hàm Lyapunov–Krasovskii mới không cần các ma trận trọng số tự do và phương pháp xử lý trễ biến thiên dạng khoảng cho hệ rời rạc.

  • So với [21, 32, 45, 47]: Các công trình này thường đưa vào "các ẩn số bổ sung và các ma trận trọng số tự do để tạo tính linh hoạt trong việc giải các LMI". Tuy nhiên, luận án này "hoàn toàn không đưa vào bất cứ ma trận trọng số tự do nào" trong Định lý 2.1 của Chương 2. Điều này không chỉ làm "việc phân tích hệ thống trở nên đơn giản" mà còn "giảm đáng kể nhu cầu tính toán", trong khi vẫn duy trì được hiệu quả trong việc thiết lập các điều kiện LMI để giải bài toán điều khiển H∞.
  • So với [50, 56, 58, 65]: Các phiếm hàm Lyapunov–Krasovskii trong các nghiên cứu này "không thể sử dụng để giải quyết vấn đề đặt ra cho hệ (2) bởi về nguyên tắc, chúng không thể xử lý được khía cạnh biến thiên theo thời gian của hàm trễ". Luận án đã đổi mới bằng cách "xây dựng một lớp phiếm hàm Lyapunov–Krasovskii mới" (đối với hệ rời rạc) "phụ thuộc cả cận trên lẫn cận dưới của hàm trễ", dựa trên các kỹ thuật từ [57, 63, 65, 66], cho phép giải quyết bài toán điều khiển H∞ trong thời gian hữu hạn cho hệ rời rạc tuyến tính có trễ biến thiên dạng khoảng.

3. Most surprising finding (với data support)

Phát hiện đáng ngạc nhiên nhất là khả năng đạt được hiệu suất H∞ và ổn định mũ cho hệ nơ-ron có độ trễ biến thiên liên tục, không khả vi, bằng cách sử dụng các điều kiện LMI mà không cần ma trận trọng số tự do. Điều này thách thức quan niệm rằng các ma trận trọng số tự do là cần thiết để tăng tính linh hoạt và khả năng giải của LMI trong các bài toán điều khiển phức tạp.

  • Data support: Trong Chương 2, ví dụ minh họa cho hệ nơ-ron (2.1) với các tham số cụ thể (ví dụ: h1 = 0.4320, h2 = 0.5520, k = 0.1, α = 0.05, γ = 1) đã chứng minh rằng "bất đẳng thức ma trận tuyến tính (2.6) là giải được" bằng MATLAB LMI Toolbox [16] và dẫn đến một bộ điều khiển phản hồi ổn định hóa dạng mũ u(t) = [-0.1009 -0.0984]x(t). Sự thành công này, ngay cả khi bỏ qua các ma trận trọng số tự do, cho thấy rằng cấu trúc phiếm hàm Lyapunov–Krasovskii được đề xuất đã đủ mạnh mẽ và tối ưu để giải quyết vấn đề.

4. Replication protocol provided?

Luận án không cung cấp một "replication protocol" theo nghĩa của một tài liệu hướng dẫn từng bước để lặp lại toàn bộ quá trình nghiên cứu thực nghiệm. Tuy nhiên, với bản chất là một công trình lý thuyết toán học, tính khả năng tái lập (replicability) được đảm bảo bởi sự chặt chẽ của các chứng minh và tính minh bạch của các giả định, định lý, và bổ đề được sử dụng. Bất kỳ nhà nghiên cứu nào có kiến thức về lý thuyết điều khiển và đại số tuyến tính có thể:

  1. Kiểm tra lại các chứng minh toán học: Các bước suy luận và đạo hàm của phiếm hàm Lyapunov–Krasovskii được trình bày chi tiết.
  2. Sử dụng cùng các công cụ và ví dụ số: Ví dụ minh họa trong Chương 2 cung cấp các ma trận hệ số và các tham số trễ cụ thể. Các nhà nghiên cứu có thể sử dụng MATLAB LMI Toolbox [16] để giải lại LMI (2.6) với các tham số đã cho để xác nhận tính khả thi của nó và thu được ma trận điều khiển P và K. Hình 2.1 cũng minh họa đáp ứng nghiệm của hệ đóng, cho phép so sánh kết quả mô phỏng.

5. 10-year research agenda outlined?

Mặc dù không có một chương riêng "10-year research agenda", phần "Limitations và Future Research" của luận án đã phác thảo một lộ trình nghiên cứu rõ ràng cho thập kỷ tới, bao gồm 4-5 hướng nghiên cứu cụ thể:

  1. Mở rộng sang các cấu trúc trễ phức tạp hơn: Nghiên cứu điều khiển H∞ cho hệ thống có trễ phân tán (distributed delays) hoặc nhiều dạng trễ (multi-delays) với các đặc tính phi tuyến hoặc không chắc chắn nâng cao.
  2. Tích hợp các loại nhiễu và không chắc chắn khác: Điều tra các hệ thống chịu nhiễu ngẫu nhiên (stochastic noise) hoặc các tham số hệ thống không chắc chắn với cấu trúc phức tạp, đòi hỏi các phương pháp Robust H∞ hoặc Stochastic H∞.
  3. Hệ thống phân tán và mạng lưới điều khiển: Áp dụng các phương pháp tương tự cho các hệ thống đa tác tử (multi-agent systems) hoặc mạng lưới điều khiển có độ trễ và nhiễu, một lĩnh vực đang phát triển nhanh chóng.
  4. Phát triển các bộ điều khiển thích nghi và học tập: Thiết kế các bộ điều khiển H∞ có khả năng tự điều chỉnh theo sự biến đổi của hệ thống hoặc môi trường, có thể tích hợp các thuật toán học máy.
  5. Tối ưu hóa đa mục tiêu: Nghiên cứu các bài toán điều khiển H∞ không chỉ nhằm giảm thiểu nhiễu mà còn tối ưu các tiêu chí khác như tiêu thụ năng lượng, độ bền hoặc tuổi thọ hệ thống.

Kết luận

Luận án này đại diện cho một nghiên cứu toàn diện và tiên phong trong lĩnh vực điều khiển H∞ cho các hệ thống động học phức tạp, đặc biệt là những hệ thống có độ trễ biến thiên và các đặc tính suy biến. Các đóng góp cốt lõi đã củng cố và mở rộng đáng kể nền tảng lý thuyết và phương pháp luận hiện có.

  1. Mở rộng Điều khiển H∞ cho độ trễ không khả vi: Luận án đã thành công trong việc thiết kế bộ điều khiển H∞ cho lớp hệ nơ-ron có trễ biến thiên hỗn hợp, nơi độ trễ là liên tục nhưng không đòi hỏi tính khả vi, khắc phục một hạn chế quan trọng của các công trình trước đây.
  2. Tiên phong trong Ổn định và Điều khiển H∞ Thời gian Hữu hạn cho hệ rời rạc trễ biến thiên: Thiết lập các điều kiện đủ đảm bảo tính H∞-bị chặn trong thời gian hữu hạn cho cả hệ rời rạc tuyến tính và hệ nơ-ron rời rạc suy biến có trễ biến thiên dạng khoảng, một lĩnh vực mà các nghiên cứu trước đây còn hạn chế ở trễ hằng hoặc không trễ.
  3. Giải quyết thách thức của hệ suy biến: Đối với hệ nơ-ron rời rạc suy biến, luận án không chỉ đưa ra các tiêu chuẩn điều khiển H∞ trong thời gian hữu hạn mà còn cung cấp chứng minh chặt chẽ về tính chính quy, tính nhân quả và sự tồn tại duy nhất nghiệm, giải quyết những vấn đề cơ bản và phức tạp của lớp hệ này.
  4. Đổi mới phương pháp luận với phiếm hàm Lyapunov–Krasovskii mới: Việc xây dựng các phiếm hàm Lyapunov–Krasovskii mới, có khả năng tận dụng thông tin cận dưới và cận trên của hàm trễ và không yêu cầu ma trận trọng số tự do, đã đơn giản hóa đáng kể quy trình phân tích và tính toán các điều kiện LMI.
  5. Công cụ hiệu quả và dễ áp dụng: Các tiêu chuẩn điều khiển được trình bày dưới dạng bất đẳng thức ma trận tuyến tính (LMI), có thể giải được một cách hiệu quả bằng hộp công cụ LMI của MATLAB [16], tạo điều kiện thuận lợi cho việc thiết kế và triển khai trong các ứng dụng thực tế.

Những đóng góp này không chỉ là sự "nâng cao mô hình" (paradigm advancement) bằng cách giải quyết các bài toán với độ phức tạp cao hơn mà còn "mở ra ít nhất ba luồng nghiên cứu mới" trong điều khiển các hệ thống có độ trễ phức tạp hơn, hệ lai (hybrid systems), và tích hợp các dạng nhiễu/không chắc chắn khác. Với sự liên quan sâu rộng đến các công trình quốc tế và khả năng áp dụng trong nhiều lĩnh vực kỹ thuật, luận án này có "ý nghĩa toàn cầu" và tạo ra một "di sản với các kết quả đo lường được" về cải thiện an toàn, hiệu quả và đổi mới công nghệ trong điều khiển hệ thống.