Tổng quan về luận án

Nghiên cứu điều khiển chuyển động hợp tác cho các phương tiện bay không người lái cất hạ cánh thẳng đứng (VTOL UAVs - Vertical Take-Off and Landing Unmanned Aerial Vehicles), đặc biệt là dòng quadrotor bốn cánh quạt, đang là tâm điểm phát triển của lý thuyết điều khiển phi tuyến và hệ thống đa tác tử (Multi-Agent Systems). Luận án tiến sĩ chuyên ngành Tự động hóa tại Viện Nghiên cứu Tự động hóa Nancy (CRAN - CNRS UMR 7039), Đại học Lorraine (Université de Lorraine, Pháp) của tác giả Nguyễn Đăng Hảo, dưới sự hướng dẫn của Giáo sư Mohamed Boutayeb và Tiến sĩ Hugues Rafaralahy, đã giải quyết triệt để thách thức cốt lõi: kiểm soát đội hình các phương tiện thiếu cơ cấu chấp hành (underactuated vehicles) trong không gian 3 chiều dưới tác động của bất định tham số, nhiễu ngoại cảnh và ràng buộc tránh va chạm.

Khoảng trống nghiên cứu (research gap) trong y văn quốc tế xuất phát từ bản chất vật lý của quadrotor: phương tiện sở hữu 6 bậc tự do (6 DOFs: 3 vị trí, 3 góc định hướng) nhưng chỉ được điều khiển bởi 4 cơ cấu chấp hành độc lập ($f_1, f_2, f_3, f_4$). Hơn nữa, việc sử dụng các góc Euler ($\phi, \theta, \psi$) truyền thống luôn dẫn đến điểm kỳ dị toán học (singularity) tại góc chúc ngóc $\theta = \pm \pi/2$ do ma trận chuyển đổi $K_\eta(\eta)$ mất bậc định thức. Các thuật toán trích xuất hướng và lực đẩy trước đây (chẳng hạn Roberts, 2011; Abdessameud & Tayebi, 2010) thường bỏ qua kiểm soát góc hướng đầu (heading/yaw angle $\psi$), dẫn đến hiện tượng tự quay mất kiểm soát quanh trục thẳng đứng (self-rotation). Mặt khác, những giải pháp kết hợp của Do & Pan (2013) lại tạo ra cấu trúc điều khiển quá phức tạp, khó mở rộng cho đội hình quy mô lớn.

Luận án đặt ra và giải quyết 3 câu hỏi nghiên cứu cùng 3 giả thuyết khoa học tương ứng:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết kế một thuật toán trích xuất hướng và lực đẩy không kỳ dị, vừa triệt tiêu hiện tượng tự quay quanh trục thẳng đứng, vừa đảm bảo khả năng bám quỹ đạo toàn cục cho quadrotor đơn lẻ?
  • Câu hỏi nghiên cứu 2 (RQ2): Bằng cách nào có thể bù trừ đồng thời bất định tham số khối lượng ($J_1 = m$), ma trận quán tính ($J_2 = J$) và các vector nhiễu động ngoại cảnh không đo được ($d_v \in \mathbb{R}^3, d_\omega \in \mathbb{R}^3$) mà vẫn giữ vững tính ổn định tiệm cận của hệ thống kín?
  • Câu hỏi nghiên cứu 3 (RQ3): Làm thế nào để mở rộng thuật toán điều khiển phi tuyến cục bộ sang kiến trúc điều khiển đội hình đa phương tiện (từ 3, 9, 12 đến 16 quadrotors) sử dụng kết hợp cấu trúc ảo (Virtual Structure) và mô hình dẫn đường - bám theo (Leader-Follower), đồng thời tích hợp cơ chế tránh va chạm trơn (Pairwise Collision Avoidance) và tránh chướng ngại vật tĩnh?

Hệ thống giả thuyết nghiên cứu được xác lập:

  • Giả thuyết 1 (H1): Việc chuyển đổi không gian trạng thái giữa góc Euler và Quaternion đơn vị ($\mathbb{S}^3$) thông qua một thuật toán trích xuất giải tích mới sẽ loại bỏ hoàn toàn điểm kỳ dị toán học và khóa chặt góc hướng đầu theo giá trị tham chiếu $\psi_d(t)$.
  • Giả thuyết 2 (H2): Kỹ thuật điều khiển cuốn chiếu thích nghi (Adaptive Backstepping Control) kết hợp với toán tử chiếu (Projection Operator) sẽ giới hạn tham số ước lượng trong miền hội tụ xác định, triệt tiêu sai số bám vận tốc và vị trí về 0 khi thời gian tiến ra vô cùng ($\lim_{t\to\infty} p_e(t) = 0, \lim_{t\to\infty} \psi_e(t) = 0$).
  • Giả thuyết 3 (H3): Hàm thế nhân tạo trơn xây dựng từ hàm bước nhảy trơn ($h(x, a, b)$) khi tích hợp trực tiếp vào vector lực điều khiển ảo sẽ loại bỏ xung đột va chạm giữa các quadrotor mà không gây ra tính gián đoạn (discontinuity) trong tín hiệu điều khiển lực đẩy $T_i$ và moment xoắn $\tau_i$.

Khung lý thuyết của luận án được xây dựng dựa trên lý thuyết ổn định Lyapunov (Lyapunov Stability Theory), động học vật rắn trên nhóm Lie $\mathrm{SE}(3)$, đại số Quaternion đơn vị, lý thuyết điều khiển thích nghi phi tuyến và đồ thị truyền thông đa tác tử. Tác động của luận án được lượng hóa qua việc chứng minh toán học nghiêm ngặt 5 bộ điều khiển đội hình (Controllers 1–5), thử nghiệm mô phỏng trên các đội hình lớn (lên tới 12 và 16 UAVs) với 100% các trạng thái sai số hội tụ tiệm cận, khoảng cách an toàn giữa các phương tiện luôn duy trì trên ngưỡng nguy hiểm và triệt tiêu hoàn toàn điểm kỳ dị tại mọi thời điểm bay.

Literature Review và Positioning

Nghiên cứu điều khiển hợp tác đội hình phương tiện tự hành trong y văn quốc tế được phân chia thành ba trường phái tiếp cận chủ đạo (Saber, Hatano & Murray, 2004):

Trường phái dẫn đường - bám theo (Leader-Follower): Được nghiên cứu sâu rộng bởi Abdessameud & Tayebi (2013), Brandao et al. (2011), Beard & McLain (2002), Egerstedt et al. (2004) trên robot di động (Dierks & Jagannathan, 2012; Mastellone & Stipanovic, 2013) và UAVs (Yang et al., 2008; Roberts et al., 2014). Ưu điểm của phương pháp này là tính trực quan và khả năng duy trì phối hợp khi phương tiện dẫn đường bị nhiễu; tuy nhiên, điểm yếu cốt tử là hình thái đội hình sẽ bị phá vỡ hoàn toàn nếu các phương tiện bám theo gặp sự cố hoặc chịu tác động của nhiễu ngoại cảnh mà thiếu kênh phản hồi kín (Egerstedt & Hu, 2001).

Trường phái dựa trên hành vi (Behavior-Based): Khởi xướng bởi Balch & Arkin (1998, 2001), Lawton et al. (2003), Antonelli et al. (2014), cấu trúc này gán cho mỗi cá thể các hành vi cạnh tranh như bám mục tiêu, tránh va chạm lân cận và giữ khoảng cách. Mặc dù phù hợp với các bầy đàn quy mô lớn nhờ tính chất phi tập trung hóa (decentralized), cách tiếp cận này gặp khó khăn nghiêm trọng trong việc phân tích và chứng minh độ ổn định toán học giải tích do tính phi tuyến và ghép kênh hành vi quá phức tạp (Lawton et al., 2008).

Trường phái cấu trúc ảo (Virtual Structure): Được phát triển bởi Chen et al. (2011), Askari & Tayebi (2009), Do (2011, 2012, 2015) và Low (2011, 2014). Phương pháp này xem toàn bộ đội hình như một thực thể rắn duy nhất, cho phép định hình toán học rõ ràng và ổn định Lyapunov chặt chẽ, nhưng đòi hỏi năng lực tính toán và xử lý điểm giới hạn cục bộ phức tạp.

                  ┌─────────────────────────────────────────────────────────┐
                  │          TIẾP CẬN ĐIỀU KHIỂN ĐỘI HÌNH TRONG Y VĂN       │
                  └───────────────────────────┬─────────────────────────────┘
                                              │
         ┌────────────────────────────────────┼────────────────────────────────────┐
         │                                    │                                    │
         ▼                                    ▼                                    ▼
┌──────────────────┐                 ┌──────────────────┐                 ┌──────────────────┐
│ LEADER-FOLLOWER  │                 │  BEHAVIOR-BASED  │                 │ VIRTUAL STRUCTURE│
│ Abdessameud 2013 │                 │   Arkin (1998)   │                 │    Do (2015)     │
│  Beard (2002)    │                 │   Lawton (2003)  │                 │    Low (2014)    │
└────────┬─────────┘                 └────────┬─────────┘                 └────────┬─────────┘
         │ Dễ triển khai nhưng                │ Linh hoạt bầy đàn                  │ Ổn định toán học cao
         │ vỡ đội hình khi mất dấu            │ nhưng khó chứng minh Lyapunov      │ nhưng tính toán nặng
         │                                    │                                    │
         └────────────────────────────────────┼────────────────────────────────────┘
                                              │
                                              ▼
                         ┌──────────────────────────────────────────┐
                         │   ĐÓNG GÓP ĐỘT PHÁ CỦA NGUYEN DANG HAO   │
                         │    Kết hợp Virtual Structure lai ghép    │
                         │   Leader-Follower + Trích xuất Quaternion │
                         │    không kỳ dị + Tránh va chạm trơn      │
                         └──────────────────────────────────────────┘

Trong bức tranh tổng quan đó, tồn tại hai luồng tranh luận học thuật sâu sắc:

  • Tranh luận 1: Biểu diễn góc Euler so với Quaternion đơn vị. Góc Euler ($\eta = [\phi, \theta, \psi]^T$) mang lại trực quan hình học thực tế nhưng ma trận biến đổi động học góc $K_\eta(\eta)$ xuất hiện điểm kỳ dị suy biến khi $\theta = \pm \pi/2$. Ngược lại, Quaternion đơn vị $Q = [\eta, q^T]^T \in \mathbb{S}^3$ khắc phục triệt để điểm kỳ dị nhưng làm gia tăng độ phức tạp trong việc tổng hợp tín hiệu điều khiển lực đẩy tịnh tiến do tính chất bao phủ kép (double cover).
  • Tranh luận 2: Kiến trúc điều khiển tập trung (Centralized) so với phi tập trung (Decentralized). Điều khiển tập trung cho phép tối ưu hóa toàn cục nhưng chịu gánh nặng nghẽn truyền thông và nguy cơ tê liệt toàn hệ thống khi trạm chủ lỗi. Điều khiển phân tán chia nhỏ dòng thông tin nhưng phải đối mặt với độ trễ truyền thông (communication delay) và tầm đo cục bộ bị giới hạn (limited sensing).

Luận án định vị chính xác khoảng trống công nghệ bằng cách phát triển kiến trúc lai ghép: sử dụng cấu trúc ảo kết hợp mô hình dẫn đường - bám theo, ứng dụng đại số Quaternion đơn vị để loại bỏ điểm kỳ dị, tích hợp bộ quan sát nhiễu phi tuyến và thuật toán trích xuất hướng độc quyền. So sánh trực tiếp với hai nghiên cứu quốc tế điển hình:

  1. So với nghiên cứu của Roberts (2011), giải pháp của luận án khắc phục triệt để hiện tượng tự quay quanh trục thẳng đứng nhờ tích hợp biến điều khiển góc yaw $\alpha_\psi = \psi_d(t)$ trực tiếp vào bước trích xuất Quaternion.
  2. So với công trình của Do & Pan (2013), cấu trúc điều khiển cuốn chiếu thích nghi trong luận án tinh gọn hơn đáng kể, giảm thiểu số lượng vòng lặp vi phân bậc cao, giúp thuật toán dễ dàng thực thi trên các vi điều khiển nhúng của UAV thực tế.

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

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

Luận án mở rộng và hoàn thiện lý thuyết điều khiển phi tuyến cho hệ thống thiếu cơ cấu chấp hành thông qua các đóng góp nền tảng:

  • Mở rộng lý thuyết điều khiển cuốn chiếu thích nghi (Krstic, Kanellakopoulos & Kokotovic, 1995): Mở rộng kỹ thuật backstepping cho hệ thống ghép kênh bậc hai phi tuyến có tham số quán tính không xác định, kết hợp toán tử chiếu để triệt tiêu hiện tượng thời gian thoát hữu hạn (finite escape time).
  • Hoàn thiện lý thuyết biểu diễn hướng trên nhóm Lie $\mathrm{SE}(3)$ (Shuster, 1993): Xây dựng cầu nối giải tích chuẩn xác giữa lực điều khiển không gian tịnh tiến $F \in \mathbb{R}^3$ và không gian trạng thái định hướng quay $\mathbb{S}^3$.
  • Phát triển mô hình Định lý 3.1 & Định lý 3.2: Chứng minh tính ổn định tiệm cận toàn cục (Globally Asymptotically Stable - GAS) và tính đầy đủ về phía trước (forward completeness) của hệ thống vòng kín bằng hàm Lyapunov xác định dương, không bị chặn xuyên tâm.

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

Khung phân tích của luận án tích hợp chặt chẽ 4 trụ cột lý thuyết: Lý thuyết điều khiển cuốn chiếu thích nghi, Động học Quaternion $\mathbb{S}^3$, Lý thuyết toán tử chiếu vi phân Lipschitz và Hàm thế trường nhân tạo trơn.

Trọng tâm đột phá nằm ở Bổ đề 2.3 (Lemma 2.3) - Thuật toán trích xuất hướng và lực đẩy (Attitude and Thrust Extraction Algorithm). Giả sử vector lực trung gian từ vòng điều khiển tịnh tiến là $F = [F_1, F_2, F_3]^T = \frac{T}{m} R_Q^T(Q_d)e_3$ với $e_3 = [0, 0, 1]^T$ và góc yaw mong muốn $\psi_d$, giải pháp giải tích cho độ lớn lực đẩy $T$ và Quaternion tham chiếu $Q_d = [\eta_d, q_d^T]^T$ được tính toán tường minh:

$$T = m |F| = m \sqrt{F_1^2 + F_2^2 + F_3^2}$$

$$\alpha_\psi = \psi_d, \quad \alpha_\theta = \arctan\left(\frac{C_{\alpha\psi} F_1 + S_{\alpha\psi} F_2}{F_3}\right), \quad \alpha_\phi = \arcsin\left(\frac{S_{\alpha\psi} F_1 - C_{\alpha\psi} F_2}{T}\right)$$

$$Q_d = \begin{bmatrix} \cos\frac{\alpha_\phi}{2}\cos\frac{\alpha_\theta}{2}\cos\frac{\alpha_\psi}{2} + \sin\frac{\alpha_\phi}{2}\sin\frac{\alpha_\theta}{2}\sin\frac{\alpha_\psi}{2} \ \sin\frac{\alpha_\phi}{2}\cos\frac{\alpha_\theta}{2}\cos\frac{\alpha_\psi}{2} - \cos\frac{\alpha_\phi}{2}\sin\frac{\alpha_\theta}{2}\sin\frac{\alpha_\psi}{2} \ \cos\frac{\alpha_\phi}{2}\sin\frac{\alpha_\theta}{2}\cos\frac{\alpha_\psi}{2} + \sin\frac{\alpha_\phi}{2}\cos\frac{\alpha_\theta}{2}\sin\frac{\alpha_\psi}{2} \ \cos\frac{\alpha_\phi}{2}\cos\frac{\alpha_\theta}{2}\sin\frac{\alpha_\psi}{2} - \sin\frac{\alpha_\phi}{2}\sin\frac{\alpha_\theta}{2}\cos\frac{\alpha_\psi}{2} \end{bmatrix}$$

Vận tốc góc thân mong muốn $\omega_d$ được trích xuất hoàn toàn trơn:

$$\omega_d = \begin{bmatrix} 1 & 0 & -\sin\alpha_\theta \ 0 & \cos\alpha_\phi & \sin\alpha_\phi\cos\alpha_\theta \ 0 & -\sin\alpha_\phi & \cos\alpha_\phi\cos\alpha_\theta \end{bmatrix} \begin{bmatrix} \dot{\alpha}\phi \ \dot{\alpha}\theta \ \dot{\alpha}_\psi \end{bmatrix}$$

Hàm bước nhảy trơn (Smooth Step Function) $h(x, a, b)$ được định nghĩa độc đáo nhằm loại bỏ xung động lực học trong bài toán tránh va chạm:

$$h(x, a, b) = \frac{f(\tau)}{f(\tau) + f(1 - \tau)}, \quad \tau = \frac{x - a}{b - a}$$

với $f(\tau) = 0$ khi $\tau \le 0$ và $f(\tau) = e^{-1/\tau}$ khi $\tau > 0$, thỏa mãn tính chất $h \in C^\infty$, đạo hàm $h'(x, a, b) > 0, \forall x \in (a, b)$.

Điều kiện biên của mô hình quy định: Quỹ đạo vị trí tham chiếu $p_d(t)$ và góc yaw tham chiếu $\psi_d(t)$ trơn và bị chặn tới đạo hàm bậc hai: $\sup_{t \ge 0} |p_d^{(i)}(t)| \le \varepsilon_i$, $\sup_{t \ge 0} |\psi_d^{(j)}(t)| \le \varepsilon_j$; lực nâng cánh quạt tỷ lệ với bình phương tốc độ quay động cơ $f_i = K_t G_k^2$; cấu trúc thân quadrotor đối xứng và là vật rắn tuyệt đối.

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ triết lý thực chứng suy diễn (deductive positivism), kết hợp chặt chẽ giữa suy diễn giải tích toán học thuần túy và mô phỏng số học kiểm chứng nghiệm ngặt (computational simulation).

Thiết kế nghiên cứu đa tầng được tổ chức thành 3 cấp độ:

  • Cấp độ 1 (Tạo nhiệm vụ & Quỹ đạo): Định hình chuyển động đội hình thông qua mô hình Cấu trúc ảo hoặc quỹ đạo của nhóm dẫn đường.
  • Cấp độ 2 (Phối hợp truyền thông & Tránh va chạm): Tính toán lực tương tác cục bộ, hàm né tránh va chạm từng cặp dựa trên $h(x, a, b)$ và ước lượng trạng thái lân cận.
  • Cấp độ 3 (Điều khiển từng cá thể UAV): Phân rã động lực học thành hai phân hệ tịnh tiến (translational subsystem) và phân hệ quay (rotational subsystem), áp dụng thuật toán trích xuất hướng và bộ điều khiển thích nghi backstepping.

Quy mô thực nghiệm mô phỏng bao gồm: 1 quadrotor đơn lẻ, nhóm 3 quadrotors, đội hình 9 quadrotors, đội hình 12 quadrotors và hệ thống phân cấp 16 quadrotors (gồm 4 nhóm, mỗi nhóm có 1 leader và 3 followers).

Quy trình nghiên cứu rigorous

Mô hình động lực học được trích xuất trực tiếp từ phương trình Newton-Euler trong hệ tọa độ chuẩn NED (North-East-Down):

$$\begin{cases} \dot{p}_i = v_i \ \dot{v}i = g e_3 - \frac{1}{m_i} R_Q^T(Q_i) e_3 T_i + d{vi} \ \dot{Q}_i = K_Q(Q_i)\omega_i \ J_i \dot{\omega}i = \tau_i - S(\omega_i)J_i\omega_i + d{\omega i} \end{cases}$$

với $S(\omega)$ là ma trận phản đối xứng (skew-symmetric matrix) thỏa mãn $S(x)x = 0$ và $S(x)^T = -S(x)$.

Thông số vật lý chuẩn của quadrotor được lấy từ mô hình thực nghiệm chuẩn hóa (El-Ikhefawi & EInE, 2012): khối lượng $m = 1.0\text{ kg}$, gia tốc trọng trường $g = 9.81\text{ m/s}^2$, khoảng cách từ trọng tâm đến trục motor $l = 0.23\text{ m}$, ma trận quán tính $J = \text{diag}(0.0082, 0.0082, 0.0146)\text{ kg}\cdot\text{m}^2$, hệ số lực đẩy $K_t = 3.13 \times 10^{-5}\text{ N}\cdot\text{s}^2$, hệ số cản $K_d = 7.5 \times 10^{-7}\text{ N}\cdot\text{m}\cdot\text{s}^2$.

Tính hợp lệ và độ tin cậy được đảm bảo qua quá trình tam giác hóa phương pháp:

  1. Chứng minh toán học giải tích: Sử dụng chuỗi các hàm Lyapunov ứng viên $V_1 = \frac{1}{2}p_e^T p_e$, $V_2 = V_1 + \frac{1}{2}v_e^T v_e$, $V_3 = \frac{1}{2}\eta_e^T\eta_e$, $V_4 = V_3 + \frac{1}{2}\omega_e^T\omega_e$ và chứng minh đạo hàm theo thời gian $\dot{V}_4 \le -k_1 p_e^T p_e - k_2 v_e^T v_e - k_3 \eta_e^T \eta_e - k_4 \omega_e^T \omega_e < 0, \forall e \neq 0$.
  2. Mô phỏng động lực học phi tuyến: Triển khai thuật toán trên MATLAB/Simulink với bộ giải phương trình vi phân Runge-Kutta bậc 4, kiểm tra độ nhạy dưới các điều kiện ban đầu ngẫu nhiên $p(0), v(0), \eta(0), \omega(0)$.
  3. Kiểm tra độ bền vững (Robustness checks): Thử nghiệm trong điều kiện nhiễu ngoại cảnh biến thiên theo thời gian $d_v(t) = [0.5\sin(0.5t), 0.5\cos(0.5t), 0.2\sin(t)]^T$ và độ sai lệch tham số khối lượng lên đến $\pm 30%$.

Data và phân tích

Thiết lập mô phỏng quỹ đạo tham chiếu 3D dạng xoắn ốc không gian:

$$p_d(t) = [2\sin(0.5t), 2\cos(0.5t), 0.5t]^T, \quad \psi_d(t) = 0.5t$$

Các tham số khuếch đại điều khiển được tối ưu hóa: $k_1 = 2.0, k_2 = 3.0, k_3 = 1.0, k_4 = 1.0$; hệ số thích nghi $\gamma_{v1} = 0.5, \gamma_{v2} = 1.0, \gamma_{\omega 1} = 0.2, \gamma_{\omega 2} = 0.5$.

Quy tắc cập nhật thích nghi sử dụng toán tử chiếu:

$$\dot{\hat{J}}1 = \text{proj}\left(\gamma{v1}(v_e^T \hat{J}_1 F)\right), \quad \dot{\hat{d}}v = \gamma{v2} v_e$$

$$\dot{\hat{J}}2 = (\hat{J}2^T)^{-1} \text{proj}\left(\gamma{\omega 1}(q_e^T \hat{J}2 \tau)\right), \quad \dot{\hat{d}}\omega = \gamma{\omega 2}\omega_e$$

Kết quả cho thấy sai số ước lượng tham số $\tilde{J}_1 = \hat{J}_1 - J_1 \to 0$, $\tilde{d}_v = \hat{d}_v - d_v \to 0$ hội tụ nhanh chóng, đảm bảo tính ổn định vững chắc mà không xảy ra hiện tượng trôi dạt tham số (parameter drift).

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

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

  • Phát hiện 1 (Khử hoàn toàn điểm kỳ dị và hiện tượng tự quay): Thuật toán trích xuất hướng và lực đẩy mới (Lemma 2.3) giải quyết triệt để sự cố kỳ dị tại $\theta = \pm \pi/2$ của góc Euler và duy trì góc hướng đầu $\psi(t)$ bám sát $\psi_d(t)$ với sai số góc $|\psi_e| < 0.001\text{ rad}$ sau $3.5\text{ giây}$.
  • Phát hiện 2 (Hội tụ toàn cục dưới tác động của nhiễu và bất định): Bộ điều khiển thích nghi (Controller 3) bù trừ hoàn toàn sai lệch khối lượng $m$ và moment quán tính $J$, đưa sai số vị trí $|p_e(t)| \to 0$ và sai số vận tốc $|v_e(t)| \to 0$ trong khoảng thời gian $t < 4.0\text{ giây}$.
  • Phát hiện 3 (Duy trì khoảng cách an toàn tuyệt đối trong đội hình lớn): Trong thử nghiệm đội hình 12 quadrotors và 9 quadrotors (Chương 4), hàm tránh va chạm $h(x, a, b)$ kích hoạt mượt mà khi khoảng cách giữa hai UAV bất kỳ $d_{ij} = |p_i - p_j|$ tiệm cận bán kính an toàn $r_{\text{safe}} = 0.8\text{ m}$, giữ cho khoảng cách cực tiểu luôn đạt $d_{\min} \ge 0.82\text{ m}$ mà không gây bão hòa lực đẩy ($T_i \le T_{\max}$).
  • Phát hiện 4 (Ổn định đội hình phân cấp đa nhóm với cảm biến hạn chế): Controller 4 và Controller 5 chứng minh rằng với cấu trúc 4 nhóm dẫn đường và 12 phương tiện bám theo, hệ thống vẫn duy trì hình thái hình học mong muốn xung quanh điểm mục tiêu ngay cả khi các UAV bám theo chỉ nhận được tín hiệu vị trí tương đối cục bộ.
Bộ điều khiển Cấu trúc đội hình Đặc tính kỹ thuật cốt lõi Thời gian hội tụ ($p_e \to 0$) Khoảng cách an toàn tối thiểu
Controller 1 12 Quadrotors Bám đội hình toàn cục, cấu trúc ảo $4.2\text{ s}$ $d_{\min} \ge 0.85\text{ m}$
Controller 2 9 Quadrotors Bộ quan sát vận tốc tuyến tính & nhiễu $4.8\text{ s}$ $d_{\min} \ge 0.83\text{ m}$
Controller 3 3 Quadrotors Thích nghi hoàn toàn với $J_1, J_2, d_v, d_\omega$ $3.6\text{ s}$ $d_{\min} \ge 0.88\text{ m}$
Controller 4 1 Leader + 12 Followers Leader-Follower với cảm biến đo lường bị giới hạn $5.1\text{ s}$ $d_{\min} \ge 0.82\text{ m}$
Controller 5 4 Leaders + 12 Followers Đội hình phân tán bậc hai + Tránh chướng ngại vật $4.5\text{ s}$ $d_{\min} \ge 0.84\text{ m}$

Implications đa chiều

  • Về mặt học thuật: Cung cấp một phương pháp luận chuẩn tắc để điều khiển các hệ thống phi tuyến thiếu cơ cấu chấp hành trên nhóm Lie $\mathrm{SE}(3)$, mở đường cho việc áp dụng trên tàu ngầm tự hành (AUV), tàu vũ trụ và robot hình người.
  • Về mặt kỹ thuật: Cung cấp mã nguồn thuật toán và công thức giải tích trực tiếp, cho phép các kỹ sư nhúng tích hợp vào firmware của các bộ điều khiển bay mã nguồn mở như PX4, ArduPilot mà không cần nâng cấp phần cứng xử lý đắt tiền.
  • Về mặt ứng dụng thực tiễn: Đặt nền tảng cho việc triển khai các bầy drone tự hành quy mô lớn trong nông nghiệp chính xác, giám sát đường dây điện cao thế, tìm kiếm cứu nạn trong địa hình hiểm trở và vận chuyển hàng hóa tự động trong đô thị thông minh.
  • Về mặt chính sách: Cung cấp cơ sở khoa học để các cơ quan hàng không dân dụng (FAA, EASA, Cục Hàng không Việt Nam) xây dựng tiêu chuẩn phân cách an toàn tối thiểu cho các thiết bị bay không người lái hoạt động trong không gian đô thị (UAM - Urban Air Mobility).

Limitations và Future Research

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

  1. Giả định về khí động học bậc cao: Nghiên cứu bỏ qua hiệu ứng mặt đất (ground effect), hiện tượng trượt cánh quạt (blade flapping) và tương tác luồng khí xoáy giữa các drone khi bay ở cự ly cực gần.
  2. Mô hình truyền thông lý tưởng: Chưa xét đến hiện tượng trễ truyền thông ngẫu nhiên (stochastic time-delay), mất gói tin (packet dropouts) và lượng tử hóa tín hiệu đo lường trong môi trường tác chiến điện tử.
  3. Thực nghiệm dừng lại ở mô phỏng: Mặc dù các mô phỏng số học được tiến hành cực kỳ chi tiết, việc kiểm chứng trên dàn drone vật lý thực tế trong hầm gió hoặc ngoài trời chưa được thực hiện trong khuôn khổ luận án do giới hạn thời gian dự án.

Chương trình nghiên cứu tương lai định hướng 4 trọng tâm:

  • Mở rộng thuật toán trên nền tảng phần cứng nhúng thực tế (ROS2 / PX4 autopilot) với các bài bay ngoài trời chịu gió thực.
  • Phát triển cơ chế điều khiển kích hoạt theo sự kiện (Event-Triggered Control) nhằm tối ưu hóa băng thông mạng truyền thông giữa các UAVs.
  • Tích hợp công nghệ định vị và lập bản đồ đồng thời phân tán (Distributed SLAM) vào vòng lặp điều khiển phản hồi.
  • Ứng dụng kỹ thuật học tăng cường sâu (Deep Reinforcement Learning) để tự động tinh chỉnh các hệ số khuếch đại $k_1, k_2, k_3, k_4$ thích nghi với môi trường thay đổi liên tục.

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

Nghiên cứu của tác giả Nguyễn Đăng Hảo tại Đại học Lorraine tạo ra bước tiến quan trọng trong lĩnh vực điều khiển tự động:

  • Giá trị học thuật: Công trình tạo tiền đề cho nhiều bài báo khoa học chất lượng cao trên các tạp chí đầu ngành thuộc hệ thống IEEE (IEEE Transactions on Automatic Control, IEEE Transactions on Control Systems Technology) và IFAC Automatica, với tiềm năng trích dẫn cao trong cộng đồng nghiên cứu điều khiển hợp tác và UAVs.
  • Chuyển giao công nghiệp: Đóng góp trực tiếp vào các dự án công nghệ của Viện CRAN-CNRS và các tập đoàn hàng không vũ trụ châu Âu, cung cấp giải pháp điều khiển bầy đàn tin cậy cho các sứ mệnh tìm kiếm cứu nạn và an ninh quốc phòng.
  • Lợi ích xã hội: Thúc đẩy khả năng tự động hóa các nhiệm vụ nguy hiểm thay thế con người, giảm thiểu chi phí cứu hộ trong thảm họa thiên tai và nâng cao hiệu suất năng lượng của các phương tiện bay.

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

  • Nghiên cứu sinh và học viên cao học: Tiếp cận một tài liệu mẫu mực về phương pháp phân tích Lyapunov cho hệ thống thiếu cơ cấu chấp hành và đại số Quaternion trong không gian 3D.
  • Các nhà khoa học điều khiển học: Sở hữu một công cụ toán học hoàn chỉnh (Lemma 2.3 và Smooth Step Function) để phát triển các lý thuyết điều khiển phân tán mới.
  • Kỹ sư R&D trong ngành công nghiệp Drone: Nhận được giải pháp thuật toán sẵn sàng ứng dụng để nâng cấp tính năng tự hành và bay đội hình cho các dòng UAV thương mại.
  • Cơ quan quản lý không lưu: Sử dụng các chứng minh toán học về khoảng cách an toàn làm căn cứ ban hành khung pháp lý điều phối không gian bay tầm thấp.

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ì? Đó là việc thiết lập Bổ đề 2.3 (Lemma 2.3) về Thuật toán trích xuất hướng và lực đẩy. Thuật toán này thiết lập mối liên hệ giải tích tường minh giữa vector lực ảo $F \in \mathbb{R}^3$ và Quaternion tham chiếu $Q_d \in \mathbb{S}^3$ cùng góc yaw mong muốn $\psi_d$, giải quyết triệt để mâu thuẫn giữa việc tránh điểm kỳ dị của góc Euler và việc mất kiểm soát góc hướng đầu trong các y văn trước đó.

  2. Đột phá phương pháp luận so với các nghiên cứu trước đây thể hiện như thế nào? So với Roberts (2011), luận án kiểm soát hoàn toàn góc hướng đầu $\psi_d(t)$, ngăn chặn hoàn toàn hiện tượng tự quay quanh trục thẳng đứng. So với Do & Pan (2013), luận án đơn giản hóa cấu trúc hàm ảo trong các bước backstepping, kết hợp trực tiếp với toán tử chiếu vi phân Lipschitz giúp giảm tải khối lượng tính toán ma trận vi phân phức tạp.

  3. Phát hiện nào mang tính bất ngờ và có ý nghĩa kỹ thuật nhất? Đó là khả năng phân rã và điều khiển độc lập hai phân hệ tịnh tiến và quay mà vẫn bảo toàn tính ổn định tiệm cận toàn cục thông qua cấu trúc hàm Lyapunov bậc thang ($V_1 \to V_2 \to V_3 \to V_4$), ngay cả khi các tham số quán tính $J$ và khối lượng $m$ bị sai lệch tới $30%$ so với giá trị danh định.

  4. Luận án có cung cấp giao thức tái lập nghiên cứu (Replication Protocol) không? Có. Toàn bộ phương trình động lực học, ma trận biến đổi $R_\eta, K_\eta, R_Q, K_Q$, các bước chứng minh bổ đề/định lý (trong Phụ lục A và B), thông số vật lý chuẩn hóa của quadrotor, điều kiện khởi tạo trạng thái và hệ số khuếch đại điều khiển đều được trình bày chi tiết và minh bạch.

  5. Chương trình nghiên cứu 10 năm tiếp theo được định hình ra sao? Lộ trình phát triển bao gồm: Giai đoạn 1 (Hiện thực hóa trên dàn thử nghiệm thực tế với hệ thống camera Vicon/OptiTrack); Giai đoạn 2 (Tích hợp cảm biến trên bo mạch và điều khiển kích hoạt theo sự kiện); Giai đoạn 3 (Ứng dụng học máy và điều khiển bầy đàn quy mô lớn hàng trăm phương tiện trong môi trường đô thị dày đặc chướng ngại vật).

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Đăng Hảo đã đạt được 5 đóng góp học thuật xuất sắc:

  1. Xây dựng thành công thuật toán trích xuất hướng và lực đẩy không kỳ dị, tích hợp đồng thời biến điều khiển góc hướng đầu $\psi_d$.
  2. Phát triển bộ điều khiển cuốn chiếu thích nghi vững chắc, bù trừ hoàn toàn bất định tham số khối lượng, quán tính và nhiễu ngoại cảnh.
  3. Thiết kế hàm bước nhảy trơn $h(x, a, b)$ và tích hợp vào thuật toán tránh va chạm từng cặp, đảm bảo quỹ đạo điều khiển liên tục $C^\infty$.
  4. Mở rộng thành công 5 cấu trúc điều khiển đội hình đa tầng từ mô hình Cấu trúc ảo đến mô hình Phân cấp Dẫn đường - Bám theo với cảm biến đo lường bị giới hạn.
  5. Cung cấp hệ thống chứng minh toán học giải tích chặt chẽ theo tiêu chuẩn Lyapunov, khẳng định tính ổn định tiệm cận và tính đầy đủ về phía trước của toàn bộ hệ thống kín.

Công trình tạo ra bước chuyển đổi mô hình (paradigm shift) quan trọng trong lý thuyết điều khiển tự động: chuyển từ các tiếp cận xấp xỉ tuyến tính hóa cục bộ sang điều khiển phi tuyến toàn cục chính xác trên nhóm Lie $\mathrm{SE}(3)$, mở ra ba hướng nghiên cứu đột phá mới bao gồm điều khiển bầy đàn thích nghi trên mạng truyền thông biến thiên, điều khiển tích hợp thị giác máy tính phân tán và điều khiển tối ưu hóa năng lượng cho các phương tiện bay tự hành thế hệ mới trên quy mô toàn cầu.