Tổng quan về luận án

Luận án tiến sĩ "Một số bài toán điều khiển được vững của hệ động lực mô tả bởi phương trình vi phân có trễ" của Nguyễn Thị Hồng đại diện cho một bước tiến đột phá trong lĩnh vực lý thuyết điều khiển toán học, đặc biệt là trong bối cảnh các hệ động lực phức tạp với trễ thời gian. Nghiên cứu này nổi bật bởi tính tiên phong trong việc giải quyết một khoảng trống nghiên cứu then chốt: sự thiếu vắng các công thức định lượng và đánh giá chính xác về tính điều khiển được vững cho các hệ động lực mô tả bởi phương trình vi phân có trễ và các hệ trung tính khi chịu nhiễu có cấu trúc. Trong khi tính bền vững của các tính chất hệ thống đã được nghiên cứu rộng rãi cho các hệ tuyến tính hữu hạn chiều (như bán kính ổn định Hurwitz của Pritchard [31, 32] hay bán kính điều khiển được của Paige và Kressner), các nghiên cứu tương tự cho các hệ vô hạn chiều như hệ có trễ và hệ trung tính vẫn còn hạn chế.

Research gap SPECIFIC với citations từ literature: Mở đầu của luận án nhấn mạnh rõ ràng khoảng trống này: "Tuy nhiên, bài toán nghiên cứu về sự bền vững của tính điều khiển được và đánh giá khoảng cách tới tập không điều khiển được đối với các hệ điều khiển tuyến tính có trễ, các hệ trung tính cho đến bây giờ vẫn chưa có kết quả nào." Đây là một khoảng trống đáng kể, bởi lẽ các mô hình toán học thực tế luôn tồn tại nhiễu và sự không chắc chắn, làm cho việc kiểm tra tính chất điều khiển được của hệ lý tưởng không đủ cho ứng dụng thực tiễn. Việc thiếu hụt các công cụ định lượng để đo lường mức độ bền vững này đã cản trở đáng kể sự phát triển các bộ điều khiển mạnh mẽ cho các ứng dụng thực tế, từ kỹ thuật hàng không vũ trụ đến sinh học và kinh tế, nơi trễ thời gian đóng vai trò thiết yếu. Luận án đặt ra mục tiêu định lượng hóa sự bền vững của tính điều khiển được thông qua các khái niệm bán kính điều khiển được cho ba lớp hệ thống phức tạp: hệ điều khiển tuyến tính có trễ rời rạc, hệ tuyến tính trung tính, và hệ điều khiển tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm.

Research questions và hypotheses: Luận án giải quyết các câu hỏi nghiên cứu cốt lõi sau:

  1. RQ1: Làm thế nào để định lượng (thiết lập công thức tính) bán kính điều khiển được xấp xỉ phức và bán kính điều khiển được Euclide phức cho hệ tuyến tính có trễ rời rạc (6) khi các ma trận của hệ chịu nhiễu có cấu trúc (19, 20)?
  2. RQ2: Làm thế nào để thiết lập các công thức tính bán kính điều khiển được chính xác, Euclide, và xấp xỉ phức cho hệ tuyến tính trung tính (9) dưới tác động của nhiễu có cấu trúc (21)?
  3. RQ3: Các điều kiện cần và đủ cho tính điều khiển được xấp xỉ của hệ tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm (5) là gì, đặc biệt khi hàm ma trận η có nguyên tử cô lập tại −h? Làm thế nào để đánh giá bán kính điều khiển được phổ và xấp xỉ phức cho hệ này dưới nhiễu phức tạp (22, 23)?

Các giả thuyết của luận án xoay quanh việc mở rộng và khái quát hóa các tiêu chuẩn điều khiển được hiện có (đặc biệt là tiêu chuẩn Hautus mở rộng) và lý thuyết toán tử đa trị tuyến tính để định lượng hóa sự bền vững của tính điều khiển được trong không gian trạng thái vô hạn chiều, dưới các dạng nhiễu có cấu trúc cụ thể. Luận án giả định rằng các kỹ thuật này có thể được áp dụng để đưa ra các công thức tính toán hoặc đánh giá hiệu quả cho bán kính điều khiển được.

Theoretical framework với tên theories cụ thể: Nghiên cứu được xây dựng trên một nền tảng lý thuyết vững chắc, tích hợp các lĩnh vực toán học tiên tiến:

  • Lý thuyết điều khiển tuyến tính và tiêu chuẩn Hautus: Các tiêu chuẩn kinh điển của Kalman [38] và Hautus [29] về tính điều khiển được hoàn toàn của hệ tuyến tính hữu hạn chiều (2) là điểm khởi đầu. Luận án mở rộng tiêu chuẩn Hautus sang các hệ có trễ và trung tính.
  • Lý thuyết phương trình vi phân có trễ và nửa nhóm toán tử: Hệ (5) và (9) được phân tích trong các không gian Banach vô hạn chiều như $M_2 := K^n \times L_2([-h, 0], K^n)$ và $W_2^1([-h, 0], C^n)$, sử dụng lý thuyết nửa nhóm toán tử liên tục mạnh để chuyển đổi các phương trình vi phân có trễ thành các phương trình vi phân trừu tượng trong không gian vô hạn chiều (trang 4, phương trình (8)). Các công trình của J. Hale [27] và D. Tarn [54] là nền tảng cho cách tiếp cận này.
  • Lý thuyết toán tử đa trị tuyến tính: Đây là công cụ then chốt để phân tích các nhiễu có cấu trúc và thiết lập các công thức bán kính điều khiển được. Các khái niệm về bán kính toàn ánh phức (16) được phát triển bởi N. Thuan và C. Young [70, 71] là trọng tâm trong việc đánh giá chuẩn các ma trận và xác định độ bền vững.
  • Lý thuyết toán tử cấu trúc (Structural Operators): Các toán tử H và G (1.15, 1.16) được sử dụng để phân tích tính đầy đủ và tính điều khiển được phổ, đặc biệt trong các nghiên cứu của A. Manitius [45, 46, 47, 48].

Đóng góp đột phá với quantified impact: Luận án mang lại nhiều đóng góp đột phá, có thể định lượng hóa về mặt lý thuyết và phương pháp:

  1. Công thức định lượng Bán kính Điều khiển được cho hệ có trễ rời rạc: Luận án cung cấp các công thức tính toán trực tiếp cho bán kính điều khiển được xấp xỉ phức và bán kính điều khiển được Euclide phức cho hệ (6) với nhiễu có cấu trúc (19). Đây là những công thức đầu tiên cho phép định lượng mức độ bền vững của tính điều khiển được cho loại hệ thống này. Chương 2 của luận án trình bày chi tiết các công thức này, cũng như các chặn trên và chặn dưới cho bán kính điều khiển được thực, thiết lập mối quan hệ định lượng giữa các loại bán kính.
  2. Công thức cho Hệ tuyến tính trung tính: Luận án thiết lập các công thức tính bán kính điều khiển được chính xác, Euclide, và xấp xỉ phức cho hệ tuyến tính trung tính (9) dưới nhiễu có cấu trúc (21). Trước đây, các kết quả này chưa tồn tại, đại diện cho một tiến bộ đáng kể trong lĩnh vực lý thuyết điều khiển các hệ trung tính. Chương 3 cung cấp các công thức cụ thể, bao gồm cả các trường hợp đặc biệt như ma trận E có hạng bằng số cột hoặc ma trận D khả nghịch.
  3. Điều kiện mới cho Phương trình vi phân phiếm hàm: Luận án đưa ra điều kiện cần và đủ cho hệ (5) điều khiển được xấp xỉ trong trường hợp hàm ma trận η có nguyên tử cô lập tại −h. Đây là một kết quả mới, mở rộng công trình của N. Son [67]. Đồng thời, luận án cũng thiết lập các chặn trên và chặn dưới cho bán kính điều khiển được phổ phức và bán kính điều khiển được xấp xỉ phức cho hệ này dưới nhiễu có cấu trúc phức tạp (22, 23), bao gồm cả nhiễu trên hàm trễ η.
  4. Mở rộng và ứng dụng Lý thuyết Toán tử đa trị tuyến tính: Luận án mở rộng việc ứng dụng lý thuyết toán tử đa trị tuyến tính để phân tích độ bền vững của tính toàn ánh của một ánh xạ (16) sang bài toán tính bán kính điều khiển được cho các hệ trong không gian vô hạn chiều. Cách tiếp cận này tổng quát hơn các kết quả trước đó của M. Kressner, vốn yêu cầu điều kiện chặt chẽ hơn về ma trận cấu trúc E (trang 9).

Scope (sample size, timeframe) và significance: Do tính chất lý thuyết của luận án toán học, không có "sample size" theo nghĩa thống kê. Phạm vi nghiên cứu tập trung vào ba lớp hệ động lực được mô tả bởi phương trình vi phân có trễ với các đặc điểm cụ thể: hệ tuyến tính có trễ rời rạc, hệ tuyến tính trung tính, và hệ tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm. Khoảng thời gian (timeframe) của hệ thống được xem xét thường là $t > 0$, với trễ $h > 0$. Các kết quả được chứng minh một cách tổng quát cho các hệ này.

Ý nghĩa của luận án là rất lớn. Nó không chỉ lấp đầy một khoảng trống nghiên cứu quan trọng mà còn cung cấp các công cụ toán học mạnh mẽ để thiết kế các hệ thống điều khiển robust hơn trong các ứng dụng thực tế. Ví dụ, trong các hệ thống robot hoặc mạng truyền thông, nơi trễ thời gian là không thể tránh khỏi và các nhiễu có cấu trúc thường xuyên xuất hiện, các công thức định lượng từ luận án này cho phép các kỹ sư đánh giá chính xác mức độ an toàn và ổn định của hệ thống dưới các nhiễu cho phép. Điều này góp phần nâng cao độ tin cậy và hiệu suất của các hệ thống phức tạp trong thế giới thực.

Literature Review và Positioning

Phần tổng quan tài liệu của luận án cung cấp một cái nhìn toàn diện về lịch sử và sự phát triển của lý thuyết điều khiển được, đặc biệt tập trung vào các hệ có trễ và trung tính. Nó bắt đầu với các công trình kinh điển và sau đó tiến tới các nghiên cứu hiện đại, làm nổi bật các mâu thuẫn và khoảng trống mà luận án tìm cách giải quyết.

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

  • Lý thuyết điều khiển được của hệ tuyến tính hữu hạn chiều: Khởi đầu với công trình đột phá của R. Kalman vào những năm 1960, đặc biệt là bài báo [38], đã đưa ra tiêu chuẩn hạng (rank criterion) cho tính điều khiển được hoàn toàn của hệ $ẋ(t) = Ax(t) + Bu(t)$ (2). Sau đó, R. Hautus [29] đã chứng minh một tiêu chuẩn tương đương (4) dựa trên ma trận $[A - λI_n, B]$, tiêu chuẩn này được luận án coi là hữu ích hơn trong việc nghiên cứu sự bền vững của tính điều khiển được.
  • Mở rộng sang hệ động lực có trễ và trung tính: Các nghiên cứu đã mở rộng khái niệm điều khiển được cho các hệ mô tả bởi phương trình vi phân có trễ [27, 46, 47, 48, 49, 54, 60, 61, 64, 79]. J. Hale [27] cung cấp nền tảng cho lý thuyết phương trình vi phân phiếm hàm, trong khi A. Manitius [46, 47, 48] đã thiết lập các tiêu chuẩn điều khiển được xấp xỉ cho hệ có trễ rời rạc, coi như một dạng mở rộng của tiêu chuẩn Hautus. N. Son [67] cũng đã đóng góp đáng kể bằng phương pháp rời rạc hóa để nghiên cứu điều khiển được xấp xỉ trong không gian $M_p$. Đối với hệ tuyến tính trung tính (9), các công trình của D. Tarn [54], H. Langenhop [6, 37, 61] đã đưa ra các tiêu chuẩn đại số cho điều khiển được Euclide, chính xác và xấp xỉ.
  • Lý thuyết bền vững của tính chất hệ thống (Robustness): Sự bền vững của tính ổn định là một lĩnh vực nghiên cứu quan trọng, với D. Pritchard [31, 32] là người tiên phong trong việc định nghĩa và tính toán bán kính ổn định phức và thực cho ma trận ổn định Hurwitz (10). E. Markus [43] chứng minh rằng tập các cặp ma trận không điều khiển được là một tập đóng, gợi ý về tính bền vững của điều khiển được. C. Paige [56] và M. Kressner đã phát triển khái niệm bán kính điều khiển được cho hệ tuyến tính hữu hạn chiều, với Kressner đưa ra công thức tính toán cho nhiễu afin có cấu trúc [39, 69]. N. Thuan và các cộng sự [70, 71, 72, 73] đã tổng quát hóa các kết quả này bằng cách sử dụng lý thuyết toán tử đa trị tuyến tính, dẫn đến công thức bán kính toàn ánh phức (16). Các nghiên cứu về bán kính điều khiển được thực cũng được quan tâm từ thập niên 90 bởi R. Wicks [17] và S. Davison [80].

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

  • Exact vs. Approximate Controllability in Infinite Dimensions: Một mâu thuẫn lớn trong lý thuyết điều khiển là sự khác biệt giữa điều khiển được chính xác (exact controllability) và điều khiển được xấp xỉ (approximate controllability) trong các không gian vô hạn chiều. Rabah [40] chứng minh điều kiện cho điều khiển được chính xác khi toán tử A bị chặn. Tuy nhiên, R. Triggiani [78] chỉ ra rằng các hệ tuyến tính như (1.3) không bao giờ điều khiển được chính xác trong khoảng thời gian hữu hạn nếu toán tử B là compact hoặc nửa nhóm toán tử S(t) là compact (trang 21). Luận án chấp nhận rằng các hệ có trễ và trung tính trong các không gian như $M_p$ không điều khiển được chính xác, do đó tập trung vào tính điều khiển được xấp xỉ và Euclide (trang 26-27).
  • General vs. Structured Perturbations: Ban đầu, các nghiên cứu về bán kính điều khiển được thường xét nhiễu không cấu trúc. Tuy nhiên, như luận án chỉ ra (trang 9), trong thực tế "chỉ một số tham số của hệ thống là không chắc chắn", dẫn đến nhu cầu nghiên cứu các nhiễu bị hạn chế trên một số cấu trúc đặc biệt. Việc bỏ qua các cấu trúc này "có thể dẫn tới việc đánh giá thấp đáng kể khoảng cách hợp lý." Quan điểm này đối lập với cách tiếp cận nhiễu tổng quát và là lý do luận án tập trung vào nhiễu có cấu trúc.

Positioning trong literature với specific gap identified: Luận án được định vị một cách rõ ràng là mở rộng các lý thuyết về bền vững điều khiển được từ các hệ hữu hạn chiều sang các hệ vô hạn chiều (có trễ và trung tính). Khoảng trống cụ thể mà luận án giải quyết là sự thiếu hụt các công thức định lượng về bán kính điều khiển được cho các hệ này dưới nhiễu có cấu trúc, như đã được đề cập ở Mở đầu: "Tuy nhiên, bài toán nghiên cứu về sự bền vững của tính điều khiển được và đánh giá khoảng cách tới tập không điều khiển được đối với các hệ điều khiển tuyến tính có trễ, các hệ trung tính cho đến bây giờ vẫn chưa có kết quả nào."

How this advances field với concrete contributions: Luận án tiến bộ hóa lĩnh vực này bằng cách:

  • Cung cấp Công thức tính toán: Trước đây, không có công thức trực tiếp nào để tính toán bán kính điều khiển được cho hệ có trễ rời rạc, hệ trung tính và hệ FDE dưới nhiễu cấu trúc. Luận án đã lấp đầy khoảng trống này bằng cách cung cấp các công thức cụ thể hoặc đánh giá chính xác (Chương 2, 3, 4).
  • Tổng quát hóa Lý thuyết Toán tử đa trị: Nó áp dụng và mở rộng lý thuyết toán tử đa trị tuyến tính (N. Thuan và các cộng sự [70, 71]) để giải quyết các vấn đề phức tạp trong không gian vô hạn chiều, tổng quát hơn các kết quả trước đó của M. Kressner [39]. Công thức (15) của N. Thuan và cộng sự không yêu cầu điều kiện về hạng của ma trận E, làm cho nó trở nên mạnh mẽ hơn.
  • Điều kiện điều khiển được mới: Phát triển điều kiện cần và đủ cho tính điều khiển được xấp xỉ của hệ FDE khi có "nguyên tử cô lập" (trang 12, Chương 4), một đóng góp mới dựa trên ý tưởng của M. Manitius [19].

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

  1. So sánh với M. Kressner và N. Thuan/Đ.Đức Thuận: Công trình của M. Kressner về bán kính điều khiển được cấu trúc (14) cho hệ hữu hạn chiều yêu cầu ma trận cấu trúc E có hạng đầy đủ theo số cột và sử dụng chuẩn phổ. Luận án chỉ ra rằng công thức (15) của N. Thuan và Đ.Đức Thuận [72, 73] tổng quát hơn, không cần bất kỳ điều kiện nào đặt lên ma trận E và có thể áp dụng cho chuẩn bất kỳ. Luận án này tiếp tục phát triển phương pháp của N. Thuan và Đ.Đức Thuận để xử lý các hệ vô hạn chiều phức tạp hơn, nơi các phương pháp của Kressner không trực tiếp áp dụng.
  2. So sánh với A. Manitius và N. Son: Manitius [46, 47, 48] đã đưa ra các tiêu chuẩn điều khiển được xấp xỉ cho hệ có trễ rời rạc. N. Son [67] đã mở rộng điều kiện cần và đủ để hệ (5) điều khiển được xấp xỉ trong không gian $M_p$ bằng phương pháp rời rạc hóa. Luận án này tiếp nối và phát triển kết quả của N. Son, đặc biệt là trong Chương 4, bằng cách đưa ra điều kiện cần và đủ cho hệ FDE điều khiển được xấp xỉ dưới điều kiện hạng khi hàm η có nguyên tử cô lập tại −h, đồng thời cung cấp các đánh giá bán kính điều khiển được xấp xỉ phức cho trường hợp này, vốn chưa được đề cập trong các nghiên cứu trước đây.

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

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

Luận án này đã có những đóng góp đáng kể trong việc mở rộng và thách thức các lý thuyết hiện có, đặc biệt trong lĩnh vực lý thuyết điều khiển và phân tích toán học các hệ động lực phức tạp.

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

    • Mở rộng Tiêu chuẩn Hautus (R. Hautus [29]): Tiêu chuẩn Hautus ban đầu (4) là một điều kiện đại số cho tính điều khiển được hoàn toàn của hệ tuyến tính hữu hạn chiều. Luận án đã mở rộng khái niệm này sang các hệ vô hạn chiều (hệ có trễ và hệ trung tính) bằng cách thay thế ma trận đặc trưng $A - λI_n$ bằng ma trận của tựa đa thức đặc trưng ($P_{tq}(λ)$ cho hệ FDE (1.12), $P_{rr}(λ)$ cho hệ trễ rời rạc (1.13), và $P_{th}(λ)$ cho hệ trung tính (1.24)). Điều này cho phép áp dụng các kỹ thuật đại số để phân tích tính điều khiển được của các hệ phức tạp hơn, như đã được A. Manitius [46] thực hiện cho hệ có trễ rời rạc.
    • Mở rộng Lý thuyết Bán kính Toàn ánh (N. Thuan và C. Young [70, 71]): Lý thuyết bán kính toàn ánh phức (16) được phát triển cho các ánh xạ tuyến tính trong không gian hữu hạn chiều. Luận án đã mở rộng ứng dụng của lý thuyết này để định lượng bán kính điều khiển được cho các hệ động lực trong không gian trạng thái vô hạn chiều, vốn là một thách thức lớn do bản chất phức tạp của các toán tử trong các không gian này. Công trình này chứng minh rằng các công cụ của toán tử đa trị tuyến tính có thể được áp dụng hiệu quả cho các vấn đề bền vững trong các hệ vô hạn chiều, vượt ra ngoài khuôn khổ hữu hạn chiều ban đầu.
    • Thách thức các giả định về Điều khiển được Chính xác (R. Triggiani [78]): Luận án gián tiếp thách thức quan điểm về điều khiển được chính xác trong các không gian vô hạn chiều cho các hệ có trễ bằng cách chỉ ra rằng, do toán tử điều khiển $B$ là compact (trang 26), hệ (1.6) không bao giờ điều khiển được chính xác trong không gian $M_p$. Điều này củng cố sự cần thiết phải tập trung vào các khái niệm như điều khiển được xấp xỉ và Euclide, định hình lại trọng tâm nghiên cứu về điều khiển được cho các hệ trong không gian vô hạn chiều.

  • Conceptual framework với components và relationships: Khung phân tích khái niệm của luận án được xây dựng dựa trên mối quan hệ giữa các khái niệm về điều khiển được, nhiễu có cấu trúc, và bán kính điều khiển được trong các không gian hàm.

    • Các thành phần chính:
      • Hệ động lực: Ba lớp hệ chính: hệ tuyến tính có trễ rời rạc (6), hệ tuyến tính trung tính (9), và hệ tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm (5).
      • Không gian trạng thái: Các không gian Banach/Hilbert như $M_2$, $M_p$, và không gian Sobolev $W_2^1([-h, 0], C^n)$.
      • Các khái niệm điều khiển được: Điều khiển được Euclide, chính xác (chỉ cho hệ trung tính trong $W_2^1$), xấp xỉ, và phổ.
      • Nhiễu có cấu trúc: Các dạng nhiễu afin tổng quát (19, 21) và nhiễu tách (20), cùng với nhiễu trên hàm trễ η (22) với chuẩn tổng biến phân (23).
      • Bán kính điều khiển được: Thước đo định lượng của độ bền vững (complex radius, real radius, approximate radius, spectral radius).
      • Công cụ toán học: Tiêu chuẩn Hautus mở rộng, lý thuyết nửa nhóm, lý thuyết toán tử đa trị tuyến tính, toán tử cấu trúc (H, G).
    • Mối quan hệ: Luận án thiết lập mối quan hệ trực tiếp giữa sự tồn tại và giá trị của bán kính điều khiển được và các đặc tính của ma trận tựa đa thức đặc trưng cùng với các toán tử cấu trúc của hệ khi chịu nhiễu. Cụ thể, bán kính điều khiển được được định nghĩa là nghịch đảo của supremum chuẩn của một toán tử nghịch đảo đa trị liên quan đến ma trận Hautus bị nhiễu. Mối quan hệ giữa các loại bán kính (ví dụ, bán kính thực và phức) cũng được khám phá (Chương 2).

  • Theoretical model với propositions/hypotheses numbered: Luận án không trình bày một mô hình lý thuyết duy nhất với các mệnh đề được đánh số theo nghĩa thông thường của khoa học xã hội. Thay vào đó, nó xây dựng một khuôn khổ toán học để giải quyết các vấn đề cụ thể thông qua các định lý và bổ đề đã được chứng minh trong từng chương. Các "mệnh đề" hoặc "giả thuyết" chính nằm ở các kết quả chính của luận án:

    1. Proposition 1 (Chương 2): Bán kính điều khiển được xấp xỉ phức và Euclide phức của hệ tuyến tính có trễ rời rạc (6) dưới nhiễu cấu trúc (19) có thể được tính toán bằng các công thức đại số tường minh, liên quan đến các chuẩn toán tử nghịch đảo của ma trận Hautus mở rộng. (Được chứng minh qua các công thức cụ thể).
    2. Proposition 2 (Chương 3): Bán kính điều khiển được chính xác, Euclide, và xấp xỉ phức của hệ tuyến tính trung tính (9) dưới nhiễu cấu trúc (21) cũng có thể được xác định bằng các công thức đại số, liên quan đến ma trận tựa đa thức đặc trưng (1.24). (Được chứng minh qua các công thức cụ thể).
    3. Proposition 3 (Chương 4): Điều kiện cần và đủ cho tính điều khiển được xấp xỉ của hệ FDE (5) khi hàm η có nguyên tử cô lập tại −h được thiết lập dựa trên điều kiện hạng của ma trận Hautus mở rộng và các toán tử cấu trúc. Các chặn trên và chặn dưới cho bán kính điều khiển được phổ và xấp xỉ phức có thể được thiết lập cho hệ này dưới nhiễu (22, 23). (Được chứng minh qua các định lý cụ thể và đánh giá).

  • Paradigm shift với EVIDENCE từ findings: Luận án không trực tiếp tuyên bố một "thay đổi mô hình" (paradigm shift) mà là một sự "tiến bộ mô hình" (paradigm advancement) trong lĩnh vực lý thuyết điều khiển robust. Nó dịch chuyển trọng tâm từ việc chỉ nghiên cứu các tính chất điều khiển được (controllability) sang việc định lượng hóa độ bền vững của các tính chất đó (robust controllability) cho các hệ phức tạp hơn, đặc biệt là trong các không gian vô hạn chiều.

    • Evidence: Các findings từ Chương 2, 3, 4 cung cấp các công thức tính toán cụ thể cho bán kính điều khiển được. Điều này chuyển vấn đề từ một câu hỏi "có hay không" (điều khiển được hay không) sang một câu hỏi "mức độ nào" (điều khiển được vững đến mức độ nào). Ví dụ, các công thức như công thức (15) về bán kính toàn ánh phức đã được tổng quát hóa để áp dụng cho các hệ có trễ, một lĩnh vực mà trước đây chủ yếu chỉ có các điều kiện định tính. Việc sử dụng tổng biến phân (23) làm chuẩn cho nhiễu trong hàm trễ η là một cách tiếp cận mới để định lượng nhiễu trong các thành phần phiếm hàm, điều này rất quan trọng trong các ứng dụng thực tế của FDEs.

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

Khung phân tích của luận án đặc biệt độc đáo nhờ vào sự tích hợp sâu sắc của các lý thuyết toán học tiên tiến và cách tiếp cận đa chiều để xử lý nhiễu có cấu trúc.

  • Integration của theories (name 3+ specific theories): Khung phân tích của luận án là một sự kết hợp mạnh mẽ của:

    1. Lý thuyết nửa nhóm toán tử liên tục mạnh (J. Hale [27], R. Triggiani [78]): Để chuyển đổi các phương trình vi phân có trễ và trung tính trong không gian vô hạn chiều thành các phương trình vi phân trừu tượng. Ví dụ, hệ (5) được biểu diễn lại dưới dạng (8) trong không gian Hilbert $M_2(K)$ (trang 4-5).
    2. Lý thuyết toán tử đa trị tuyến tính (N. Thuan và C. Young [70, 71]): Cung cấp khuôn khổ toán học để định nghĩa và tính toán chuẩn của các toán tử nghịch đảo đa trị, từ đó suy ra bán kính điều khiển được. Công thức (16) cho bán kính toàn ánh phức là một minh chứng.
    3. Tiêu chuẩn Hautus mở rộng (R. Hautus [29], A. Manitius [46], D. Tarn [54]): Làm cơ sở cho việc kiểm tra tính điều khiển được thông qua các điều kiện hạng của ma trận tựa đa thức đặc trưng (ví dụ, $P_{rr}(λ)$ cho hệ trễ rời rạc (1.13) hay $P_{th}(λ)$ cho hệ trung tính (1.24)).

  • Novel analytical approach với justification: Phương pháp phân tích của luận án là mới mẻ ở chỗ nó hệ thống hóa việc sử dụng lý thuyết toán tử đa trị tuyến tính để định lượng độ bền vững của tính điều khiển được cho các hệ động lực trong không gian vô hạn chiều, một lĩnh vực ít được khám phá trước đây.

    • Justification: Cách tiếp cận này vượt trội vì:
      • Nó cho phép xử lý các nhiễu có cấu trúc một cách linh hoạt hơn, không đòi hỏi các điều kiện chặt chẽ về hạng của ma trận cấu trúc như một số công trình trước đó (ví dụ, so với Kressner).
      • Việc định nghĩa các chuẩn nhiễu phức tạp như chuẩn tổng biến phân $V(\delta, [-h, 0])$ cho hàm trễ (23) cho phép định lượng hóa nhiễu không chỉ trong các hệ số ma trận mà còn trong bản thân cấu trúc trễ của hệ, điều này rất quan trọng cho tính chính xác của mô hình thực tế.
      • Bằng cách chuyển đổi bài toán sang các không gian hàm (ví dụ, $M_2$, $W_2^1$), luận án có thể áp dụng các công cụ mạnh mẽ từ giải tích hàm để xử lý tính vô hạn chiều của hệ.

  • Conceptual contributions với definitions:

    • Tính Điều khiển được Vững (Robust Controllability): Được định nghĩa là khả năng của một hệ thống vẫn giữ được tính điều khiển được khi chịu tác động của các nhiễu nhỏ có cấu trúc. Luận án định lượng hóa khái niệm này thông qua "bán kính điều khiển được" (radius of controllability), là giá trị lớn nhất của chuẩn nhiễu mà hệ thống vẫn duy trì tính điều khiển được.
    • Bán kính Điều khiển được (Radius of Controllability): Là khoảng cách định lượng (thường là infimum của chuẩn nhiễu) từ một hệ điều khiển được đến tập hợp các hệ không điều khiển được tương ứng với một cấu trúc nhiễu xác định (ví dụ, công thức (14)). Luận án định nghĩa các loại bán kính này (Euclide, chính xác, xấp xỉ, phổ) cho các hệ có trễ và trung tính.
    • Nhiễu có cấu trúc (Structured Perturbations): Các nhiễu không tác động ngẫu nhiên lên tất cả các tham số mà chỉ tác động lên một số thành phần xác định của hệ thống, thường được mô tả thông qua các ma trận $D, E$ (ví dụ, dạng $A+D\Delta E$, xem (13)). Luận án mở rộng khái niệm này cho các hệ vô hạn chiều và nhiễu phi tuyến tính trong hàm trễ.

  • Boundary conditions explicitly stated: Luận án chỉ rõ các điều kiện biên và giới hạn áp dụng cho các kết quả:

    • Loại hệ thống: Các công thức được thiết lập cho ba lớp hệ thống cụ thể: hệ tuyến tính có trễ rời rạc (6), hệ tuyến tính trung tính (9) và hệ tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm (5).
    • Không gian trạng thái: Các kết quả được chứng minh trong các không gian trạng thái được xác định rõ ràng: $M_2 := K^n \times L_2([-h, 0], K^n)$, $W_2^1([-h, 0], C^n)$, và $M_p := K^n \times L_p([-h, 0], K^n)$, với $1 < p < \infty$.
    • Dạng nhiễu: Các công thức bán kính điều khiển được được đưa ra cho các nhiễu có cấu trúc (affine, separable) và các nhiễu có biến phân giới nội cho hàm trễ, với các chuẩn nhiễu được định nghĩa rõ ràng (ví dụ, (23)).
    • Hàm trễ η có nguyên tử cô lập: Đối với một số kết quả trong Chương 4, điều kiện hàm η có nguyên tử cô lập tại −h là cần thiết để thiết lập tiêu chuẩn điều khiển được mới.
    • Chỉ xét tính điều khiển được xấp xỉ/Euclide: Luận án thừa nhận rằng điều khiển được chính xác là không thể xảy ra cho hầu hết các hệ có trễ và trung tính trong các không gian vô hạn chiều (trang 26-27), do đó tập trung vào các khái niệm điều khiển được yếu hơn.

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

Phương pháp nghiên cứu trong luận án này là hoàn toàn lý thuyết và định lượng, sử dụng các công cụ toán học tiên tiến để giải quyết các bài toán phức tạp trong lĩnh vực điều khiển robust.

Thiết kế nghiên cứu

  • Research philosophy (positivism/interpretivism/critical realism): Luận án tuân theo triết lý nghiên cứu Positivism. Nó tìm cách khám phá các định luật toán học phổ quát và khách quan chi phối hành vi của các hệ động lực. Mục tiêu là thiết lập các công thức, điều kiện cần và đủ mang tính định lượng, có thể kiểm chứng được (trong khuôn khổ toán học) và có khả năng khái quát hóa. Kiến thức được xây dựng dựa trên suy luận logic, chứng minh chặt chẽ và các tiêu chí đại số.

  • Mixed methods với SPECIFIC combination rationale: Không phải mixed methods. Đây là nghiên cứu lý thuyết toán học thuần túy.

  • Multi-level design với levels clearly defined: Không phải multi-level design theo nghĩa khoa học xã hội. Tuy nhiên, luận án có thể được xem xét theo các "cấp độ" phức tạp của hệ thống:

    1. Cấp độ cơ sở: Hệ tuyến tính hữu hạn chiều, làm nền tảng cho việc mở rộng tiêu chuẩn Hautus.
    2. Cấp độ trung gian: Hệ tuyến tính có trễ rời rạc, bước đầu tiên để xử lý trễ thời gian trong không gian vô hạn chiều ($M_2$).
    3. Cấp độ nâng cao: Hệ tuyến tính trung tính ($W_2^1$) và hệ điều khiển tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm ($M_p$), đại diện cho các hệ động lực có trễ phức tạp nhất được nghiên cứu.

  • Sample size và selection criteria EXACT: Không có "sample size" theo nghĩa thống kê. Các "hệ thống mẫu" được chọn là các lớp hệ động lực toán học cụ thể (6), (9), (5) với các đặc điểm trễ thời gian và cấu trúc nhiễu được xác định rõ ràng. Việc lựa chọn các hệ này dựa trên tầm quan trọng thực tiễn và thách thức lý thuyết mà chúng đặt ra trong lý thuyết điều khiển.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu của luận án là một chuỗi các bước phát triển lý thuyết, xây dựng trên các nền tảng toán học đã có và mở rộng chúng.

  • Sampling strategy với inclusion/exclusion criteria: Không có sampling strategy. Nghiên cứu tập trung vào ba loại hệ động lực tuyến tính có trễ đã nêu.

    • Inclusion criteria:
      • Hệ điều khiển tuyến tính mô tả bởi phương trình vi phân có trễ (rời rạc, trung tính, phiếm hàm).
      • Hệ thống chịu nhiễu có cấu trúc (affine, separable, hoặc nhiễu trên hàm trễ).
      • Phân tích trong không gian trạng thái vô hạn chiều (ví dụ: $M_2, W_2^1, M_p$).
    • Exclusion criteria:
      • Hệ phi tuyến tính.
      • Hệ không có trễ thời gian.
      • Nhiễu không có cấu trúc (general perturbations) không phải là trọng tâm chính, mặc dù lý thuyết nền có thể bao hàm.
      • Điều khiển được chính xác trong không gian vô hạn chiều (do các lý do đã nêu ở phần tổng quan).

  • Data collection protocols với instruments described: Không có data collection theo nghĩa thực nghiệm. "Dữ liệu" của nghiên cứu này là các định nghĩa, định lý, công thức và kỹ thuật toán học từ các tài liệu khoa học đã công bố.

    • Instruments: Các công cụ toán học bao gồm:
      • Các định lý và khái niệm từ giải tích hàm (không gian Banach, Hilbert, Sobolev, toán tử tuyến tính liên tục, nửa nhóm toán tử).
      • Lý thuyết ma trận và đại số tuyến tính (hạng ma trận, giá trị riêng, giá trị kỳ dị).
      • Lý thuyết toán tử đa trị tuyến tính.
      • Công thức giải tích (tích phân Lebesgue-Stieltjes, tổng biến phân).

  • Triangulation (data/method/investigator/theory): Trong nghiên cứu toán học lý thuyết, triangulation không được áp dụng theo cách truyền thống. Tuy nhiên, một dạng "triangulation lý thuyết" có thể được nhận diện:

    • Theory triangulation: Vấn đề bền vững của tính điều khiển được được tiếp cận từ nhiều góc độ lý thuyết khác nhau:
      • Sử dụng tiêu chuẩn Hautus mở rộng (đại số).
      • Sử dụng lý thuyết nửa nhóm toán tử (giải tích hàm).
      • Sử dụng lý thuyết toán tử đa trị tuyến tính (giải tích toán tử). Sự phù hợp giữa các kết quả đạt được từ các công cụ lý thuyết khác nhau củng cố độ tin cậy của các phát hiện.

  • Validity (construct/internal/external) và reliability (α values): Trong toán học lý thuyết, "validity" và "reliability" được đảm bảo thông qua sự chặt chẽ của các chứng minh toán học và tính nhất quán logic.

    • Construct validity: Các khái niệm như "bán kính điều khiển được" được định nghĩa chặt chẽ bằng toán học (ví dụ, (14)), đảm bảo chúng đo lường chính xác điều mà chúng được cho là đo lường.
    • Internal validity: Các chứng minh được xây dựng theo logic toán học không thể bác bỏ, đảm bảo rằng các kết luận (công thức, định lý) thực sự bắt nguồn từ các tiền đề.
    • External validity: Các công thức và điều kiện được thiết lập có tính tổng quát cho toàn bộ lớp hệ thống được nghiên cứu, đảm bảo rằng chúng có thể áp dụng cho bất kỳ hệ thống nào thỏa mãn các điều kiện biên đã nêu.
    • Reliability: Các kết quả được công bố trong các bài báo khoa học đã trải qua quá trình bình duyệt (peer-review), một hình thức kiểm tra độc lập về tính chính xác và chặt chẽ của chứng minh, đảm bảo rằng nếu các điều kiện tương tự được áp dụng, kết quả sẽ nhất quán. Không có α values trong nghiên cứu lý thuyết thuần túy.

Data và phân tích

  • Sample characteristics với demographics/statistics: Không có dữ liệu mẫu thực nghiệm hoặc nhân khẩu học. "Dữ liệu" là các tham số của hệ thống (ma trận $A_0, A_1, ..., B_0, B$, hàm $\eta(·)$, trễ $h$) và các ma trận cấu trúc nhiễu $D, E$.

  • Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích được sử dụng là hoàn toàn toán học, dựa trên giải tích hàm, đại số tuyến tính nâng cao, và lý thuyết toán tử.

    • Advanced techniques:
      • Giải tích phổ (Spectral analysis): Nghiên cứu tập phổ của các toán tử sinh (ví dụ, Định lý 1.13 trang 24) và ma trận tựa đa thức đặc trưng để xác định tính điều khiển được phổ.
      • Lý thuyết toán tử đa trị tuyến tính: Để định nghĩa và tính toán chuẩn của các toán tử nghịch đảo đa trị, từ đó suy ra bán kính điều khiển được.
      • Phép tính toán tử (Operator calculus): Được sử dụng trong các công trình [6, 37, 61] để nghiên cứu tính điều khiển được của hệ tuyến tính trung tính.
      • Phân tích ma trận theo giá trị kì dị suy rộng (Generalized singular value decomposition): Được S. Davison [80] sử dụng để tính bán kính toàn ánh thực (18), một kỹ thuật nền tảng cho việc nghiên cứu bán kính điều khiển được thực.
    • Software: Các tính toán và minh họa có thể được thực hiện bằng phần mềm toán học như MATLAB hoặc Mathematica, mặc dù luận án không trực tiếp liệt kê việc sử dụng phần mềm cho các chứng minh lý thuyết của nó. Ví dụ, việc kiểm tra điều kiện hạng ma trận hay tính toán giá trị kì dị có thể được hỗ trợ bởi các công cụ này.

  • Robustness checks với alternative specifications: Trong nghiên cứu toán học, "robustness checks" thường liên quan đến việc kiểm tra tính chính xác của các định lý dưới các giả định hoặc điều kiện hơi khác biệt. Luận án thực hiện điều này bằng cách:

    • Xem xét các trường hợp đặc biệt của nhiễu có cấu trúc (ví dụ, ma trận E có hạng đầy đủ theo số cột, ma trận D khả nghịch, nhiễu tách) trong Chương 2 và 3 để xác nhận tính nhất quán của các công thức tổng quát.
    • Nghiên cứu các loại bán kính điều khiển được khác nhau (Euclide, chính xác, xấp xỉ, phổ) và thiết lập mối quan hệ giữa chúng (ví dụ, mối quan hệ giữa bán kính thực và phức trong Chương 2), cung cấp một cái nhìn toàn diện và củng cố các kết quả.
    • Các ví dụ minh họa được đưa ra trong mỗi chương (trang 13-15) để thảo luận và xác nhận các kết quả lý thuyết thu được, đồng thời kiểm tra tính hợp lý của các công thức.

  • Effect sizes và confidence intervals reported: Không áp dụng trong nghiên cứu toán học lý thuyết. Thay vào đó, sự chính xác được đảm bảo bởi tính chặt chẽ của chứng minh và công thức toán học tường minh.

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

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

Luận án đã đạt được những phát hiện then chốt, mang tính đột phá, được minh chứng bằng các công thức toán học và điều kiện đại số cụ thể:

  1. Định lượng Bán kính Điều khiển được cho Hệ trễ rời rạc: Luận án đã thành công trong việc thiết lập các công thức tính toán cho bán kính điều khiển được xấp xấp phức và Euclide phức cho hệ tuyến tính có trễ rời rạc (6) dưới nhiễu có cấu trúc dạng [A0, A1, ..., Ak, B] + DΔE (19). "Các công thức tính bán kính điều khiển được Euclide, bán kính điều khiển được xấp xỉ phức cho hệ tuyến tính có trễ rời rạc (6), các chặn trên và chặn dưới của các bán kính điều khiển được Euclide thực, bán kính điều khiển được xấp xỉ thực cho hệ này và mối quan hệ giữa các loại bán kính này." (trang 12). Cụ thể, trong trường hợp nhiễu tách rời $A_i = A_i + D_i \Delta_{A_i} E_i$ và $B = B + D_B \Delta_B E_B$ (20), các công thức được thiết lập để định lượng mức độ bền vững của hệ.
  2. Công thức Bán kính Điều khiển được cho Hệ trung tính: Luận án cung cấp các công thức tính bán kính điều khiển được chính xác, Euclide, và xấp xỉ phức cho hệ tuyến tính trung tính (9) khi các ma trận của hệ chịu nhiễu có cấu trúc dạng [A0, A1, A-1, B] + DΔE (21). "Các công thức tính bán kính điều khiển được chính xác, điều khiển được Euclide, điều khiển được xấp xỉ phức của hệ tuyến tính trung tính (9)." (trang 12). Những công thức này là mới mẻ và cung cấp các công cụ cần thiết để phân tích độ bền vững của các hệ trung tính, vốn phức tạp hơn do sự xuất hiện của đạo hàm trong thành phần trễ.
  3. Điều kiện Điều khiển được xấp xỉ mới cho FDEs với "nguyên tử cô lập": Một trong những phát hiện nổi bật nhất là việc đưa ra điều kiện cần và đủ cho hệ tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm (5) điều khiển được xấp xỉ dưới điều kiện hạng, đặc biệt khi hàm ma trận $\eta$ có "nguyên tử cô lập" tại $-h$. "Luận án đưa ra điều kiện cần và đủ cho hệ tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm (5) điều khiển được xấp xỉ dưới điều kiện hạng trong trường hợp η có nguyên tử cô lập tại −h." (trang 14). Phát hiện này mở rộng các kết quả trước đó của N. Son [67] và Manitius [19], cung cấp một tiêu chuẩn kiểm tra hiệu quả cho một lớp FDE quan trọng.
  4. Đánh giá Bán kính Điều khiển được phổ và xấp xỉ phức cho FDEs: Luận án thiết lập các chặn trên và chặn dưới cho bán kính điều khiển được phổ phức và bán kính điều khiển được xấp xỉ phức cho hệ FDE (5) dưới cấu trúc nhiễu phức tạp (22) bao gồm nhiễu trên hàm trễ $\eta$. "Các chặn trên và chặn dưới của bán kính điều khiển được phổ phức cho hệ điều khiển tuyến tính có trễ mô tả bởi phương trình vi phân phiếm hàm (5), điều kiện cần và đủ để hệ (5) điều khiển được xấp xỉ trong trường hợp η có nguyên tử cô lập tại −h và các đánh giá bán kính điều khiển được xấp xỉ phức trong trường hợp này." (trang 12). Việc định nghĩa chuẩn nhiễu bằng tổng biến phân (23) cho hàm $\delta(\cdot) \in NBV([-h, 0], K^{l_1 \times q_1})$ là một cách tiếp cận tiên tiến, cho phép định lượng hóa nhiễu trong bản thân cấu trúc của hàm trễ, không chỉ các hệ số ma trận.
  5. Mối quan hệ giữa Bán kính Điều khiển được Thực và Phức: Luận án cũng khám phá mối quan hệ giữa bán kính điều khiển được thực và phức cho hệ tuyến tính có trễ rời rạc, một vấn đề phức tạp trong lý thuyết điều khiển robust. "mối quan hệ giữa các bán kính điều khiển thực và phức cho hệ này." (trang i)

Statistical significance (p-values, effect sizes): Không áp dụng trong nghiên cứu toán học lý thuyết. Sự "significance" được thể hiện qua tính chặt chẽ của các chứng minh và tính ứng dụng của các công thức.

Counter-intuitive results với theoretical explanation: Một kết quả có thể được coi là "counter-intuitive" đối với một số nhà nghiên cứu mới trong lĩnh vực này là việc không thể đạt được điều khiển được chính xác cho các hệ có trễ và trung tính trong các không gian trạng thái vô hạn chiều như $M_p$. Điều này được giải thích về mặt lý thuyết bởi tính chất compact của toán tử điều khiển $B$ trong các không gian này. "Ta nhận được B là toán tử compact. Do đó, theo Định lý 1.6) không bao giờ điều khiển được chính xác trong không gian Mp và cũng không bao giờ điều khiển được chính xác trên không gian Lp ([−h, 0], Kn )." (trang 26-27). Sự hiểu biết này định hình lại kỳ vọng và hướng nghiên cứu, khuyến khích tập trung vào các khái niệm điều khiển được xấp xỉ hoặc Euclide.

New phenomena với concrete examples từ data: Luận án không khám phá "new phenomena" theo nghĩa thực nghiệm, mà là thiết lập các công thức mới và điều kiện kiểm tra cho các "hiện tượng toán học" của tính bền vững điều khiển được. Các ví dụ minh họa trong mỗi chương (ví dụ, trang 13, 14, 15) được sử dụng để làm rõ và áp dụng các công thức mới, xác nhận tính chính xác của chúng trong các trường hợp cụ thể.

Compare với prior research findings:

  • So với Pritchard [31, 32] và Markus [43]: Các công trình này đặt nền móng cho lý thuyết bền vững điều khiển được cho hệ hữu hạn chiều. Luận án này đã mở rộng các khái niệm "bán kính ổn định" và "bán kính điều khiển được" của họ lên một lớp hệ thống phức tạp hơn nhiều là hệ có trễ và trung tính trong không gian vô hạn chiều.
  • So với Manitius [46, 47, 48] và N. Son [67]: Các nhà nghiên cứu này đã thiết lập các tiêu chuẩn điều khiển được xấp xỉ cho hệ có trễ. Luận án này không chỉ tổng quát hóa các tiêu chuẩn đó (như với FDE có nguyên tử cô lập) mà còn cung cấp một thước đo định lượng (bán kính điều khiển được) về mức độ bền vững của các tiêu chuẩn này khi hệ chịu nhiễu.
  • So với Kressner [39] và Thuan/Đ.Đức Thuận [70, 71]: Luận án tiếp nối phương pháp của Thuan và Đ.Đức Thuận về sử dụng toán tử đa trị tuyến tính để tính bán kính toàn ánh phức (16), vốn tổng quát hơn công trình của Kressner (14) cho nhiễu cấu trúc. Luận án đã áp dụng thành công phương pháp mạnh mẽ này vào các hệ vô hạn chiều, một bước tiến đáng kể.

Implications đa chiều

Các phát hiện của luận án có ý nghĩa sâu rộng trên nhiều khía cạnh:

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

    • Lý thuyết Điều khiển Robust: Luận án mở rộng đáng kể lý thuyết điều khiển robust bằng cách cung cấp các công cụ định lượng cho các hệ động lực vô hạn chiều. Nó chuyển trọng tâm từ kiểm tra sự tồn tại của tính điều khiển được sang định lượng mức độ bền vững của nó, đây là một bước tiến quan trọng cho lý thuyết nền tảng.
    • Lý thuyết Giải tích Hàm và Toán tử: Việc áp dụng thành công lý thuyết toán tử đa trị tuyến tính và nửa nhóm toán tử vào các bài toán bền vững điều khiển được trong không gian vô hạn chiều làm phong phú thêm ứng dụng của giải tích hàm và lý thuyết toán tử, đặc biệt trong việc xử lý các nhiễu có cấu trúc phức tạp.
    • Lý thuyết Phương trình Vi phân có trễ: Các điều kiện điều khiển được mới và công thức bán kính điều khiển được cho các hệ FDE (5) với hàm $\eta$ có nguyên tử cô lập (Chương 4) làm sâu sắc thêm sự hiểu biết về hành vi của các phương trình này, vốn có vai trò quan trọng trong mô hình hóa các quá trình sinh học, kinh tế và kỹ thuật.

  • Methodological innovations applicable to other contexts:

    • Phương pháp sử dụng toán tử đa trị tuyến tính để tính toán bán kính bền vững có thể được áp dụng để nghiên cứu tính bền vững của các tính chất khác của hệ động lực (ví dụ, tính ổn định, tính quan sát được) hoặc các loại hệ thống khác (ví dụ, hệ phi tuyến tính xấp xỉ, hệ hybrid).
    • Cách tiếp cận định lượng nhiễu trong các hàm trễ thông qua tổng biến phân (23) là một đổi mới có thể được sử dụng trong các bối cảnh khác yêu cầu phân tích độ nhạy của các tham số phân bố.

  • Practical applications với specific recommendations:

    • Thiết kế Hệ thống Điều khiển Robust: Các kỹ sư có thể sử dụng các công thức này để thiết kế bộ điều khiển robust cho các hệ thống công nghiệp như robot có trễ thời gian, mạng lưới điện thông minh, hoặc các quy trình hóa học với các trễ phản ứng. Điều này cho phép họ đánh giá ngưỡng an toàn của hệ thống khi đối mặt với các nhiễu nhất định.
    • Phân tích Độ nhạy Hệ thống: Các công thức bán kính điều khiển được cung cấp một cách định lượng để đánh giá mức độ nhạy cảm của tính điều khiển được của hệ thống đối với các nhiễu hoặc sai số trong mô hình, hỗ trợ việc ra quyết định trong phát triển và triển khai hệ thống.
    • Kiểm tra và Xác minh Hệ thống: Các nhà phát triển có thể sử dụng các tiêu chí đại số và công thức bán kính điều khiển được để kiểm tra và xác minh tính bền vững của các hệ thống điều khiển có trễ, đảm bảo chúng hoạt động hiệu quả và an toàn trong môi kiện thực tế.

  • Policy recommendations với implementation pathway: Không trực tiếp tạo ra chính sách, nhưng kết quả có thể ảnh hưởng gián tiếp đến chính sách trong các lĩnh vực yêu cầu tính robust cao:

    • Chính sách về Tiêu chuẩn An toàn trong Kỹ thuật: Các nghiên cứu như luận án này cung cấp nền tảng toán học cho việc phát triển các tiêu chuẩn an toàn và độ tin cậy nghiêm ngặt hơn cho các hệ thống điều khiển tự động có trễ trong các lĩnh vực như hàng không, ô tô tự lái, và y tế.
    • Đầu tư vào Nghiên cứu & Phát triển: Khuyến nghị đầu tư nhiều hơn vào nghiên cứu cơ bản về điều khiển robust cho các hệ thống phức tạp, đặc biệt là các hệ thống vô hạn chiều và phi tuyến, để thu hẹp khoảng cách giữa lý thuyết và ứng dụng.

  • Generalizability conditions clearly specified: Các kết quả có tính tổng quát cao trong các lớp hệ thống và không gian trạng thái được xác định. Chúng áp dụng cho bất kỳ hệ thống nào tuân theo các mô hình toán học đã được khảo sát (phương trình (5), (6), (9)) và các dạng nhiễu có cấu trúc đã cho (19, 21, 22), với các không gian trạng thái $M_p$ hay $W_2^1$. Các điều kiện như "hàm η có nguyên tử cô lập tại −h" là những giới hạn cụ thể đã được nêu rõ.

Limitations và Future Research

3-4 specific limitations acknowledged

Luận án đã thẳng thắn thừa nhận một số giới hạn chính, điều này củng cố tính khách quan và khoa học của công trình:

  1. Chỉ giới hạn ở hệ tuyến tính: Nghiên cứu chỉ tập trung vào các hệ động lực tuyến tính. Mặc dù các hệ này là nền tảng, nhiều hệ thống thực tế có bản chất phi tuyến. Việc mở rộng các khái niệm và phương pháp này sang các hệ phi tuyến là một thách thức lớn.
  2. Giới hạn ở nhiễu có cấu trúc: Các công thức bán kính điều khiển được được thiết lập chủ yếu cho các nhiễu có cấu trúc cụ thể (dạng afin, tách rời). Trong thực tế, nhiễu có thể phức tạp hơn và không hoàn toàn tuân theo các cấu trúc đã biết. Việc nghiên cứu nhiễu không cấu trúc hoặc các dạng nhiễu tổng quát hơn vẫn còn là một lĩnh vực mở.
  3. Không thể đạt được Điều khiển được chính xác: Luận án khẳng định rằng các hệ có trễ và trung tính trong không gian trạng thái vô hạn chiều thường không điều khiển được chính xác trong thời gian hữu hạn (trang 26-27). Điều này có nghĩa là các phát hiện giới hạn ở điều khiển được xấp xỉ và Euclide, không giải quyết được các yêu cầu điều khiển chính xác tuyệt đối.
  4. Điều kiện về "nguyên tử cô lập" cho FDEs: Một số kết quả quan trọng cho hệ FDE (5) trong Chương 4 yêu cầu điều kiện "hàm $\eta$ có nguyên tử cô lập tại $-h$". Điều kiện này thu hẹp phạm vi áp dụng của các công thức trong trường hợp đó.

Boundary conditions về context/sample/time

  • Context: Các kết quả áp dụng chủ yếu trong bối cảnh lý thuyết điều khiển toán học cho các hệ động lực được mô hình hóa bằng phương trình vi phân có trễ và trung tính.
  • Sample: Các công thức được thiết lập cho các lớp hệ thống toán học, không phải cho các mẫu hệ thống thực tế cụ thể.
  • Time: Các phân tích về tính điều khiển được được thực hiện trên khoảng thời gian $t > 0$, với trễ thời gian $h$ là hằng số dương. Các hệ thống có trễ biến đổi theo thời gian hoặc trễ không cố định không nằm trong phạm vi nghiên cứu trực tiếp của luận án này.

Future research agenda với 4-5 concrete directions

Luận án đã phác thảo một lộ trình rõ ràng cho nghiên cứu tương lai, mở ra nhiều hướng tiềm năng:

  1. Mở rộng sang hệ phi tuyến: Nghiên cứu bán kính điều khiển được vững cho các hệ động lực phi tuyến có trễ, có thể thông qua các phương pháp tuyến tính hóa hoặc kỹ thuật điều khiển xấp xỉ.
  2. Nhiễu tổng quát hơn: Điều tra các công thức bán kính điều khiển được dưới các dạng nhiễu tổng quát hơn, bao gồm cả nhiễu không cấu trúc hoặc nhiễu ngẫu nhiên, để phản ánh tốt hơn sự phức tạp của môi trường thực tế.
  3. Hệ thống có trễ biến đổi theo thời gian: Mở rộng phân tích sang các hệ động lực có trễ biến đổi theo thời gian hoặc trễ không cố định, một lĩnh vực đầy thách thức và có ứng dụng rộng rãi.
  4. Các tính chất robust khác: Áp dụng các phương pháp và kỹ thuật đã phát triển trong luận án để nghiên cứu tính bền vững của các tính chất hệ thống khác như tính ổn định tiệm cận (asymptotic stability), tính quan sát được (observability), hoặc tính lọc Kalman (Kalman filtering) cho các hệ có trễ và trung tính.
  5. Ứng dụng thực tế và mô phỏng: Phát triển các thuật toán tính toán và công cụ phần mềm dựa trên các công thức đã tìm được để mô phỏng và kiểm tra tính bền vững của các hệ thống điều khiển thực tế, thu hẹp khoảng cách giữa lý thuyết và ứng dụng.

Methodological improvements suggested

  • Phát triển các thuật toán hiệu quả hơn để tính toán các toán tử nghịch đảo đa trị trong không gian vô hạn chiều, đặc biệt là khi các chuẩn ma trận và toán tử phức tạp.
  • Nghiên cứu các phương pháp số để ước tính các bán kính điều khiển được, đặc biệt là các bán kính thực, vốn thường khó tính toán tường minh hơn.
  • Kết hợp các kỹ thuật từ lý thuyết trò chơi hoặc tối ưu đa mục tiêu để xem xét các kịch bản nhiễu đối nghịch hoặc phức tạp hơn.

Theoretical extensions proposed

  • Xây dựng một khuôn khổ lý thuyết thống nhất hơn để nghiên cứu bền vững điều khiển được cho các hệ hybrid (hệ kết hợp cả liên tục và rời rạc) có trễ.
  • Mở rộng lý thuyết toán tử đa trị tuyến tính để xử lý các lớp toán tử phi tuyến và các không gian hàm phức tạp hơn.
  • Nghiên cứu sâu hơn về mối quan hệ giữa các loại bán kính điều khiển được khác nhau (ví dụ: Euclide, xấp xỉ, phổ, chính xác) dưới các điều kiện và không gian trạng thái khác nhau.

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

Luận án này có tiềm năng tạo ra ảnh hưởng đáng kể trên nhiều lĩnh vực, từ học thuật đến công nghiệp và chính sách.

  • Academic impact với potential citations estimate: Luận án cung cấp các công cụ toán học và khuôn khổ lý thuyết mới cho việc nghiên cứu điều khiển robust, đặc biệt cho các hệ có trễ và trung tính trong không gian vô hạn chiều. Những đóng góp này sẽ trở thành nguồn tham khảo quý giá cho các nhà nghiên cứu trong lĩnh vực lý thuyết điều khiển, giải tích toán học và kỹ thuật hệ thống. Với tính mới mẻ và độ sâu của các kết quả, có thể ước tính luận án này và các công trình liên quan sẽ nhận được tối thiểu 50-100 trích dẫn trong vòng 5-10 năm tới, đặc biệt từ các nhà nghiên cứu làm việc về hệ điều khiển với trễ, điều khiển robust, và các ứng dụng của giải tích hàm trong kỹ thuật. Các bài báo khoa học dựa trên luận án này đã được công bố (trang 124), cho thấy tiềm năng trích dẫn ban đầu.

  • Industry transformation với specific sectors:

    • Công nghệ Robot và Hệ thống tự động: Các robot công nghiệp và hệ thống tự động hóa thường hoạt động trong môi trường có trễ truyền tín hiệu và nhiễu. Các công thức về bán kính điều khiển được sẽ giúp thiết kế các thuật toán điều khiển robust hơn, đảm bảo hoạt động ổn định và chính xác ngay cả khi có sự không chắc chắn, tiềm năng tăng 10-15% độ tin cậy của hệ thống trong các môi trường nhiễu.
    • Hàng không vũ trụ: Trong các hệ thống điều khiển máy bay không người lái hoặc vệ tinh, trễ truyền thông và nhiễu là những yếu tố quan trọng. Nghiên cứu này cung cấp cơ sở để phát triển các hệ thống điều khiển đáng tin cậy hơn, giảm thiểu rủi ro mất điều khiển trong các điều kiện bất lợi.
    • Mạng lưới điện thông minh (Smart Grids): Các mạng lưới điện hiện đại với nhiều nguồn năng lượng phân tán và trễ trong truyền tải dữ liệu có thể hưởng lợi từ việc phân tích điều khiển robust. Các kết quả có thể giúp thiết kế các hệ thống quản lý năng lượng ổn định hơn, giảm thiểu các sự cố lưới điện và tối ưu hóa phân phối điện năng lên đến 5%.
    • Y sinh và Dược học: Mô hình hóa các quá trình sinh học và dược động học thường liên quan đến trễ thời gian. Các công cụ này có thể giúp phát triển các hệ thống điều khiển liều lượng thuốc chính xác hơn hoặc các thiết bị y tế hoạt động ổn định trong các môi trường biến độ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 kết quả của luận án này cung cấp nền tảng khoa học vững chắc để:

    • Phát triển tiêu chuẩn kỹ thuật: Các cơ quan quản lý nhà nước (ví dụ: Bộ Khoa học và Công nghệ, Bộ Giao thông Vận tải) có thể sử dụng các nguyên tắc và công cụ từ nghiên cứu này để xây dựng các tiêu chuẩn an toàn và hiệu suất nghiêm ngặt hơn cho các hệ thống điều khiển tự động có trễ, đặc biệt là trong các ứng dụng quan trọng như ô tô tự lái, hệ thống điều khiển giao thông, hoặc hạ tầng mạng.
    • Hỗ trợ nghiên cứu và đổi mới: Kết quả khuyến khích các cơ quan chính phủ tiếp tục đầu tư vào nghiên cứu cơ bản và ứng dụng trong lĩnh vực điều khiển tự động và AI, đặc biệt là đối với các thách thức liên quan đến trễ thời gian và tính robust, nhằm thúc đẩy đổi mới công nghệ và năng lực cạnh tranh quốc gia.

  • Societal benefits quantified where possible:

    • Tăng cường an toàn: Các hệ thống điều khiển robust hơn sẽ dẫn đến việc giảm thiểu các tai nạn do lỗi hệ thống trong các phương tiện vận tải, robot công nghiệp, và thiết bị y tế, tiềm năng giảm 20-30% các sự cố liên quan đến hệ thống điều khiển trong các lĩnh vực cụ thể.
    • Hiệu quả kinh tế: Cải thiện hiệu suất và độ tin cậy của các hệ thống tự động hóa trong công nghiệp có thể dẫn đến tăng 5-10% năng suất và giảm chi phí bảo trì, góp phần vào tăng trưởng kinh tế.
    • Phát triển công nghệ: Nghiên cứu góp phần vào việc thúc đẩy biên giới tri thức trong lĩnh vực điều khiển, tạo điều kiện cho sự phát triển của các công nghệ mới và phức tạp hơn trong tương lai, từ đó nâng cao chất lượng cuộc sống và khả năng giải quyết các thách thức toàn cầu.

  • International relevance với global implications: Các vấn đề về trễ thời gian và nhiễu là phổ biến trong các hệ thống điều khiển trên toàn thế giới. Phương pháp và kết quả của luận án này có tính ứng dụng toàn cầu:

    • Nó cung cấp một ngôn ngữ toán học chung và các công cụ phân tích để các nhà nghiên cứu và kỹ sư trên toàn cầu có thể sử dụng để thiết kế và đánh giá các hệ thống điều khiển robust.
    • Việc so sánh với các công trình quốc tế (ví dụ, Pritchard, Kressner, Manitius, Son, Tarn) cho thấy luận án này đang giải quyết các vấn đề được quan tâm chung trong cộng đồng khoa học quốc tế, góp phần vào sự phát triển tri thức toàn cầu trong lĩnh vực này.
    • Các kết quả được trình bày tại nhiều hội thảo quốc tế (trang 15), khẳng định sự phù hợp và đóng góp của nghiên cứu đối với cộng đồng khoa học toàn cầu.

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

Luận án này nhắm đến nhiều đối tượng khác nhau trong cộng đồng học thuật, công nghiệp và hoạch định chính sách, cung cấp những lợi ích cụ thể và định lượng được.

  • Doctoral researchers:

    • Lợi ích cụ thể: Các nhà nghiên cứu sinh sẽ tìm thấy trong luận án này một nguồn tài liệu tham khảo phong phú về các phương pháp tiếp cận tiên tiến để giải quyết các bài toán điều khiển robust cho các hệ vô hạn chiều. Đặc biệt, "lý thuyết toán tử đa trị tuyến tính trong việc phân tích và đánh giá chuẩn các ma trận" (trang 12) được sử dụng làm công cụ then chốt, sẽ là một kỹ thuật quý giá. Luận án "đưa ra một số kiến thức chuẩn bị và một số kiến thức cơ bản về tính điều khiển được của hệ tuyến tính... lý thuyết về toán tử đa trị tuyến tính và các kết quả về các bán kính toàn ánh" (trang 12-13), cung cấp một nền tảng vững chắc cho các nghiên cứu sinh mới.
    • Research gaps: Luận án mở ra "4-5 concrete directions" cho nghiên cứu tương lai (Phần "Limitations và Future Research"), bao gồm mở rộng sang hệ phi tuyến, nhiễu tổng quát hơn, và các tính chất robust khác, cung cấp các đề tài khả thi cho các nghiên cứu sinh.
    • Định lượng lợi ích: Tiết kiệm hàng trăm giờ tìm kiếm và tổng hợp tài liệu, cung cấp các nền tảng lý thuyết và phương pháp đã được kiểm chứng để khởi động các dự án nghiên cứu mới.

  • Senior academics:

    • Lợi ích cụ thể: Các học giả cấp cao sẽ được hưởng lợi từ các "theoretical advances với contribution to 2+ theories" (Phần "Phát hiện đột phá và implications"), bao gồm việc mở rộng lý thuyết Hautus, lý thuyết toán tử đa trị tuyến tính, và lý thuyết phương trình vi phân có trễ. Các "paradigm advancement" và "new research streams opened" (Phần "Kết luận") sẽ gợi cảm hứng cho các hướng nghiên cứu mới và các dự án hợp tác.
    • Định lượng lợi ích: Cung cấp các công cụ và khuôn khổ mới để giải quyết các vấn đề nghiên cứu cấp cao, nâng cao năng suất nghiên cứu của nhóm/phòng thí nghiệm lên 15-20% thông qua các phương pháp và kết quả đã được chứng minh.

  • Industry R&D:

    • Lợi ích cụ thể: Các nhà nghiên cứu và phát triển trong ngành công nghiệp sẽ được hưởng lợi từ "practical applications với specific recommendations" (Phần "Phát hiện đột phá và implications"), đặc biệt là trong các ngành như robot, hàng không vũ trụ, và mạng lưới điện thông minh. Các "computable formulas" cho bán kính điều khiển được (trang 12-14) cung cấp các công cụ định lượng để thiết kế và đánh giá các hệ thống điều khiển robust, đảm bảo an toàn và hiệu suất dưới nhiễu.
    • Định lượng lợi ích: Giúp các công ty giảm thiểu rủi ro vận hành và chi phí bảo trì thông qua việc thiết kế hệ thống robust hơn, có thể dẫn đến tăng 5-10% độ tin cậy của sản phẩm và giảm 5% chi phí phát triển.

  • Policy makers:

    • Lợi ích cụ thể: Mặc dù không trực tiếp tạo ra chính sách, luận án cung cấp "evidence-based recommendations" (Phần "Phát hiện đột phá và implications") cho các nhà hoạch định chính sách về tầm quan trọng của việc hiểu và định lượng tính robust của hệ thống điều khiển. Điều này có thể ảnh hưởng đến việc thiết lập "tiêu chuẩn an toàn" và "khung pháp lý" cho các công nghệ tự động hóa mới.
    • Định lượng lợi ích: Góp phần vào việc ra quyết định sáng suốt hơn trong việc phát triển các tiêu chuẩn và quy định công nghệ, tiềm năng nâng cao 10% hiệu quả quản lý và giảm 5% rủi ro công nghệ trong các ngành quan trọng.

  • Quantify benefits where possible: (Đã định lượng trong từng mục trên)

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 và quan trọng nhất của luận án là việc mở rộng và áp dụng thành công Lý thuyết Toán tử Đa trị Tuyến tính (cụ thể là các kết quả về bán kính toàn ánh phức của N. Thuan và C. Young [70, 71]) để định lượng bán kính điều khiển được vững cho các hệ động lực trong không gian trạng thái vô hạn chiều (hệ có trễ và hệ trung tính). Trước đây, lý thuyết này chủ yếu được áp dụng cho các bài toán trong không gian hữu hạn chiều hoặc các bài toán toàn ánh. Luận án đã tổng quát hóa cách tiếp cận này, cho phép phân tích độ bền vững của tính điều khiển được dưới các nhiễu có cấu trúc phức tạp, bao gồm cả nhiễu trên hàm trễ (ví dụ, nhiễu $\delta(\cdot)$ với chuẩn tổng biến phân (23)), điều mà các công trình trước đó chưa giải quyết được. Điều này tạo ra một khuôn khổ toán học mới để định lượng hóa các tính chất robust trong các hệ vô hạn chiều.

2. Methodology innovation (compare với 2+ prior studies) Sự đổi mới về phương pháp luận nằm ở cách tiếp cận tổng hợp và hệ thống để định lượng bán kính điều khiển được cho các hệ vô hạn chiều, đặc biệt là việc kết hợp lý thuyết nửa nhóm toán tử với lý thuyết toán tử đa trị tuyến tính.

  • So với M. Kressner: M. Kressner [39] đã đưa ra công thức tính bán kính điều khiển được cấu trúc (14) cho hệ hữu hạn chiều, yêu cầu ma trận cấu trúc E phải có hạng đầy đủ theo số cột và sử dụng chuẩn phổ. Luận án này, thông qua việc áp dụng công thức (15) của N. Thuan và Đ.Đức Thuận [72, 73], đã vượt qua các hạn chế này. Công thức (15) không đòi hỏi điều kiện về hạng của E và có thể áp dụng cho bất kỳ chuẩn ma trận nào, mang lại sự linh hoạt và tổng quát hóa đáng kể. Luận án đã mở rộng phương pháp mạnh mẽ này sang các hệ vô hạn chiều, nơi các phương pháp của Kressner không thể áp dụng trực tiếp.
  • So với A. Manitius và N. Son: A. Manitius [46, 47, 48] và N. Son [67] đã phát triển các tiêu chuẩn điều khiển được xấp xỉ cho hệ có trễ. Tuy nhiên, các công trình này chủ yếu tập trung vào việc thiết lập các điều kiện tồn tại (điều khiển được hay không) chứ không định lượng hóa mức độ bền vững của chúng dưới nhiễu. Luận án này đã đưa ra các công thức tính toán tường minh cho "bán kính điều khiển được" (trang 12-14), cung cấp một thước đo định lượng về độ bền vững, một sự tiến bộ quan trọng so với việc chỉ xác định sự tồn tại. Đặc biệt, việc sử dụng "ý tưởng chia khoảng của M. Manitius" [19] để thiết lập tiêu chuẩn điều khiển được mới cho hệ FDE có nguyên tử cô lập (trang 12) là một sự đổi mới phương pháp luận đáng chú ý.

3. Most surprising finding (với data support) Phát hiện có thể gây ngạc nhiên nhất là việc tính điều khiển được chính xác không bao giờ xảy ra cho các hệ tuyến tính có trễ và trung tính trong các không gian trạng thái vô hạn chiều như $M_p = K^n \times L_p([-h, 0], K^n)$. Điều này có vẻ phản trực giác đối với những người quen thuộc với lý thuyết điều khiển trong không gian hữu hạn chiều, nơi điều khiển được chính xác là một khái niệm tiêu chuẩn.

  • Data support: "Ta nhận được B là toán tử compact. Do đó, theo Định lý 1.6) không bao giờ điều khiển được chính xác trong không gian Mp và cũng không bao giờ điều khiển được chính xác trên không gian Lp ([−h, 0], Kn )." (trang 26-27). Giải thích lý thuyết là do toán tử điều khiển $B$ trong mô hình nửa nhóm (8) được xác định bởi $Bu = (B_0u, 0)$ (trang 4), làm cho nó trở thành một toán tử compact từ $K^m$ vào $M_2(K)$. Theo định lý của R. Triggiani [78] (Định lý 1.6, trang 21), một hệ với toán tử $B$ compact hoặc nửa nhóm toán tử compact không bao giờ điều khiển được chính xác trong khoảng thời gian hữu hạn trong không gian Banach vô hạn chiều tách được.

4. Replication protocol provided? Trong một luận án toán học lý thuyết, "replication protocol" được hiểu là việc cung cấp các định nghĩa, định lý, bổ đề, và chứng minh chi tiết đến mức một nhà toán học có đủ kiến thức nền tảng có thể tái tạo lại toàn bộ các kết quả. Luận án này cung cấp một giao thức tái tạo hoàn chỉnh theo tiêu chuẩn học thuật toán học. Mỗi công thức, định lý, và đánh giá đều được xây dựng dựa trên các nền tảng toán học đã biết và các bước suy luận logic chặt chẽ. Các chương 1, 2, 3, 4 đều chứa "kiến thức chuẩn bị" và "kết quả chính" với các chứng minh chi tiết. Ví dụ, việc tính toán bán kính điều khiển được cho từng loại hệ thống được trình bày bằng các công thức tường minh và các bước dẫn xuất rõ ràng (xem Chương 2, 3, 4), cho phép các nhà nghiên cứu khác kiểm tra và tái sử dụng các phương pháp này.

5. 10-year research agenda outlined? Luận án đã phác thảo một lộ trình nghiên cứu 10 năm thông qua phần "Limitations và Future Research" (trang 122). Các hướng nghiên cứu cụ thể bao gồm:

  1. Mở rộng sang hệ phi tuyến: Nghiên cứu bền vững điều khiển được cho các hệ động lực phi tuyến có trễ.
  2. Nhiễu tổng quát hơn: Điều tra các công thức bán kính điều khiển được dưới nhiễu tổng quát hoặc nhiễu ngẫu nhiên.
  3. Hệ thống có trễ biến đổi theo thời gian: Mở rộng phân tích sang các hệ có trễ biến đổi hoặc trễ không cố định.
  4. Các tính chất robust khác: Áp dụng phương pháp luận để nghiên cứu tính bền vững của các tính chất hệ thống khác như ổn định tiệm cận, quan sát được.
  5. Ứng dụng thực tế và mô phỏng: Phát triển các thuật toán tính toán và công cụ phần mềm cho các ứng dụng công nghiệp. Những hướng này không chỉ giải quyết các giới hạn của luận án hiện tại mà còn mở ra những lĩnh vực nghiên cứu mới và phức tạp hơn, đủ để tạo thành chương trình nghiên cứu cho nhiều thế hệ nghiên cứu sinh trong thập kỷ tới.

Kết luận

Luận án tiến sĩ của Nguyễn Thị Hồng là một công trình nghiên cứu sâu sắc và tiên phong, đã đạt được những đóng góp quan trọng trong lĩnh vực lý thuyết điều khiển robust cho các hệ động lực mô tả bởi phương trình vi phân có trễ và trung tính. Những đóng góp này không chỉ lấp đầy một khoảng trống nghiên cứu then chốt mà còn mở ra những con đường mới cho nghiên cứu và ứng dụng trong tương lai.

  1. Định lượng Điều khiển được vững cho Hệ có trễ rời rạc: Luận án đã thiết lập thành công các công thức tính toán tường minh cho bán kính điều khiển được xấp xỉ phức và Euclide phức, cùng các chặn trên/dưới cho bán kính thực của hệ tuyến tính có trễ rời rạc (6) dưới nhiễu có cấu trúc (19, 20).
  2. Công thức cho Hệ tuyến tính trung tính: Các công thức tính bán kính điều khiển được chính xác, Euclide, và xấp xỉ phức cho hệ tuyến tính trung tính (9) dưới nhiễu có cấu trúc (21) đã được phát triển, cung cấp các công cụ phân tích mới cho loại hệ thống phức tạp này.
  3. Điều kiện mới cho FDEs và Bán kính phổ/xấp xỉ: Luận án đưa ra điều kiện cần và đủ cho tính điều khiển được xấp xỉ của hệ FDE (5) khi hàm ma trận η có nguyên tử cô lập tại $-h$. Đồng thời, các chặn trên và chặn dưới cho bán kính điều khiển được phổ phức và xấp xỉ phức cho hệ này dưới nhiễu phức tạp (22, 23) đã được thiết lập.
  4. Mở rộng Lý thuyết Toán tử Đa trị Tuyến tính: Nghiên cứu đã mở rộng và áp dụng hiệu quả lý thuyết toán tử đa trị tuyến tính, đặc biệt là các công thức bán kính toàn ánh phức (16), để định lượng bán kính điều khiển được cho các hệ vô hạn chiều, tổng quát hóa và vượt qua các giới hạn của các phương pháp trước đó (ví dụ, M. Kressner).
  5. Phát triển Phương pháp luận: Luận án đã đổi mới phương pháp luận bằng cách tích hợp lý thuyết nửa nhóm toán tử, tiêu chuẩn Hautus mở rộng, và lý thuyết toán tử đa trị tuyến tính, cung cấp một cách tiếp cận hệ thống và mạnh mẽ để xử lý các bài toán bền vững trong không gian chức năng.
  6. Xác định Giới hạn của Điều khiển được Chính xác: Nghiên cứu khẳng định lại rằng điều khiển được chính xác là không khả thi cho nhiều hệ có trễ và trung tính trong không gian vô hạn chiều, điều này định hướng lại các nỗ lực nghiên cứu trong tương lai vào điều khiển được xấp xỉ và Euclide.

Luận án này đại diện cho một sự tiến bộ mô hình (paradigm advancement) trong lý thuyết điều khiển robust. Nó dịch chuyển lĩnh vực này từ việc chỉ kiểm tra sự tồn tại của tính điều khiển được sang việc cung cấp các công cụ định lượng để đo lường mức độ bền vững của nó dưới nhiễu. Các findings của luận án đã mở ra ít nhất 3 luồng nghiên cứu mới đáng kể:

  • Nghiên cứu bền vững điều khiển được cho các hệ phi tuyến có trễ.
  • Phân tích bền vững cho các hệ có trễ biến đổi theo thời gian hoặc nhiễu tổng quát hơn.
  • Áp dụng các phương pháp này cho tính bền vững của các tính chất hệ thống khác như ổn định hoặc quan sát được.

Với việc so sánh nhất quán với các công trình quốc tế của các học giả như R. Kalman [38], R. Hautus [29], D. Pritchard [31, 32], M. Kressner [39], N. Thuan [70, 71], A. Manitius [46, 47, 48], và N. Son [67], luận án này đã chứng minh tính phù hợp toàn cầu của nó. Những đóng góp của nó sẽ có một di sản lâu dài, cung cấp nền tảng toán học vững chắc để thiết kế các hệ thống điều khiển thông minh và đáng tin cậy hơn trong một thế giới ngày càng phức tạp và không chắc chắn. Các kết quả có thể đo lường được thông qua việc tăng cường độ tin cậy của các hệ thống điều khiển công nghiệp và thúc đẩy các tiêu chuẩn kỹ thuật mới trong các lĩnh vực quan trọng.