Tổng quan về luận án

Luận án này tập trung vào nghiên cứu và ứng dụng một giải pháp điều khiển tiên tiến cho tàu thủy, đặc biệt là các tàu nổi có mô hình toán dạng thiếu cơ cấu chấp hành (Underactuated). Bối cảnh khoa học của nghiên cứu xuất phát từ nhu cầu ngày càng tăng về tự động hóa và tối ưu hóa hoạt động của tàu thủy, phù hợp với định hướng phát triển bền vững kinh tế biển Việt Nam theo Nghị quyết số 36-NQ/TW, hướng tới việc "tiếp cận, tận dụng tối đa thành tựu khoa học, công nghệ tiên tiến và thuộc nhóm nước dẫn đầu ASEAN" trong lĩnh vực biển. Tính tiên phong của nghiên cứu nằm ở việc giải quyết một research gap cụ thể và phức tạp: "Các công trình đã nghiên cứu về điều khiển chuyển động tàu thủy mới chỉ dừng lại ở việc giải quyết những vấn đề điều khiển đơn lẻ chưa có công trình nào giải quyết kết hợp chung những vấn đề như: bám quỹ đạo, ràng buộc tín hiệu điều khiển, sử dụng mô hình có chứa thành phần bất định và nhiễu tác động ngẫu nhiên,… trong một bộ điều khiển." (trang 31). Điều này tạo ra một thách thức lớn trong thiết kế hệ thống điều khiển cho tàu thủy, một đối tượng có tính phi tuyến cao và hoạt động trong môi trường phức tạp, bất định.

Nghiên cứu này đề ra mục tiêu cốt lõi là thiết kế bộ điều khiển tàu thủy bám quỹ đạo, có ràng buộc tín hiệu điều khiển và có khả năng xử lý bất định hàm ở đầu vào. Các câu hỏi nghiên cứu chính (research questions) được luận án giải quyết bao gồm: (1) Làm thế nào để điều khiển tàu thủy thiếu cơ cấu chấp hành bám theo quỹ đạo đặt trong môi trường phi tuyến? (2) Làm thế nào để tích hợp ràng buộc tín hiệu điều khiển (như góc bẻ lái giới hạn 35 độ hoặc 10 độ trong chế độ tự động – trang 32) trực tiếp vào thiết kế bộ điều khiển thay vì thông qua các thiết bị hạn chế tín hiệu truyền thống? (3) Làm thế nào để đối phó với các thành phần bất định và nhiễu ngẫu nhiên từ môi trường bên ngoài trong mô hình động lực học tàu thủy một cách hiệu quả? (4) Giải pháp điều khiển đề xuất có thể được kiểm chứng và đánh giá chất lượng thông qua mô phỏng và thực nghiệm phần cứng trong vòng lặp (Hardware-In-the-Loop - HIL) như thế nào?

Khung lý thuyết (theoretical framework) của luận án được xây dựng dựa trên lý thuyết điều khiển dự báo theo mô hình (Model Predictive Control - MPC) với nguyên tắc trượt dọc trên trục thời gian (Receding Horizon Control - RHC). Để xử lý tính phi tuyến của mô hình tàu, luận án áp dụng kỹ thuật tuyến tính hóa từng đoạn mô hình phi tuyến dọc trục thời gian, thay vì các phương pháp NMPC truyền thống có khối lượng tính toán lớn. Điều này cho phép ứng dụng các thuật toán tối ưu hóa có ràng buộc một cách hiệu quả hơn.

Đóng góp đột phá của luận án nằm ở việc tích hợp thành công ba yếu tố thách thức: bám quỹ đạo chính xác, ràng buộc tín hiệu điều khiển trực tiếp, và khả năng xử lý bất định hàm, trong một bộ điều khiển duy nhất cho đối tượng tàu thủy thiếu cơ cấu chấp hành. Luận án đã phát triển các bộ điều khiển dự báo phản hồi trạng thái (MPC-S) và phản hồi đầu ra (MPC-O), đồng thời giới thiệu các biến thể có bù bất định (DMPC-S, DMPC-O) để tăng cường độ bền vững. Kiểm chứng thực nghiệm HIL với bộ điều khiển DMPC-O đã đạt được quỹ đạo hình tròn với độ chính xác cao (Hình 3.13), cho thấy tiềm năng ứng dụng thực tế đáng kể.

Phạm vi nghiên cứu (scope) của luận án tập trung vào tàu nổi, choán nước, ba bậc tự do (3-DOF) dạng thiếu cơ cấu chấp hành trên mặt phẳng ngang, hoạt động trong "điều kiện hạn chế về sóng, gió, dòng chảy… không lớn hơn cấp 5" (trang 3). Mặc dù không trực tiếp cung cấp thông tin về kích thước mẫu (sample size) đối với tàu thực tế, luận án đã xây dựng một mô hình thực nghiệm HIL chi tiết để kiểm chứng các thuật toán, sử dụng các thông số cài đặt cụ thể cho mô hình tàu và nhiễu (trang 122). Sự kết hợp này mang lại ý nghĩa sâu sắc cả về lý luận (bổ sung phương pháp điều khiển phi tuyến mới) và thực tiễn (hiện thực hóa điều khiển cho đối tượng tàu có tính phi tuyến lớn và cơ cấu chấp hành hạn chế).

Literature Review và Positioning

Phân tích tổng quan các nghiên cứu trong và ngoài nước về điều khiển chuyển động tàu thủy cho thấy sự phát triển vượt bậc từ các bộ điều khiển kinh điển đến hiện đại. Luận án đã tổng hợp các luồng nghiên cứu chính, từ các bộ điều khiển tuyến tính như PID [28], LQR (Linear Quadratic Regulator), LQG (Linear Quadratic Gaussian) [33] thường áp dụng cho mô hình tuyến tính hóa NOMOTO bậc một hoặc bậc hai, cho đến các bộ điều khiển phi tuyến phức tạp hơn như Backstepping [70], [63], điều khiển trượt (Sliding Mode Control - SMC) [10], [48], điều khiển bề mặt động (Dynamic Surface Control - DSC) [22], điều khiển thích nghi [68], [75], và các bộ điều khiển kết hợp với mờ (Fuzzy), mạng Neural, SMC-Backstepping để giải quyết yếu tố bất định [14].

Tuy nhiên, có những mâu thuẫn và tranh luận rõ rệt trong các công trình hiện có. Một mặt, các bộ điều khiển dựa trên mô hình tuyến tính hóa hoặc đơn giản hóa thường có khối lượng tính toán thấp nhưng độ chính xác và khả năng bền vững kém khi đối mặt với tính phi tuyến và bất định của tàu thủy. Mặt khác, các bộ điều khiển phi tuyến như NMPC (Nonlinear Model Predictive Control) mặc dù có tiềm năng về độ chính xác, lại phải đối mặt với "khối lượng tính toán lớn, việc tìm nghiệm bài toán tối ưu phi tuyến từ hàm hợp phức tạp, thời gian tính toán dài" (trang 33). Luận án này đã chỉ ra rằng các công trình trước đây thường chỉ giải quyết các vấn đề điều khiển đơn lẻ như ổn định hướng đi ([3], [50], [36]), bám quỹ đạo với giả định không có ràng buộc tín hiệu ([16], [30]), hoặc xử lý bất định mà bỏ qua ràng buộc ([14], [67]).

Luận án định vị mình trong lĩnh vực nghiên cứu bằng cách xác định một khoảng trống rõ ràng: thiếu một giải pháp điều khiển tích hợp có thể xử lý đồng thời bám quỹ đạo, ràng buộc tín hiệu điều khiển, và bất định hàm ở đầu vào cho tàu thủy thiếu cơ cấu chấp hành. Như đã nêu, "chưa có công trình nào giải quyết kết hợp chung những vấn đề như: bám quỹ đạo, ràng buộc tín hiệu điều khiển, sử dụng mô hình có chứa thành phần bất định và nhiễu tác động ngẫu nhiên,… trong một bộ điều khiển." (trang 31).

Nghiên cứu này tiến xa hơn các công trình hiện có bằng cách đề xuất một phương pháp điều khiển dự báo dựa trên tuyến tính hóa từng đoạn mô hình phi tuyến. Điều này mang lại lợi thế về hiệu quả tính toán so với NMPC toàn diện trong khi vẫn giữ được khả năng xử lý phi tuyến và tích hợp ràng buộc tín hiệu điều khiển trực tiếp vào khối tối ưu hóa của MPC. Ví dụ, so với công trình của [48] hay [62] cũng sử dụng NMPC để điều khiển bám quỹ đạo có ràng buộc cho tàu thiếu cơ cấu chấp hành, nhưng thường giả định tất cả các biến trạng thái phải đo được và mô hình không có thành phần bất định. Trái lại, luận án này giải quyết cả trường hợp phản hồi trạng thái và phản hồi đầu ra (sử dụng bộ quan sát EKF), đồng thời tích hợp xử lý bất định.

So sánh với các nghiên cứu quốc tế khác, ví dụ, công trình của Fossen K.Y. [56] và Do K.Pan [16]-[21] là những nghiên cứu điển hình về điều khiển chuyển động tàu thủy, đặc biệt là tàu thiếu cơ cấu chấp hành. Tuy nhiên, nhiều công trình của Fossen tập trung vào các bộ điều khiển phi tuyến trên cơ sở hàm Lyapunov hoặc điều khiển thích nghi, trong khi Do K.Pan thường sử dụng kỹ thuật Backstepping và giả định các tín hiệu điều khiển không có ràng buộc về độ lớn để đạt được ổn định. Luận án này, bằng cách tích hợp trực tiếp ràng buộc và xử lý bất định thông qua khuôn khổ MPC, vượt qua những giới hạn này, đặc biệt là vấn đề "ràng buộc tín hiệu điều khiển góc bẻ lái cần phải được đặt ra khi nghiên cứu thiết kế bộ điều khiển chuyển động tàu thủy" (trang 32) mà các công trình trước đây thường chuyển sang phần nhiệm vụ của cơ cấu chấp hành thông qua các thiết bị hạn chế tín hiệu (saturation devices).

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

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

Luận án này đóng góp đáng kể vào lý thuyết điều khiển bằng cách mở rộng và thử thách các lý thuyết hiện có, đặc biệt là trong bối cảnh điều khiển hệ thống phi tuyến phức tạp như tàu thủy. Thứ nhất, luận án mở rộng lý thuyết điều khiển dự báo theo mô hình (MPC), mà nhiều tài liệu cơ bản như [5], [13], [32] đã nêu, bằng cách áp dụng một cách tiếp cận cải tiến để xử lý tính phi tuyến. Thay vì sử dụng MPC tuyến tính đơn thuần hoặc NMPC phức tạp, luận án đề xuất nguyên lý "tuyến tính hóa từng đoạn mô hình phi tuyến dọc trục thời gian" (trang 33). Điều này cho phép áp dụng các kỹ thuật tối ưu hóa có ràng buộc hiệu quả hơn cho các mô hình phi tuyến của tàu thủy, khắc phục nhược điểm về gánh nặng tính toán của NMPC, đồng thời vẫn giữ được khả năng xử lý phi tuyến tốt hơn các phương pháp tuyến tính hóa toàn cục.

Thứ hai, luận án thách thức quan điểm truyền thống về việc xử lý ràng buộc tín hiệu điều khiển như một khâu phụ thuộc vào cơ cấu chấp hành. Thay vào đó, nó tích hợp các ràng buộc này trực tiếp vào bài toán tối ưu của MPC, đảm bảo rằng tín hiệu điều khiển luôn nằm trong giới hạn cho phép (ví dụ: góc bẻ lái từ -35 độ đến 35 độ, hoặc -10 độ đến 10 độ trong chế độ tự động – trang 32) một cách tối ưu.

Khung phân tích khái niệm (conceptual framework) của luận án bao gồm ba trụ cột chính: (1) Mô hình động lực học tàu thủy thiếu cơ cấu chấp hành với các thành phần bất định, (2) Bộ điều khiển dự báo MPC dựa trên tuyến tính hóa từng đoạn, và (3) Các bộ ước lượng và bù bất định (cho cả phản hồi trạng thái và phản hồi đầu ra). Mối quan hệ giữa các thành phần này được thể hiện rõ qua cấu trúc bộ điều khiển DMPC-S và DMPC-O (Hình 3.7 và Hình 3.11).

Mô hình lý thuyết được đề xuất trong luận án bao gồm các mệnh đề/giả thuyết chính:

  1. Mệnh đề 1: Phương pháp tuyến tính hóa từng đoạn mô hình phi tuyến có thể giảm đáng kể khối lượng tính toán so với NMPC mà vẫn duy trì hiệu quả điều khiển cho tàu thủy thiếu cơ cấu chấp hành (được kiểm chứng qua mô phỏng và thực nghiệm HIL).
  2. Mệnh đề 2: Việc tích hợp trực tiếp ràng buộc tín hiệu điều khiển vào hàm mục tiêu của MPC sẽ cho phép bộ điều khiển hoạt động hiệu quả trong các giới hạn vận hành thực tế mà không làm giảm đáng kể hiệu suất bám quỹ đạo.
  3. Mệnh đề 3: Bộ nhận dạng, ước lượng và bù tín hiệu bất định mới (được trình bày trong Chương 3) có khả năng cải thiện đáng kể độ bền vững của hệ thống điều khiển khi mô hình tàu có chứa bất định hàm và chịu ảnh hưởng của nhiễu ngẫu nhiên.
  4. Mệnh đề 4: Tính ổn định của hệ điều khiển dự báo đề xuất có thể được chứng minh theo lý thuyết Lyapunov (Chương 2, mục 2.4).

Luận án hướng tới một sự thay đổi mô hình (paradigm shift) từ việc thiết kế các bộ điều khiển đơn mục tiêu, thường bỏ qua hoặc xử lý rời rạc các thách thức vận hành, sang một cách tiếp cận tích hợp, đa mục tiêu, tập trung vào tính bền vững và khả năng áp dụng thực tế. Bằng chứng cho sự thay đổi này đến từ các kết quả mô phỏng và thực nghiệm cho thấy sự kết hợp các vấn đề phức tạp trong một khuôn khổ điều khiển duy nhất mang lại hiệu suất vượt trội so với các phương pháp truyền thống.

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

Khung phân tích của luận án độc đáo ở chỗ nó tích hợp một cách hài hòa các lý thuyết điều khiển khác nhau. Nó kết hợp nguyên lý điều khiển dự báo (MPC) với lý thuyết ổn định Lyapunov (để chứng minh tính ổn định của hệ thống - trang 81), và kỹ thuật lọc Kalman mở rộng (EKF) [44] cùng với một bộ quan sát trạng thái trực tiếp mới từ mô hình liên tục của đối tượng (QSTT - trang 63) để xử lý phản hồi đầu ra và ước lượng nhiễu.

Phương pháp phân tích mới lạ nằm ở việc xử lý tính phi tuyến của mô hình tàu thông qua kỹ thuật "tuyến tính hóa từng đoạn mô hình phi tuyến dọc theo trục thời gian" (trang 33). Kỹ thuật này được giải thích chi tiết trong Mục 2.3 (trang 39), nơi mô hình phi tuyến của tàu được xấp xỉ bằng một chuỗi các mô hình tuyến tính hóa trong cửa sổ dự báo, cho phép áp dụng các thuật toán tối ưu hóa tuyến tính như tối ưu toàn phương (SQP) hiệu quả hơn.

Các đóng góp khái niệm chính bao gồm:

  • DMPC-S (Disturbance Model Predictive Control - State): Một bộ điều khiển dự báo phản hồi trạng thái có khả năng bù bất định (trang 95).
  • DMPC-O (Disturbance Model Predictive Control - Output): Một bộ điều khiển dự báo phản hồi đầu ra có khả năng bù bất định, tích hợp bộ quan sát trạng thái để xử lý khi không có đủ thông tin trạng thái (trang 104).
  • Bộ ước lượng và bù thành phần bất định mới: Được xây dựng trong Chương 3 để giải quyết "những thành phần bất định (không xác định) trong mô hình toán và nhiễu từ môi trường bên ngoài tác động vào đối tượng thành một véc-tơ bất định" (trang 21).

Các điều kiện biên (boundary conditions) được nêu rõ, bao gồm việc nghiên cứu áp dụng cho tàu nổi, choán nước, ba bậc tự do dạng thiếu cơ cấu chấp hành trên mặt phẳng ngang, trong điều kiện môi trường có nhiễu ngẫu nhiên "không lớn hơn cấp 5" (trang 3), và không xét đến mô hình cơ cấu thực hiện của tàu. Điều này giúp định rõ phạm vi ứng dụng và giới hạn của các kết quả nghiên cứu.

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

Luận án sử dụng một phương pháp nghiên cứu tiên tiến và kết hợp nhiều cách tiếp cận để giải quyết bài toán điều khiển tàu thủy phức tạp.

Thiết kế nghiên cứu

Triết lý nghiên cứu (Research Philosophy): Nghiên cứu này tuân thủ triết lý Positivist/Realist. Luận án tìm kiếm các giải pháp khách quan, định lượng và có thể kiểm chứng cho một vấn đề kỹ thuật. Nó dựa trên các mô hình toán học cụ thể (như mô hình động lực học tàu 6 bậc tự do, sau đó là 3 bậc tự do trên mặt phẳng ngang - Chương 1), các công thức đạo hàm chặt chẽ, và kiểm định bằng mô phỏng cùng thực nghiệm. Mục tiêu là xây dựng các luật điều khiển có thể dự đoán và kiểm soát hành vi của tàu một cách đáng tin cậy.

Phương pháp kết hợp (Mixed Methods): Luận án tích hợp phương pháp lý thuyết, mô phỏng và thực nghiệm.

  • Lý thuyết: Phát triển mô hình toán, thiết kế thuật toán điều khiển (MPC, DMPC), xây dựng bộ quan sát (EKF, QSTT), và chứng minh tính ổn định theo lý thuyết Lyapunov (Chương 2, mục 2.4).
  • Mô phỏng: Sử dụng phần mềm Matlab-Simulink để kiểm chứng các thuật toán điều khiển đề xuất trong môi trường ảo, đánh giá chất lượng bám quỹ đạo, ảnh hưởng của ràng buộc và bất định (Chương 2, mục 2.5 và Chương 3, mục 3.3).
  • Thực nghiệm HIL (Hardware-In-the-Loop): Đây là một bước đột phá quan trọng, giúp thu hẹp khoảng cách giữa lý thuyết và thực tiễn bằng cách kiểm chứng bộ điều khiển trên phần cứng thực tế (Card Arduino Due R3) giao tiếp với mô hình tàu mô phỏng trong thời gian thực (MSS-GNC Toolbox trên Simulink-Matlab).

Thiết kế đa cấp (Multi-level Design): Nghiên cứu được cấu trúc theo các cấp độ rõ ràng:

  • Cấp độ 1: Mô hình hóa: Từ mô hình tổng quát 6 bậc tự do đến mô hình 3 bậc tự do thiếu cơ cấu chấp hành trên mặt phẳng ngang, bao gồm cả dạng xác định và dạng bất định (Chương 1).
  • Cấp độ 2: Thiết kế bộ điều khiển: Phát triển bộ điều khiển MPC-S, MPC-O, và các biến thể DMPC-S, DMPC-O để xử lý ràng buộc và bất định (Chương 2, Chương 3).
  • Cấp độ 3: Ước lượng và bù: Xây dựng bộ quan sát trạng thái (QSTT, EKF) và bộ ước lượng bù bất định (Chương 2, Chương 3).
  • Cấp độ 4: Kiểm chứng và đánh giá: Thực hiện mô phỏng và thực nghiệm HIL để đánh giá chất lượng bộ điều khiển (Chương 4).

Kích thước mẫu và tiêu chí lựa chọn (Sample Size and Selection Criteria): Đối tượng nghiên cứu là "tàu nổi, choán nước, có mô hình toán dạng thiếu cơ cấu chấp hành" (trang 3). Mặc dù không có số lượng mẫu tàu thực tế, luận án đã sử dụng một mô hình tàu thủy ba bậc tự do dạng thiếu cơ cấu chấp hành cụ thể trong mô phỏng và HIL. Các tiêu chí lựa chọn mô hình này dựa trên đặc tính phổ biến của "các tàu chở hàng, tàu Container" (trang 17), chỉ có hai cơ cấu chấp hành chính (chân vịt và bánh lái). Phạm vi nghiên cứu giới hạn ở "chế độ chạy kiểm tra tính năng điều động, quay trở, trong điều kiện hạn chế về sóng, gió, dòng chảy… không lớn hơn cấp 5" (trang 3) để đảm bảo tính khả thi của mô hình và kiểm chứng trong điều kiện thực nghiệm.

Quy trình nghiên cứu rigorous

Chiến lược lấy mẫu (Sampling Strategy): Trong bối cảnh thực nghiệm HIL, chiến lược lấy mẫu bao gồm việc lựa chọn các thông số mô hình tàu (từ thư viện MSS-GNC Toolbox), cài đặt các loại nhiễu đo và nhiễu bất định (dạng sóng Sin, Random, xung vuông – Hình 3.3, 3.4, 3.5), và thiết lập các quỹ đạo đặt khác nhau (hình tròn, hình sin – Hình 2.7, 2.8, 2.17, 2.18) để kiểm tra tính tổng quát của bộ điều khiển. Tiêu chí bao gồm "mô hình tàu, mô hình nhiễu bất định và tham số cài đặt" (trang 122).

Giao thức thu thập dữ liệu (Data Collection Protocols): Dữ liệu được thu thập từ:

  • Mô phỏng: Các biến trạng thái của tàu (vị trí x, y, hướng ψ, vận tốc u, v, r) và tín hiệu điều khiển (lực đẩy, mô-men quay trở) được ghi lại từ Matlab-Simulink.
  • Thực nghiệm HIL: Dữ liệu vị trí và hướng của tàu được "ghép nối, cài đặt mô hình bộ đo tín hiệu quỹ đạo, hướng tàu bằng GPS - Gyrocompass" (trang 123) và chuyển đổi tín hiệu qua "Card Arduino Due R3 Atemega16u2 và chuyển đổi tín hiệu NMEA0183" (trang 124). Các bộ đo nhiễu cũng được cài đặt để mô phỏng "mô hình nhiễu đo và tham số cài đặt" (Hình 4.9, trang 123).

Tam giác hóa (Triangulation): Luận án áp dụng tam giác hóa phương pháp (methodological triangulation) bằng cách kết hợp:

  • Lý thuyết: Đạo hàm toán học và chứng minh ổn định.
  • Mô phỏng: Kiểm chứng trên Matlab-Simulink.
  • Thực nghiệm HIL: Xác nhận tính khả thi trên nền phần cứng thực tế. Sự phù hợp giữa kết quả từ ba phương pháp này củng cố tính hợp lệ và tin cậy của các phát hiện.

Tính hợp lệ (Validity) và độ tin cậy (Reliability):

  • Tính hợp lệ cấu trúc (Construct Validity): Các thuật ngữ chuyên ngành (MPC, EKF, Underactuated) được định nghĩa rõ ràng và sử dụng nhất quán. Các mô hình toán (ví dụ: (1.33), (1.34)) được xây dựng dựa trên lý thuyết động lực học tàu thủy đã được kiểm chứng (ví dụ: Fossen [24], [28]).
  • Tính hợp lệ nội bộ (Internal Validity): Thiết kế thực nghiệm HIL được kiểm soát chặt chẽ với các thông số cài đặt rõ ràng cho mô hình tàu và nhiễu (Chương 4), đảm bảo rằng sự thay đổi trong kết quả điều khiển có thể quy cho các biến điều khiển.
  • Tính hợp lệ bên ngoài (External Validity): Mặc dù nghiên cứu tập trung vào mô hình 3-DOF và điều kiện nhiễu hạn chế, các nguyên lý và phương pháp (MPC với tuyến tính hóa từng đoạn, bù bất định) có thể mở rộng cho các hệ thống tàu phức tạp hơn hoặc các đối tượng phi tuyến khác.
  • Độ tin cậy (Reliability): Các thuật toán điều khiển được trình bày dưới dạng thuật toán chi tiết (ví dụ: Thuật toán MPC-S - Hình 2.5, DMPC-S - Hình 3.8), cho phép tái tạo. Mặc dù giá trị alpha (α values) cho độ tin cậy nội bộ không được đề cập trực tiếp, tính ổn định tiệm cận của hệ thống được chứng minh (Chương 2, mục 2.4), đảm bảo rằng hệ thống sẽ hoạt động nhất quán trong các điều kiện đã định.

Data và phân tích

Đặc điểm mẫu (Sample Characteristics): Các đặc điểm của mẫu tàu (tàu nổi, choán nước, 3 bậc tự do thiếu cơ cấu chấp hành) được mô tả thông qua các ma trận động lực học (M, C(ν), D(ν)) và các tham số SNAME 1950 [24]. Ví dụ, các hệ số m11, m22, m33 cho ma trận quán tính (1.23) và d11, d22, d33 cho ma trận giảm chấn (1.26). Luận án cũng mô tả chi tiết các tín hiệu bất định "dạng hàm bất định tác động từ bên ngoài" như sóng sin hoặc random (trang 92-93).

Kỹ thuật phân tích tiên tiến (Advanced Techniques):

  • Điều khiển dự báo theo mô hình (MPC): Là kỹ thuật trọng tâm, sử dụng nguyên lý trượt dọc trên trục thời gian (RHC) và tuyến tính hóa từng đoạn mô hình phi tuyến.
  • Lọc Kalman mở rộng (EKF): Được sử dụng như một bộ quan sát trạng thái và lọc nhiễu khi thực hiện phản hồi đầu ra (Chương 2, mục 2.2.2.2).
  • Tối ưu hóa có ràng buộc (Constrained Optimization): Các phương pháp như tối ưu toàn phương (SQP) được áp dụng để giải khối hàm mục tiêu trong MPC, trực tiếp xử lý "những phương pháp tối ưu hóa có ràng buộc thường sử dụng" (trang 46).
  • Software: Matlab-Simulink là môi trường chính để "mô phỏng kiểm chứng kết quả nghiên cứu" (trang 4). Thư viện "Marine System Simulator – Guidance Navigation Control (MSS-GNC) Toolbox" (trang 119) được dùng để mô phỏng thiết bị hàng hải, và "Card Arduino Due R3" với "thư viện Arduino Libarary I/O" (trang 120) được sử dụng để ghép nối phần cứng trong thực nghiệm HIL.

Kiểm tra tính bền vững (Robustness Checks): Luận án thực hiện kiểm tra tính bền vững bằng cách:

  • Mô phỏng với các quỹ đạo đặt khác nhau (hình tròn, hình sin) để đánh giá hiệu suất bám (Hình 2.7, 2.8, 3.9, 3.10).
  • Mô phỏng với các loại tín hiệu bất định khác nhau (sin, random, xung vuông) để kiểm chứng bộ ước lượng bù bất định (Hình 3.3, 3.4, 3.5).
  • Đánh giá bộ ước lượng bù bất định khi "thay đổi hệ số ma trận thủy động lực học D(ν) trong mô hình" (Hình 3.6, trang 95), cho thấy khả năng đối phó với sự thay đổi tham số.

Kích thước hiệu ứng và khoảng tin cậy (Effect Sizes and Confidence Intervals): Mặc dù không trình bày các giá trị p-values hoặc khoảng tin cậy cụ thể, luận án sử dụng các đồ thị mô phỏng (ví dụ: Hình 2.7, 3.9) và so sánh sai lệch bám để định lượng "chất lượng điều khiển" và "tốc độ hội tụ của sai lệch bám" (trang 43), thể hiện hiệu quả của các giải pháp đề xuất.

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

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

Luận án đã đạt được một số phát hiện then chốt, mang tính đột phá trong lĩnh vực điều khiển chuyển động tàu thủy:

  1. Hiệu quả của MPC với tuyến tính hóa từng đoạn trong bám quỹ đạo và xử lý ràng buộc: Luận án chứng minh rằng phương pháp điều khiển dự báo MPC, dựa trên tuyến tính hóa từng đoạn mô hình phi tuyến, có thể điều khiển tàu thủy thiếu cơ cấu chấp hành bám quỹ đạo đặt một cách hiệu quả, ngay cả khi có "ràng buộc tín hiệu điều khiển" (trang 31) (ví dụ: góc bẻ lái giới hạn 35 độ). Các kết quả mô phỏng của bộ điều khiển MPC-S (Hình 2.7, 2.8) và MPC-O (Hình 2.17, 2.18) cho thấy khả năng bám quỹ đạo hình tròn và hình sin với sai lệch thấp, khẳng định tính hiệu quả của phương pháp này.
  2. Khả năng bù bất định vượt trội của DMPC: Việc thiết kế và kiểm chứng các bộ điều khiển DMPC-S và DMPC-O đã chứng minh khả năng xử lý "mô hình tàu có chứa thành phần bất định và nhiễu tác động ngẫu nhiên" (trang 31). Bộ ước lượng bù bất định mới được phát triển (Chương 3) có thể nhận dạng và bù đắp hiệu quả các thành phần bất định sinh ra từ mô hình đối tượng hoặc tác động từ bên ngoài (Hình 3.3, 3.4, 3.5), giúp duy trì chất lượng điều khiển ổn định ngay cả trong điều kiện không chắc chắn. Kết quả mô phỏng DMPC-S (Hình 3.9, 3.10) và DMPC-O (Hình 3.13, 3.14) cho thấy hiệu suất bám quỹ đạo được cải thiện đáng kể khi có bù bất định so với các bộ điều khiển không bù.
  3. Thành công của bộ quan sát trạng thái (QSTT và EKF) cho phản hồi đầu ra: Luận án đã phát triển bộ quan sát trạng thái trực tiếp từ mô hình liên tục (QSTT) và áp dụng bộ lọc Kalman mở rộng (EKF) để giải quyết bài toán phản hồi đầu ra khi không có đủ trạng thái đo trực tiếp. Các kết quả mô phỏng so sánh QSTT và EKF (Hình 2.13, 2.14) cho thấy hiệu quả của chúng trong việc ước lượng trạng thái và lọc nhiễu, đặc biệt là khi có "nhiễu đo" (Hình 2.14), cho phép bộ điều khiển MPC-O hoạt động chính xác.
  4. Kiểm chứng thực nghiệm HIL mang tính thực tiễn cao: Việc xây dựng và thực nghiệm mô hình HIL sử dụng MSS-GNC Toolbox, Matlab-Simulink và Card Arduino Due R3 đã "kiểm chứng, đánh giá chất lượng bộ điều khiển MPC đề xuất" (trang 5). "Kết quả thực nghiệm HIL với bộ điều khiển DMPC-O-quỹ đạo hình tròn" (Hình 4.13) cung cấp bằng chứng cụ thể về tính khả thi và hiệu quả của giải pháp đề xuất trong môi trường gần với thực tế, vượt xa các nghiên cứu chỉ dừng lại ở mô phỏng lý thuyết.
  5. Tính ổn định của hệ thống được chứng minh: Luận án đã "Chứng minh tính ổn định hệ điều khiển dự báo đề xuất" (Chương 2, mục 2.4, trang 81), một yếu tố then chốt đảm bảo độ tin cậy của bất kỳ hệ thống điều khiển nào. Điều này củng cố cơ sở lý thuyết cho các giải pháp thực tế được triển khai.

Implications đa chiều

Những phát hiện trên mang lại các hàm ý đa chiều:

  • Tiến bộ lý thuyết (Theoretical advances): Luận án đóng góp vào lý thuyết điều khiển dự báo (MPC) bằng cách cung cấp một khuôn khổ hiệu quả để tích hợp đồng thời ràng buộc, phi tuyến tính và bất định cho các hệ thống phức tạp như tàu thủy. Điều này mở rộng phạm vi ứng dụng của MPC, đặc biệt là trong việc kiểm soát các hệ thống dưới tác động của "lực và mô-men do nhiễu tác động từ bên ngoài (sóng, gió, dòng chảy,…)" (trang 10). Nó cũng đóng góp vào lý thuyết điều khiển thích nghi và bền vững thông qua việc phát triển các bộ ước lượng bù bất định mới.
  • Đổi mới phương pháp luận (Methodological innovations): Việc kết hợp phương pháp tuyến tính hóa từng đoạn mô hình phi tuyến với MPC, cùng với việc phát triển bộ quan sát trạng thái và bộ bù bất định, tạo ra một phương pháp luận linh hoạt và mạnh mẽ. Khung thực nghiệm HIL chi tiết (Chương 4) cũng là một đổi mới đáng kể, có thể được "áp dụng cho các bối cảnh khác" (other contexts) trong nghiên cứu điều khiển tự động cho các phương tiện hàng hải hoặc các hệ thống robot phức tạp.
  • Ứng dụng thực tiễn (Practical applications): Các giải pháp điều khiển đề xuất có thể được "áp dụng các trang thiết bị kỹ thuật, công nghệ tự động hóa tiên tiến, hiện đại trên tàu thủy như: hệ thống lái tự động tàu thủy (Auto Pilot), hệ thống điều khiển chuyển động tàu theo quỹ đạo, hệ thống định vị tàu DP (Dynamic Position)" (trang 1). Cụ thể, nó có thể cải thiện hiệu suất của hệ thống lái tự động, tăng cường an toàn hàng hải thông qua việc bám quỹ đạo chính xác và giảm lỗi do con người, đặc biệt trong các điều kiện môi trường có nhiễu loạn. Các khuyến nghị cụ thể bao gồm tích hợp các bộ điều khiển DMPC-O vào hệ thống điều khiển tàu hiện đại để nâng cao khả năng tự hành và bền vững.
  • Khuyến nghị chính sách (Policy recommendations): Các kết quả của luận án cung cấp cơ sở bằng chứng để "chính sách" (policy makers) xem xét việc xây dựng các tiêu chuẩn mới cho hệ thống điều khiển tự động của tàu thủy, đặc biệt là tàu thiếu cơ cấu chấp hành. Việc điều khiển chính xác với ràng buộc và khả năng chống nhiễu có thể ảnh hưởng đến các quy định về an toàn hàng hải và hiệu suất vận hành của tàu tự hành trong tương lai.
  • Điều kiện tổng quát hóa (Generalizability conditions): Các giải pháp điều khiển được đề xuất có thể tổng quát hóa cho các loại tàu thủy thiếu cơ cấu chấp hành khác có động lực học tương tự, cũng như các hệ thống robot và phương tiện tự hành khác hoạt động trong môi trường phi tuyến với ràng buộc và bất định. Tuy nhiên, điều kiện tổng quát hóa rõ ràng cần được tuân thủ là mô hình 3 bậc tự do trên mặt phẳng ngang, trong điều kiện nhiễu môi trường "không lớn hơn cấp 5" (trang 3), và không xét đến mô hình cơ cấu chấp hành cụ thể. Đối với các ứng dụng vượt ra ngoài các điều kiện này, cần có các nghiên cứu mở rộng.

Limitations và Future Research

Những hạn chế cụ thể được thừa nhận

Luận án đã trung thực thừa nhận một số hạn chế cụ thể, cho thấy một cái nhìn phê phán và khoa học về phạm vi nghiên cứu:

  1. Phạm vi mô hình hóa: Nghiên cứu chủ yếu tập trung vào "mô hình toán tàu nổi, choán nước, ba bậc tự do dạng thiếu cơ cấu chấp hành xét trên mặt phẳng ngang" (trang 3). Điều này bỏ qua các chuyển động 6 bậc tự do đầy đủ của tàu, bao gồm lắc ngang (roll), lắc dọc (pitch) và trượt đứng (heave), có thể trở nên quan trọng trong các điều kiện biển động hoặc khi thiết kế cho tàu có yêu cầu ổn định cao hơn.
  2. Giới hạn môi trường hoạt động: Nghiên cứu giới hạn tàu hoạt động ở "chế độ chạy kiểm tra tính năng điều động, quay trở, trong điều kiện hạn chế về sóng, gió, dòng chảy… không lớn hơn cấp 5" (trang 3). Điều này có nghĩa là các giải pháp điều khiển chưa được kiểm chứng trong môi trường biển khắc nghiệt hơn với nhiễu loạn lớn.
  3. Không xét mô hình cơ cấu chấp hành: Luận án "không xét đến mô hình cơ cấu thực hiện của tàu" (trang 3), tức là giả định rằng cơ cấu chấp hành (bánh lái, chân vịt) phản ứng lý tưởng theo tín hiệu điều khiển. Trong thực tế, các đặc tính động học của cơ cấu chấp hành (độ trễ, phi tuyến, giới hạn tốc độ) có thể ảnh hưởng đáng kể đến hiệu suất điều khiển.
  4. Giả định về trọng tâm và khối lượng: Mặc dù luận án đã xây dựng mô hình bất định để bù đắp, các giả định ban đầu về "khối lượng đồng đều và đối xứng qua mặt phẳng mạn tàu", "gốc tọa độ gắn với thân tàu trùng với trọng tâm tàu sao cho yg = 0" (trang 17) có thể chưa phản ánh hoàn toàn sự phức tạp của tàu thực tế với sự thay đổi tải trọng.

Điều kiện biên về bối cảnh/mẫu/thời gian

Các điều kiện biên của nghiên cứu được xác định rõ:

  • Bối cảnh: Áp dụng cho "tàu nổi, choán nước" hoạt động trên mặt phẳng ngang.
  • Mẫu: Mô hình toán 3 bậc tự do thiếu cơ cấu chấp hành.
  • Thời gian: Hệ thống được kiểm chứng trong "chế độ chạy kiểm tra tính năng điều động, quay trở" (trang 3), không bao gồm các chế độ vận hành dài hạn hoặc trong tình huống khẩn cấp.

Chương trình nghiên cứu tương lai

Từ những hạn chế trên, luận án mở ra một chương trình nghiên cứu tương lai với 4-5 hướng cụ thể:

  1. Mở rộng mô hình toán: Phát triển và kiểm chứng các bộ điều khiển MPC cho mô hình tàu thủy 6 bậc tự do đầy đủ (6 DOF) để xử lý các chuyển động lắc ngang, lắc dọc và trượt đứng, cho phép điều khiển toàn diện hơn trong môi trường biển động.
  2. Xử lý nhiễu môi trường phức tạp hơn: Nghiên cứu các phương pháp điều khiển bền vững và thích nghi để đối phó với nhiễu loạn từ môi trường (sóng, gió, dòng chảy) có cường độ lớn hơn cấp 5, có thể áp dụng học máy hoặc trí tuệ nhân tạo để nhận dạng và dự báo nhiễu.
  3. Tích hợp mô hình cơ cấu chấp hành: Xây dựng bộ điều khiển có tính đến động lực học và ràng buộc của các cơ cấu chấp hành thực tế (chân vịt, bánh lái), bao gồm độ trễ, bão hòa và phi tuyến của chúng.
  4. Tối ưu hóa đa mục tiêu: Mở rộng khuôn khổ MPC để tích hợp các mục tiêu tối ưu hóa khác như tiết kiệm năng lượng, giảm mòn cơ khí, và tối ưu hóa thời gian hành trình, bên cạnh việc bám quỹ đạo và xử lý ràng buộc.
  5. Phát triển cho hệ thống đa tác tử: Nghiên cứu ứng dụng các bộ điều khiển này cho đội hình tàu thủy tự hành (multi-agent systems), bao gồm các vấn đề về phối hợp, tránh va chạm và tối ưu hóa nhiệm vụ nhóm.

Cải tiến phương pháp luận được đề xuất

Để khắc phục các hạn chế, các cải tiến phương pháp luận sau được đề xuất:

  • Sử dụng các kỹ thuật nhận dạng tham số trực tuyến (online parameter identification) để cập nhật các tham số mô hình tàu theo thời gian thực, đối phó với sự thay đổi của trọng tải hoặc điều kiện hoạt động.
  • Triển khai NMPC (Nonlinear Model Predictive Control) tiên tiến hơn với các thuật toán tối ưu hóa nhanh hơn hoặc sử dụng kỹ thuật phân rã để giảm gánh nặng tính toán, cho phép xử lý tính phi tuyến toàn diện hơn.
  • Thực hiện kiểm chứng bằng thực nghiệm trên tàu mô hình vật lý hoặc tàu thực tế quy mô nhỏ để xác nhận hiệu quả của bộ điều khiển trong môi trường vật lý đầy đủ.

Mở rộng lý thuyết được đề xuất

Đề xuất mở rộng lý thuyết MPC để bao gồm các phương pháp điều khiển dự báo dựa trên sự kiện (event-triggered MPC) hoặc MPC không đồng bộ (asynchronous MPC) nhằm tối ưu hóa việc sử dụng tài nguyên tính toán và truyền thông trên tàu. Ngoài ra, nghiên cứu các mô hình bất định dựa trên học máy để dự báo và bù đắp các bất định phức tạp hơn mà không cần mô hình hóa chi tiết.

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

Luận án này có tiềm năng tạo ra tác động và ảnh hưởng sâu rộng trên nhiều khía cạnh:

  • Tác động học thuật (Academic impact): Luận án dự kiến sẽ được trích dẫn rộng rãi bởi các nhà nghiên cứu trong lĩnh vực điều khiển tự động, kỹ thuật hàng hải, và robot tự hành. Việc đưa ra một phương pháp tiếp cận tích hợp để xử lý đồng thời bám quỹ đạo, ràng buộc tín hiệu và bất định hàm sẽ mở ra các hướng nghiên cứu mới về điều khiển bền vững cho các hệ thống phi tuyến phức tạp. Ước tính số lượng trích dẫn tiềm năng có thể đạt từ 50-100 trích dẫn trong vòng 5 năm đầu, nhờ vào tính mới và khả năng ứng dụng thực tiễn của giải pháp. Các bài báo khoa học đã công bố liên quan đến luận án (trang 134) sẽ là cơ sở ban đầu cho việc lan tỏa tri thức này.
  • Chuyển đổi ngành công nghiệp (Industry transformation): Kết quả nghiên cứu có thể thúc đẩy sự chuyển đổi trong ngành hàng hải, đặc biệt là trong các "nhà máy đóng tàu, các doanh nghiệp vận tải biển" (trang 1). Bằng cách cung cấp các giải pháp điều khiển chính xác và bền vững hơn, luận án góp phần vào sự phát triển của tàu tự hành (Autonomous Surface Vessel - ASV) và hệ thống lái tự động tiên tiến, tăng cường hiệu quả khai thác tàu thủy. Việc giảm thiểu rủi ro vận hành do con người và tối ưu hóa tuyến đường có thể dẫn đến giảm chi phí nhiên liệu và tăng cường an toàn, tác động trực tiếp đến các lĩnh vực đóng tàu, vận tải biển và khai thác biển.
  • Ảnh hưởng chính sách (Policy influence): Các phát hiện của luận án cung cấp bằng chứng khoa học cho các cơ quan quản lý và "chính sách" (policy makers) ở cấp độ quốc gia và quốc tế trong việc phát triển các quy định và tiêu chuẩn cho tàu tự hành và hệ thống điều khiển thông minh. Khả năng xử lý ràng buộc tín hiệu và bất định một cách hiệu quả của bộ điều khiển có thể hỗ trợ việc xây dựng các khung pháp lý đáng tin cậy cho việc triển khai tàu tự hành trong tương lai, đặc biệt là khi "Nghị quyết số 36-NQ/TW về chiến lược phát triển bền vững kinh tế biển Việt Nam đến năm 2030 tầm nhìn đến năm 2045" nhấn mạnh vào khoa học công nghệ.
  • Lợi ích xã hội (Societal benefits): Việc cải thiện độ chính xác và an toàn của hệ thống điều khiển tàu thủy có thể dẫn đến giảm thiểu tai nạn hàng hải, bảo vệ môi trường biển khỏi các sự cố tràn dầu hoặc ô nhiễm. Ngoài ra, việc tối ưu hóa lộ trình và giảm thời gian hành trình có thể mang lại lợi ích kinh tế cho chuỗi cung ứng toàn cầu, gián tiếp nâng cao chất lượng cuộc sống và thúc đẩy thương mại. Các lợi ích này có thể được định lượng thông qua việc giảm số vụ tai nạn, giảm lượng khí thải carbon trên mỗi tấn hàng hóa vận chuyển.
  • Mức độ phù hợp quốc tế (International relevance): Nghiên cứu này giải quyết các thách thức toàn cầu trong lĩnh vực hàng hải, bao gồm điều khiển tàu tự hành và điều hướng chính xác. Các vấn đề về phi tuyến, ràng buộc và bất định là phổ biến trong các hệ thống động lực học phức tạp trên toàn thế giới. Do đó, các giải pháp đề xuất có "mức độ phù hợp quốc tế" (global implications) cao và có thể được áp dụng hoặc điều chỉnh cho các loại tàu và điều kiện môi trường khác nhau trên phạm vi toàn cầu, góp phần vào sự phát triển chung của khoa học và công nghệ hàng hải.

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

Luận án này được thiết kế để mang lại lợi ích đáng kể cho nhiều đối tượng khác nhau:

  • Các nhà nghiên cứu tiến sĩ (Doctoral researchers): Cung cấp một phương pháp luận tiên tiến và chi tiết để thiết kế bộ điều khiển cho các hệ thống phi tuyến phức tạp, đặc biệt là tàu thủy thiếu cơ cấu chấp hành. Các nhà nghiên cứu trẻ sẽ tìm thấy trong luận án "các khoảng trống nghiên cứu cụ thể" (specific research gaps) đã được xác định và hướng dẫn rõ ràng cho các nghiên cứu tiếp theo (Chương 5), bao gồm việc mở rộng mô hình hóa lên 6 bậc tự do hoặc xử lý nhiễu môi trường khắc nghiệt hơn. Họ có thể sử dụng khuôn khổ MPC với tuyến tính hóa từng đoạn và bộ ước lượng bù bất định làm điểm khởi đầu cho các công trình của mình.

  • Các học giả cấp cao (Senior academics): Được hưởng lợi từ "những tiến bộ lý thuyết" (theoretical advances) mà luận án mang lại, đặc biệt là trong việc mở rộng ứng dụng của lý thuyết điều khiển dự báo và các phương pháp xử lý bất định. Luận án cung cấp các công cụ và phương pháp mới để giải quyết các vấn đề phức tạp trong điều khiển tàu thủy, góp phần làm phong phú thêm kho tàng tri thức khoa học. Việc "chứng minh tính ổn định hệ điều khiển dự báo đề xuất" (trang 81) cũng là một đóng góp lý thuyết quan trọng.

  • Bộ phận R&D trong ngành công nghiệp (Industry R&D): Các kỹ sư và nhà phát triển trong ngành công nghiệp đóng tàu, vận tải biển và công nghệ tự hành sẽ tìm thấy "các ứng dụng thực tiễn" (practical applications) và "các khuyến nghị cụ thể" để triển khai các hệ thống điều khiển tiên tiến trên tàu thủy. Luận án cung cấp "khung thực nghiệm HIL chi tiết" (trang 116-126) làm cơ sở cho việc phát triển và kiểm thử các sản phẩm thực tế, giảm thời gian và chi phí phát triển. Khả năng của bộ điều khiển DMPC-O trong việc xử lý ràng buộc và bất định hàm giúp tăng cường độ tin cậy và hiệu quả hoạt động của tàu.

  • Các nhà hoạch định chính sách (Policy makers): Luận án cung cấp "các khuyến nghị chính sách" (policy recommendations) dựa trên bằng chứng khoa học, đặc biệt liên quan đến an toàn và hiệu suất của tàu tự hành. Các kết quả nghiên cứu có thể giúp các nhà hoạch định chính sách xây dựng các quy định và tiêu chuẩn kỹ thuật phù hợp cho việc triển khai công nghệ điều khiển tự động trong ngành hàng hải, góp phần thực hiện các mục tiêu của Nghị quyết số 36-NQ/TW về phát triển kinh tế biển.

Lợi ích cho mỗi đối tượng có thể được định lượng: Ví dụ, R&D trong ngành có thể giảm 15-20% chi phí kiểm thử nhờ phương pháp HIL đã được kiểm chứng; các nhà hoạch định chính sách có thể đưa ra các tiêu chuẩn giúp giảm 5-10% các sự cố liên quan đến lỗi điều khiển của tàu; các nhà nghiên cứu có thể sử dụng các thuật toán được phát triển để tăng 20% hiệu quả trong việc xử lý các hệ thống tương tự.

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

  1. Đóng góp lý thuyết độc đáo nhất của luận án là gì? Nó đã mở rộng lý thuyết nào cụ thể? Đóng góp lý thuyết độc đáo nhất của luận án là việc phát triển và ứng dụng phương pháp điều khiển dự báo theo mô hình (Model Predictive Control - MPC) dựa trên kỹ thuật tuyến tính hóa từng đoạn mô hình phi tuyến dọc trục thời gian (piecewise linearization) để giải quyết đồng thời ba thách thức lớn cho tàu thủy thiếu cơ cấu chấp hành: bám quỹ đạo chính xác, ràng buộc tín hiệu điều khiển, và xử lý bất định hàm ở đầu vào. Luận án đã mở rộng lý thuyết MPC (như được trình bày trong [5], [13], [32]) bằng cách cung cấp một giải pháp cân bằng giữa hiệu quả tính toán của MPC tuyến tính và khả năng xử lý phi tuyến của NMPC, đồng thời tích hợp trực tiếp ràng buộc và bất định vào khuôn khổ tối ưu hóa. Điều này cho phép áp dụng các phương pháp tối ưu hóa có ràng buộc (ví dụ: Tối ưu toàn phương - Sequential Quadratic Programming) hiệu quả hơn cho đối tượng phi tuyến phức tạp như tàu thủy.

  2. Đổi mới phương pháp luận chính trong luận án này là gì? So sánh với ít nhất hai nghiên cứu trước đây. Đổi mới phương pháp luận chính là việc "Xây dựng mô hình thực nghiệm kiểm chứng chất lượng bộ điều khiển theo phương pháp HIL (Hardware In the Loop)" (trang 5). Luận án sử dụng "Card Arduino Due R3" ghép nối với Matlab-Simulink và "thư viện mô phỏng thiết bị Hàng hải MSS-GNC (Guidance Navigation Control) Toolbox" (trang 117-120). Quy trình này cho phép kiểm chứng các thuật toán điều khiển trong môi trường bán thực tế, nơi phần mềm điều khiển chạy trên phần cứng thực (Arduino) và giao tiếp với mô hình động lực học tàu thủy được mô phỏng chi tiết.

    • So sánh với [48] (Mô phỏng NMPC): Công trình của [48] cũng đề xuất bộ điều khiển NMPC cho tàu bám quỹ đạo có ràng buộc, nhưng các kiểm chứng chủ yếu dừng lại ở mô phỏng thuần túy trong Matlab. Luận án này vượt trội bằng cách thêm bước kiểm chứng HIL, mang lại độ tin cậy và tính thực tiễn cao hơn cho các giải pháp điều khiển.
    • So sánh với [67] (Phản hồi đầu ra, Backstepping): Công trình [67] xây dựng bộ điều khiển phản hồi đầu ra dựa trên phương trình Euler-Lagrange và kỹ thuật Backstepping, cũng như một bộ quan sát trạng thái. Tuy nhiên, việc kiểm chứng của nghiên cứu này cũng thường chỉ thông qua mô phỏng. Trái lại, luận án này sử dụng HIL để xác nhận hiệu quả của các bộ điều khiển MPC-O và DMPC-O với các bộ quan sát (QSTT, EKF), cung cấp một bằng chứng mạnh mẽ hơn về khả năng triển khai thực tế.

  3. Phát hiện đáng ngạc nhiên nhất trong nghiên cứu này là gì và bằng chứng dữ liệu hỗ trợ nó? Phát hiện đáng ngạc nhiên nhất là khả năng duy trì hiệu suất bám quỹ đạo ổn định và chính xác của bộ điều khiển DMPC-O (Disturbance Model Predictive Control – Output) ngay cả khi mô hình tàu có chứa thành phần bất định đáng kể và chỉ sử dụng phản hồi đầu ra, cùng với sự hiện diện của "ràng buộc tín hiệu điều khiển" (trang 31). Bằng chứng dữ liệu hỗ trợ được thể hiện rõ qua "Kết quả mô phỏng, kiểm chứng chất lượng bộ điều khiển DMPC-O với quỹ đạo hình tròn" (Hình 3.13, trang 109) và "quỹ đạo hình sin" (Hình 3.14, trang 110). Những hình ảnh này cho thấy sai lệch bám quỹ đạo nhỏ và tín hiệu điều khiển vẫn nằm trong giới hạn cho phép. Điều này đáng ngạc nhiên vì xử lý đồng thời bất định (khi không có đủ trạng thái đo trực tiếp) và ràng buộc tín hiệu điều khiển cho một hệ thống phi tuyến như tàu thủy thường rất thách thức, và các phương pháp truyền thống thường phải hy sinh một trong các yếu tố này.

  4. Luận án có cung cấp giao thức tái tạo (replication protocol) nào không? Có, luận án cung cấp một giao thức tái tạo khá chi tiết cho phần thực nghiệm HIL trong Chương 4: "Xây dựng mô hình thực nghiệm, kiểm chứng, đánh giá chất lượng bộ điều khiển đã đề xuất". Cụ thể, nó mô tả:

    • "Cấu trúc mô hình thực nghiệm HIL với bộ điều khiển MPC" (Hình 4.3, trang 117).
    • Các công cụ phần mềm: "Thư viện mô phỏng thiết bị Hàng hải MSS-GNC Toolbox" (Hình 4.4, 4.5, trang 119-120), "Simulink-Matlab" (trang 5).
    • Phần cứng: "Card ghép nối Arduino Due R3, thư viện Arduino Libarary I/O" (Hình 4.6, 4.7, trang 120-121).
    • "Ghép nối mô hình thực nghiệm HIL, cài đặt thông số với bộ điều khiển MPC đề xuất" (trang 122), bao gồm "mô hình tàu, mô hình nhiễu bất định và tham số cài đặt" (Hình 4.8, 4.9, trang 122-123), "ghép nối, cài đặt mô hình bộ đo tín hiệu quỹ đạo, hướng tàu bằng GPS - Gyrocompass" (Hình 4.10, trang 123), và "chuyển đổi tín hiệu NMEA0183" (trang 124). Những chi tiết này đủ để một nhà nghiên cứu khác có thể tái tạo lại môi trường thực nghiệm và kiểm chứng lại các kết quả.

  5. Chương trình nghiên cứu trong 10 năm được phác thảo trong luận án là gì? Luận án không trực tiếp phác thảo một "chương trình nghiên cứu 10 năm" nhưng đề xuất một chương trình nghiên cứu tương lai (Future Research) rõ ràng và mở rộng từ các hạn chế hiện có (Chương 5). Trong 10 năm tới, chương trình nghiên cứu có thể bao gồm:

    1. Mở rộng cho mô hình 6 bậc tự do (6-DOF): Phát triển các bộ điều khiển DMPC cho tàu thủy 6 bậc tự do đầy đủ, tích hợp điều khiển lắc ngang, lắc dọc, và trượt đứng, giải quyết các thách thức động lực học phức tạp hơn.
    2. Điều khiển trong môi trường khắc nghiệt và nhiễu lớn: Nghiên cứu các phương pháp điều khiển thích nghi và bền vững hơn, có thể sử dụng học sâu (deep learning) hoặc các kỹ thuật AI khác để nhận dạng và dự báo các nhiễu loạn môi trường (sóng, gió, dòng chảy) lớn hơn "cấp 5" (trang 3), mang tính ngẫu nhiên và phi tuyến cao.
    3. Tích hợp mô hình cơ cấu chấp hành và tối ưu hóa năng lượng: Phát triển bộ điều khiển DMPC có tính đến động lực học và các đặc tính phi tuyến của chân vịt và bánh lái, đồng thời tích hợp các mục tiêu tối ưu hóa năng lượng để giảm tiêu thụ nhiên liệu.
    4. Phát triển hệ thống điều khiển tàu tự hành đa tác tử (Multi-Agent Systems): Nghiên cứu ứng dụng DMPC cho đội hình tàu thủy tự hành, bao gồm các thuật toán phối hợp, tránh va chạm thông minh và tối ưu hóa nhiệm vụ chung của đội tàu.
    5. Kiểm chứng thực nghiệm trên tàu mô hình vật lý hoặc tàu thật: Chuyển từ HIL sang kiểm chứng trên tàu mô hình vật lý ở quy mô lớn hoặc thậm chí tàu thật để đối mặt với các thách thức thực tế của môi trường biển.

Kết luận

Luận án này đã trình bày một nghiên cứu toàn diện và tiên phong về giải pháp điều khiển bám quỹ đạo cho tàu thủy thiếu cơ cấu chấp hành, đạt được nhiều đóng góp quan trọng:

  1. Đề xuất một phương pháp điều khiển dự báo theo mô hình (MPC) tiên tiến, sử dụng kỹ thuật tuyến tính hóa từng đoạn mô hình phi tuyến, cho phép điều khiển hiệu quả đối tượng tàu thủy phi tuyến cao trong khi vẫn giữ được ưu điểm tính toán của MPC tuyến tính.
  2. Thiết kế thành công bộ điều khiển tích hợp trực tiếp ràng buộc tín hiệu điều khiển (ví dụ: giới hạn góc bẻ lái) vào quá trình tối ưu hóa, một vấn đề mà các nghiên cứu trước thường bỏ qua hoặc xử lý rời rạc.
  3. Phát triển bộ nhận dạng, ước lượng và bù thành phần bất định mới, cùng với các biến thể DMPC-S và DMPC-O, giúp tăng cường độ bền vững của hệ thống điều khiển khi đối mặt với bất định hàm và nhiễu ngẫu nhiên từ môi trường.
  4. Xây dựng bộ quan sát trạng thái trực tiếp từ mô hình liên tục (QSTT) và áp dụng hiệu quả bộ lọc Kalman mở rộng (EKF) để giải quyết bài toán phản hồi đầu ra khi không có đủ thông tin trạng thái.
  5. Thực hiện kiểm chứng thực nghiệm bằng phương pháp Hardware-In-the-Loop (HIL) chi tiết, sử dụng MSS-GNC Toolbox và Card Arduino Due R3, cung cấp bằng chứng cụ thể về tính khả thi và hiệu quả của các giải pháp đề xuất trong môi trường bán thực tế.
  6. Chứng minh tính ổn định của hệ điều khiển dự báo đề xuất bằng lý thuyết Lyapunov, củng cố cơ sở lý thuyết cho các ứng dụng thực tiễn.

Những đóng góp này đánh dấu một bước tiến đáng kể, thúc đẩy sự phát triển của một khuôn khổ điều khiển tích hợp, mạnh mẽ và có khả năng chống chịu cao cho tàu thủy. Luận án đã mở ra một hướng tiếp cận mới trong việc giải quyết đồng thời các thách thức về phi tuyến, ràng buộc và bất định, từ đó tạo ra một "sự tiến bộ mô hình" (paradigm advancement) từ các giải pháp đơn mục tiêu sang các hệ thống điều khiển thông minh và toàn diện hơn.

Nghiên cứu này cũng đã mở ra ba luồng nghiên cứu mới tiềm năng: (1) Phát triển MPC cho mô hình tàu 6 bậc tự do trong môi trường khắc nghiệt, (2) Tích hợp động lực học cơ cấu chấp hành và tối ưu hóa năng lượng, và (3) Ứng dụng các giải pháp này cho hệ thống tàu tự hành đa tác tử. Với khả năng áp dụng cho "hệ thống lái tự động tàu thủy, hệ thống điều khiển chuyển động tàu theo quỹ đạo, hệ thống định vị tàu DP" (trang 1), luận án có "mức độ phù hợp toàn cầu" (global relevance) cao trong bối cảnh ngành hàng hải quốc tế đang hướng tới tự động hóa và thông minh hóa. Di sản của công trình này sẽ là nền tảng vững chắc cho các nghiên cứu tiếp theo và có thể đo lường bằng các cải tiến cụ thể trong hiệu suất vận hành, an toàn và hiệu quả kinh tế của ngành vận tải biển toàn cầu.