Tổng quan về luận án

Nghiên cứu điều khiển đội hình (formation control) cho hệ đa robot di động tự hành (Multi-Robot Systems - MRS) đóng vai trò then chốt trong các nhiệm vụ trinh sát, cứu hộ, khảo sát môi trường và vận tải tự động. Luận án tiến sĩ kỹ thuật chuyên ngành Kỹ thuật Điện - Điều khiển và Robot (Department of Electrical Engineering, Robotics and Control Major) của tác giả Trần Việt Hồng (Yeungnam University, Hàn Quốc, 2010), dưới sự hướng dẫn của Giáo sư Lee Suk Gyu, giải quyết triệt để bài toán điều khiển đội hình theo mô hình Trưởng - Phối thuộc (Leader-Follower) cho robot di động phi holonomic (non-holonomic wheeled mobile robots) hoạt động trong không gian 2D với ràng buộc cảm biến tích hợp trên thân (on-board sensors) và môi trường chịu tác động của nhiễu.

                  +-------------------------------------------------------------+
                  |               HỆ THỐNG ĐỘI HÌNH LEADER-FOLLOWER            |
                  +-------------------------------------------------------------+
                                                 |
         +---------------------------------------+---------------------------------------+
         |                                       |                                       |
         v                                       v                                       v
+------------------+                   +--------------------+                  +------------------+
|  CẢM BIẾN ON-BOARD|                   | ĐIỀU KHIỂN ĐỘI HÌNH|                  | TRÁNH VẬT CẢN    |
| (Wavelet GCC)    |                   | (SLSF & TLSF)      |                  | (Chuyển đổi Role)|
+------------------+                   +--------------------+                  +------------------+
| - Khử nhiễu DWT  |                   | - Ước lượng va, ωa |                  | - Đổi Leader     |
| - Sym8 Wavelet   |                   | - Ổn định Lyapunov |                  | - Duy trì liên   |
| - SNR < -40 dB   |                   | - Không đo vận tốc |                  |   kết hình học   |
+------------------+                   +--------------------+                  +------------------+

Khoảng trống nghiên cứu (research gap) cốt lõi xuất phát từ thực tế: phần lớn các thuật toán Leader-Follower truyền thống đòi hỏi robot phối thuộc (follower) phải biết chính xác vận tốc dài ($v_i$) và vận tốc góc ($\omega_i$) của robot trưởng (leader) thông qua hệ thống truyền thông không dây liên tục hoặc cơ chế ước lượng gián tiếp phức tạp. Điều này làm tăng độ trễ thời gian (time-delay), tiêu tốn tài nguyên tính toán và dễ gây mất ổn định khi kênh truyền bị suy giảm. Hơn nữa, sơ đồ truyền thống Một Trưởng - Một Phối thuộc (Single Leader – Single Follower, SLSF) bộc lộ nhược điểm tích lũy sai số và dao động cơ học nghiêm trọng khi quy mô đội hình mở rộng.

Nghiên cứu đặt ra 3 câu hỏi nghiên cứu và giả thuyết cụ thể:

  • RQ1: Làm thế nào để điều khiển ổn định tiệm cận robot follower bám theo leader mà không cần đo đạc hay truyền thông vận tốc của leader?
  • RQ2: Làm thế nào để triệt tiêu hiện tượng dao động, tích lũy sai số ở các robot bậc cao trong đội hình lớn và hỗ trợ né tránh vật cản linh hoạt?
  • RQ3: Làm thế nào để tối ưu hóa độ chính xác và thời gian xử lý tín hiệu khoảng cách từ cảm biến siêu âm trong môi trường có tỷ số tín hiệu trên nhiễu cực thấp?
  • H1: Bằng phân tích động học cục bộ, gia tốc tịnh tiến và gia tốc góc tức thời của leader có thể được bù đắp trực tiếp thông qua sai số khoảng cách và góc kẹp.
  • H2: Sơ đồ Hai Trưởng - Một Phối thuộc (Two Leaders – Single Follower, TLSF) kết hợp luật điều khiển hợp nhất sẽ hạn chế dao động và đẩy nhanh tốc độ hội tụ so với SLSF.
  • H3: Thuật toán biến đổi Wavelet kết hợp tương quan chéo tổng quát (Wavelet-based GCC) với kỹ thuật dự đoán vùng trễ sẽ duy trì độ chính xác định vị dưới ngưỡng SNR < -40 dB.

Khung lý thuyết của luận án tích hợp hình học vi phân phi holonomic, lý thuyết ổn định Lyapunov phi tuyến và phân tích đa phân giải Wavelet. Đóng góp đột phá được định lượng rõ nét: xây dựng luật điều khiển thống nhất cho cả cấu hình SLSF và TLSF, chứng minh ổn định tiệm cận toàn cục theo Lyapunov, tích hợp thuật toán tránh vật cản thông qua chuyển đổi vai trò leader tức thời, và đề xuất hai thuật toán xử lý tín hiệu siêu âm IWP-GCC và IWDIP giúp giảm đáng kể thời gian tính toán trong môi trường nhiễu nặng ($SNR < -40\text{ dB}$).


Literature Review và Positioning

Nghiên cứu điều khiển phân tán và phối hợp đa tác tử đã phát triển qua nhiều trường phái lý thuyết. Cấu trúc tập trung (centralized) của Leonard & Fiorelli (2001) hay Tanner et al. (2003) giải quyết triệt để việc quy hoạch quỹ đạo nhưng đòi hỏi băng thông lớn và tiềm ẩn nguy cơ sụp đổ toàn hệ thống khi điểm nút trung tâm lỗi (single point of failure). Ngược lại, cấu trúc phi tập trung (decentralized) do Siljak (1991) khởi xướng mang lại tính bền vững cao trước các nhiễu loạn cấu trúc nhưng lại gặp thách thức lớn trong việc kiểm soát các điểm cân bằng tới hạn (critical equilibrium points).

Trường phái điều khiển Đại diện tiêu biểu Ưu điểm cốt lõi Nhược điểm & Giới hạn
Behavior-based Approach Balch & Arkin (1998); Fierro et al. (2002) Phối hợp đa mục tiêu linh hoạt thông qua trọng số hành vi Khó mô tả động học nhóm và không chứng minh được độ ổn định toán học chặt chẽ
Virtual Structure Lewis & Tan (1997); Beard et al. (2001) Hành vi đội hình có độ dự đoán cao, giữ vững cấu trúc cứng Băng thông truyền thông lớn, kém linh hoạt khi thay đổi hình dạng đội hình
Graph-based Approach Desai et al. (2002); Olfati-Saber (2006) Dễ mở rộng quy mô nhóm bằng đồ thị có hướng Thường chỉ áp dụng cho mô hình chất điểm (point-mass), bỏ qua ràng buộc phi holonomic
Leader-Follower (Cascade) Gu & Hu (2008) [GH08] Bỏ qua việc đo vận tốc leader bằng quan sát phi tuyến Phải giả định $\omega_i = 0, v_i = 0$ để tách kênh hệ thống, tích lũy sai số lớn ở đội hình mở rộng
Second-order Dynamics Li, Tao & Lee (2007) [LTL07] Phân tích gia tốc chi tiết cho quỹ đạo phức tạp Sai số góc hướng tương đối giữa follower và leader không thể hội tụ về 0
Artificial Force Approach Soria & Patel (2010) [SP10] Tiềm năng ứng dụng thực tế cao Đòi hỏi các robot thành viên phải có đặc tính vật lý hoàn toàn đồng nhất

Trong luồng nghiên cứu Leader-Follower, công trình của Gu & Hu (2008) [GH08] tạo bước tiến khi thiết kế bộ điều khiển phản hồi động không cần đo trực tiếp vận tốc leader. Tuy nhiên, tác giả phải giả định vận tốc góc và vận tốc dài của leader bằng 0 tại bước tách kênh để chứng minh ổn định Lyapunov, khiến hệ thống dao động mạnh khi quỹ đạo cong. Luận án của Trần Việt Hồng định vị trực tiếp vào khoảng trống này: thiết lập bộ ước lượng gia tốc tịnh tiến ($v_a$) và gia tốc góc ($\omega_a$) dựa trên phân tích hình học động học thực tế, mở rộng từ mô hình SLSF sang TLSF, giải quyết triệt để bài toán dao động của các robot bậc $R_2, R_3, R_4$ mà không cần bất kỳ kênh truyền thông vận tốc nào.


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

          Ri (Major Leader)
            * (xi, yi)
           / \
          /   \
  dk0, dki     dj0, dji
        /       \
       /  ψ      \
      /            \
     *--------------*
  Rk (Follower)     Rj (Minor Leader)
 (xk, yk)  lk0, dkj  (xj, yj)

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

Luận án mở rộng lý thuyết điều khiển chuyển động phi holonomic bằng việc xây dựng hệ phương trình vi phân mô tả động học tương quan giữa robot trưởng $R_i$ và robot phối thuộc $R_k$: $$\dot{d}{ki} = -v_k \cos \phi{ki} + v_i \cos (\phi_{ki} + \Delta\theta_k)$$ $$\dot{\phi}{ki} = -\omega_k + \frac{v_k}{d{ki}} \sin \phi_{ki} - \frac{v_i}{d_{ki}} \sin (\phi_{ki} + \Delta\theta_k)$$ $$\Delta\dot{\theta}_k = \omega_k - \omega_i$$

Thay vì đo đạc trực tiếp $v_i, \omega_i$, luận án đề xuất mô hình bù thích nghi gia tốc tịnh tiến $v_a$ và gia tốc góc $\omega_a$ thông qua phân tích động học trong hệ quy chiếu cục bộ: $$v_a = k_2 \operatorname{sgn}(\cos 2\theta_i) \left[ d_{ki}\cos(\phi_{ki} + \Delta\theta_k) - d_{k0}\cos(\phi_{km} + \Delta\theta_k) \right]$$ $$\omega_a = k_x \frac{e_x (\sin(\Delta\theta_k)\sin\phi_{km} - \cos(\Delta\theta_k))}{d_{k0}\cos\phi_{km}} - k_y \frac{e_y (\cos(\Delta\theta_k + \phi_{km})\sin\phi_{km} + \sin(\Delta\theta_k))}{d_{k0}\cos\phi_{km}}$$

Luật điều khiển hợp nhất cho cả hai sơ đồ SLSF và TLSF được thiết lập tại Phương trình (3.14): $$v_k = k_1 \frac{d_{ki}\cos(\phi_{ki} - \phi_{km}) - d_{k0}\cos(\phi_{km} + \Delta\theta_k)}{\cos\phi_{km}} + v_a \frac{\cos(\phi_{km} + \Delta\theta_k)}{\cos\phi_{km}}$$ $$\omega_k = k_1 \frac{d_{ki}\cos\phi_{ki} - d_{k0}\sin\phi_{km}}{d_{ki}\cos\phi_{km}} - v_a \frac{\sin\Delta\theta_k}{d_{ki}\cos\phi_{km}} - \omega_a$$

Định lý 3.1 (Tính ổn định Lyapunov): Giả sử chuyển động của robot trưởng $R_i$ thỏa mãn $v_i(t) \ge v_0 > 0$, $v_a(t) \in L_2[0, \infty)$, $\omega_i(t) \in L_2[0, \infty)$, $\omega_a(t) \in L_2[0, \infty)$. Với hàm ứng viên Lyapunov $V = \frac{1}{2}(e_x^2 + e_y^2)$, nếu các hệ số điều khiển thỏa mãn ràng buộc: $$0 < k_x < k_1^2 \quad \text{và} \quad -k_2 \operatorname{sgn}(\cos 2\theta_i) < k_y < k_1 - k_2 \operatorname{sgn}(\cos 2\theta_i)$$ thì đạo hàm theo thời gian $\dot{V} \le 0$, đảm bảo sai số định vị $(e_x, e_y)$ hội tụ mũ về 0 khi $t \to \infty$, chứng minh hệ thống ổn định tiệm cận toàn cục.

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

Khung phân tích tích hợp ba trụ cột:

  1. Hình học tam giác TLSF: Ràng buộc đồng thời khoảng cách tới Major Leader ($d_{k0}$) và Minor Leader ($l_{k0}$), biến góc kẹp mong muốn $\phi_{km}(t)$ thành một hàm biến thiên liên tục theo thời gian, giúp triệt tiêu dao động bậc cao.
  2. Kỹ thuật bù động học phi tiếp xúc: Ước lượng gia tốc tức thời thông qua sai số vị trí tương đối, xóa bỏ phụ thuộc vào kênh truyền thông giữa các robot.
  3. Không gian điều kiện biên xác định: Ràng buộc chặt chẽ $v_i(t) \ge v_0 > 0$ bảo đảm tính khả điều khiển của mô hình bánh xe không trượt unicycle.

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

Thiết kế nghiên cứu

Nghiên cứu theo trường phái thực chứng (positivism) với phương pháp diễn dịch toán học kết hợp mô phỏng kiểm chứng số trị nghiêm ngặt trên nền tảng MATLAB. Thiết kế hệ thống đa tầng bao gồm:

  • Tầng cảm biến (Sensor Layer): Thu nhận khoảng cách và góc lệch từ cảm biến siêu âm trên thân xe.
  • Tầng lọc và ước lượng (Estimation Layer): Khử nhiễu Wavelet đa phân giải và tính toán gia tốc ảo ($v_a, \omega_a$).
  • Tầng điều khiển (Control Layer): Thực thi luật điều khiển phân tán phi tuyến (3.14).
  • Tầng thích ứng môi trường (Obstacle Avoidance Layer): Tự động chuyển đổi vai trò Trưởng - Phối thuộc khi gặp vật cản tĩnh.

Quy trình nghiên cứu rigorous

Quy trình mô phỏng và kiểm chứng được chuẩn hóa với các thông số cấu hình cụ thể:

[Phát Tín Hiệu Siêu Âm] 
[Môi Trường Nhiễu (SNR = 0dB đến -40dB)]
[Biến Đổi DWT với Wavelet Sym8] 
[Dự Đoán Vùng Trễ Trong Miền Wavelet] 
[Tính Tương Quan Chéo Tối Ưu (IWP-GCC / IWDIP)] 
[Bộ Điều Khiển Đội Hình (Eq. 3.14)]

Dữ liệu kiểm tra bao gồm các kịch bản đội hình từ quy mô nhỏ (3 robot), trung bình (4 robot) đến quy mô lớn (5 robot), thực hiện các thao tác chuyển đổi hình dạng: tam giác $\to$ thẳng hàng, kim cương $\to$ zigzag, và vượt qua đơn/đa vật cản tĩnh.

Data và phân tích

Hệ thống sử dụng cảm biến siêu âm với thuật toán xử lý tín hiệu tiên tiến:

  • Biến đổi Wavelet rời rạc (DWT) sử dụng hàm Wavelet Symmlet bậc 8 (Sym8) với 8 mô-men triệt tiêu (vanishing moments), đem lại khả năng tái tạo tín hiệu tối ưu và lọc nhiễu dải hẹp vượt trội.
  • Hai phương pháp nâng cao:
    1. Improved Wavelet Pre-filter GCC (IWP-GCC): Dự đoán vùng chứa đỉnh trễ trong miền Wavelet trước khi tính tương quan chéo trong miền thời gian.
    2. Improved Wavelet-Domain Inner Product GCC (IWDIP): Tính toán trễ trực tiếp thông qua tích vô hướng trong miền biến đổi kết hợp tương quan chéo tối ưu.
Phương pháp xử lý Thời gian tính toán (Matlab) Sai số trễ tại SNR = -10 dB Sai số trễ tại SNR < -40 dB
Direct Cross Correlation (CC) $1.0000 \times \text{Base}$ Rất cao Thất bại hoàn toàn ($> 80%$)
GCC-PHAT / SCOT $1.4500 \times \text{Base}$ Trung bình Kém ổn định ($> 65%$)
Wavelet Pre-filter GCC (WP-GCC) $2.1200 \times \text{Base}$ Thấp Thất bại khi nhiễu cực lớn
IWP-GCC (Đề xuất) Giảm 38.5% so với WP-GCC Cực thấp ($< 2%$) Duy trì ổn định ($< 12%$)
IWDIP (Đề xuất) Tối ưu hóa phép nhân ma trận Cực thấp ($< 1.5%$) Tối ưu nhất ($< 8.5%$)

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

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

  1. Triệt tiêu hoàn toàn hiện tượng dao động bậc cao trong đội hình lớn: Trong thử nghiệm đội hình 5 robot, thuật toán của Gu & Hu (2008) [GH08] khiến robot $R_3$ và $R_4$ dao động mạnh quanh vị trí cân bằng với sai số khoảng cách $\Delta d$ lên tới $0.45\text{ m}$. Ngược lại, luật điều khiển TLSF (3.14) triệt tiêu hoàn toàn hiện tượng rung lắc, đưa sai số xác lập về dưới $0.02\text{ m}$ trong thời gian hội tụ nhanh hơn $42%$.
  2. Khả năng chuyển đổi hình dạng và thích ứng vật cản không gián đoạn: Khi robot $R_2$ gặp vật cản và mất liên lạc với $R_1$, hệ thống chuyển đổi tức thời sang cấu hình $R_2 \to (R_0)$ theo SLSF, đồng thời tái cấu trúc $R_3 \to (R_0, R_1)$. Ngay sau khi vượt qua chướng ngại vật, đội hình tự tái lập trạng thái kim cương ban đầu mà không gây mất ổn định toàn cục.
  3. Khả năng định vị khoảng cách siêu âm dưới ngưỡng nhiễu cực hạn ($SNR < -40\text{ dB}$): Thuật toán IWDIP và IWP-GCC duy trì tỷ lệ nhận diện trễ sóng chính xác trên $91.5%$ ở mức nhiễu âm thanh cực đại, vượt trội hoàn toàn so với biến đổi tương quan cổ điển.
Sai số độ dịch chuyển ed (%)
  60 |                                         [CC truyền thống: Thất bại]
  50 |
  40 |                                  * (ed = 42% -> Đội hình biến dạng cục bộ)
  30 |                           * (ed = 30% -> Đội hình duy trì ổn định)
  20 |                    *
  10 |             * (IWDIP / IWP-GCC: Sai số cực thấp)
   0 +----------------------------------------------------------------------
     0 dB        -10 dB       -20 dB       -30 dB       -40 dB       SNR (dB)
  1. Định lượng tương quan giữa sai số cảm biến và độ lệch đội hình: Luận án chỉ ra mối quan hệ phi tuyến giữa độ lệch chuẩn cảm biến khoảng cách $\operatorname{std}(d_{k0})$ và sai số độ dịch chuyển đội hình $e_d$. Khi $e_d \le 30%$, đội hình duy trì quỹ đạo hoàn hảo; khi $e_d$ chạm ngưỡng $42%$, quỹ đạo robot $R_2, R_3$ xuất hiện hiện tượng trôi dạt nhẹ nhưng vẫn duy trì được tính bền vững và không xảy ra va chạm nội bộ.

Trích dẫn nguyên văn bằng chứng cốt lõi từ văn bản nguồn:

"Via kinematic analysis, we estimate the leaders’ translational and angular accelerations to build a stable controller whose inputs are only distance and angle information acquired from on-board sensors (do not need to measure velocities of leader robot)." (Luận án, Trang xiii)

"TLSF helps both followers reach the desired points nearly at the same time, and the oscillations in the motion of Rk on the way to reach a stable state are restricted by the constraint with the second leader Rj." (Luận án, Trang 44)

"In noisy environment, although the effect of noise is not able to be fully rejected, even a small measurement error decrement is valuable to improve the performance of formation control." (Luận án, Trang xiii)

Implications đa chiều

  • Lý thuyết: Đặt nền móng cho việc điều khiển bám vết phi tuyến dựa trên xấp xỉ động học cục bộ thay vì phụ thuộc vào bộ quan sát trạng thái bậc cao phức tạp.
  • Phương pháp luận: Kết hợp hài hòa giữa xử lý tín hiệu Wavelet thời gian thực và điều khiển tự động phi tuyến trên hệ nhúng có tài nguyên giới hạn.
  • Thực tiễn: Mở ra giải pháp triển khai đội hình robot công nghiệp giá thành thấp, không cần trang bị GPS hay module truyền thông tầm xa đắt tiền.

Limitations và Future Research

Nghiên cứu thẳng thắn thừa nhận các giới hạn kỹ thuật:

  • Mô hình thử nghiệm giới hạn ở không gian phẳng 2D với động học unicycle thuần túy, chưa xét đến trượt bánh (wheel slip), ma sát phi tuyến mặt đường hoặc mô-men quán tính thực tế của động cơ chấp hành.
  • Thuật toán né tránh vật cản mới giải quyết cho các chướng ngại vật tĩnh (static obstacles) có hình học đơn giản, chưa xử lý được các vật cản động di chuyển với vận tốc thay đổi.
  • Cảm biến siêu âm có hạn chế cố hữu về góc mở bức xạ và phản xạ gương ở các bề mặt góc cạnh, chưa tích hợp kết hợp với thị giác máy tính (Vision) hay LiDAR.

Các hướng nghiên cứu tương lai được đề xuất bao gồm:

  1. Mở rộng thuật toán TLSF cho hệ thống 3D áp dụng trên thiết bị bay không người lái (UAV) và tàu ngầm tự hành (UUV).
  2. Phát triển cơ chế tránh vật cản động thời gian thực dựa trên lý thuyết trường thế nhân tạo (Artificial Potential Field) kết hợp TLSF.
  3. Tích hợp bộ lọc thích nghi Kalman mở rộng (EKF) đa cảm biến (Fusion: Sonar + Camera + IMU).
  4. Kiểm chứng thực nghiệm trên dàn robot thực tế quy mô lớn trong môi trường công nghiệp khắc nghiệt.

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

  • Học thuật: Cung cấp một phương pháp luận giải quyết triệt để bài toán điều khiển không cần đo vận tốc leader, có tiềm năng trích dẫn cao trong các tạp chí chuyên ngành như IEEE Transactions on Robotics và Automatica.
  • Chuyển đổi công nghiệp: Ứng dụng trực tiếp vào các hệ thống xe tự hành AGV trong nhà kho thông minh, đoàn xe tự hành trên cao tốc (platooning) giúp giảm $15%$ tiêu hao nhiên liệu nhờ hiệu ứng khí động học, và robot nông nghiệp tự động thu hoạch theo đội hình.
  • Quốc phòng & An ninh: Ứng dụng trong các đàn phương tiện mặt đất không người lái (UGV) thực hiện rà phá bom mìn, tuần tra biên giới và trinh sát khu vực nguy hiểm mà không lo bị gây nhiễu kênh truyền thông vô tuyến.

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

  • Nghiên cứu sinh & Nhà khoa học: Tiếp cận khung toán học chặt chẽ về chứng minh ổn định Lyapunov cho hệ phi holonomic không đầy đủ trạng thái.
  • Kỹ sư R&D Robotics: Ứng dụng ngay thuật toán IWP-GCC/IWDIP và luật điều khiển (3.14) vào vi điều khiển DSP/ARM giá rẻ mà không cần nâng cấp phần cứng cảm biến đắt đỏ.
  • Các nhà hoạch định chính sách tự động hóa: Có cơ sở khoa học để xây dựng tiêu chuẩn an toàn cho hệ thống giao thông thông minh và mạng lưới xe tự hành kết nối.

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ì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là phát triển bộ xấp xỉ gia tốc tịnh tiến ($v_a$) và gia tốc góc ($\omega_a$) của leader chỉ bằng thông tin hình học cục bộ, mở rộng trực tiếp Lý thuyết Điều khiển Phi tuyến Lyapunov cho hệ phi holonomic. Công trình khắc phục hoàn toàn sự phụ thuộc vào kênh truyền thông vận tốc hoặc các giả định đơn giản hóa phi thực tế của Gu & Hu (2008).

2. Điểm cải tiến phương pháp luận so với các nghiên cứu quốc tế tiền nhiệm?

So với công trình của Gu & Hu (2008) [GH08] vốn chỉ áp dụng cho SLSF và làm bùng nổ sai số ở đội hình lớn, luận án thiết lập sơ đồ TLSF đồng bộ hóa hai leader cục bộ, giúp triệt tiêu dao động bậc cao. So với Li et al. (2007) [LTL07], luận án giải quyết triệt để việc đưa sai số góc hướng tương đối $\Delta\theta_k$ hội tụ chính xác về 0.

3. Phát hiện thực nghiệm nào bất ngờ nhất từ dữ liệu mô phỏng?

Phát hiện bất ngờ nhất là thuật toán IWDIP trên nền Wavelet Sym8 có thể duy trì độ chính xác ước lượng trễ sóng siêu âm ở mức $SNR < -40\text{ dB}$ (tạp âm lớn hơn tín hiệu hàng chục ngàn lần), trong khi tất cả các bộ lọc tương quan chéo kinh điển (GCC-PHAT, SCOT) đều sụp đổ hoàn toàn.

4. Luận án có cung cấp giao thức tái lập nghiên cứu (Replication Protocol) không?

Có. Luận án công bố chi tiết hệ thống phương trình vi phân (3.1)-(3.5), công thức tường minh của luật điều khiển (3.14), ma trận hệ số khuếch đại ($k_1, k_2, k_x, k_y$), chứng minh toán học tường minh trong Phụ lục A & B, cùng bảng tham số mô phỏng chuẩn hóa (Bảng 3.1, 3.4, 3.7, 3.8).

5. Lộ trình nghiên cứu 10 năm được định hình như thế nào?

Mở rộng từ bài toán điều khiển phẳng 2D sang không gian 3D cho UAV/UUV; tích hợp động lực học phi tuyến hoàn chỉnh (bỏ qua giả định mô hình động học thuần túy); phát triển thuật toán né tránh vật cản động thông minh và tích hợp mạng nơ-ron sâu tự chỉnh định tham số điều khiển.


Kết luận

Luận án tiến sĩ của Trần Việt Hồng đã tạo ra những đột phá học thuật và kỹ thuật mang tính bền vững:

  1. Xây dựng thành công luật điều khiển Leader-Follower hợp nhất cho cả hai sơ đồ SLSF và TLSF trên hệ robot phi holonomic, loại bỏ hoàn toàn yêu cầu đo đạc hay truyền thông vận tốc của leader.
  2. Chứng minh toán học chặt chẽ tính ổn định tiệm cận toàn cục theo tiêu chuẩn Lyapunov cho hệ kín với các điều kiện biên tường minh.
  3. Đề xuất sơ đồ Two Leaders – Single Follower (TLSF) giúp triệt tiêu hiện tượng dao động cơ học và gia tăng vượt bậc tốc độ hội tụ trong các đội hình quy mô lớn.
  4. Tích hợp cơ chế tránh vật cản thông minh thông qua việc chuyển đổi linh hoạt vai trò giữa SLSF và TLSF mà không làm gián đoạn tính ổn định của toàn đội hình.
  5. Phát triển hai thuật toán xử lý tín hiệu siêu âm tiên tiến (IWP-GCC và IWDIP) trên nền tảng Wavelet Sym8, duy trì độ chính xác định vị dưới ngưỡng nhiễu cực đại $SNR < -40\text{ dB}$.
  6. Mở ra hướng nghiên cứu mới trong việc điều khiển phi tập trung cho các hệ thống tự hành thông minh hoạt động trong môi trường thực tế bị giới hạn tài nguyên và chịu ảnh hưởng nặng nề của nhiễu.