Tổng quan nghiên cứu

Trong kỷ nguyên phát triển mạnh mẽ của phương tiện tự hành và robot di động thông minh, mô-đun định vị và xây dựng bản đồ đóng vai trò cốt lõi quyết định tính an toàn khi vận hành. Theo ước tính từ các chuyên gia trong ngành tự động hóa, việc mất tín hiệu định vị toàn cầu GPS xảy ra ở hơn 40% khu vực hoạt động thực tế như trong nhà xưởng, đường hầm ngầm, khu vực đô thị có mật độ nhà cao tầng dày đặc hoặc môi trường rừng rậm. Khi hệ thống GPS bị gián đoạn, sai số tích lũy từ hệ định vị quán tính thuần túy sử dụng cảm biến IMU giá thành thấp sẽ tăng theo hàm mũ, dẫn tới sai lệch quỹ đạo nghiêm trọng chỉ sau vài giây hoạt động.

Luận văn thạc sĩ chuyên ngành Kỹ thuật Điều khiển và Tự động hóa tại Trường Đại học Bách Khoa - ĐHQG TP.HCM đã giải quyết bài toán cấp thiết này bằng đề tài: "Xây dựng thuật toán định vị tích hợp IMU/LIDAR dùng bộ lọc Kalman lặp". Mục tiêu trọng tâm của nghiên cứu là xây dựng thuật toán kết hợp dữ liệu quán tính IMU tần số cao với dữ liệu mây điểm 3D từ cảm biến LiDAR thông qua bộ lọc Kalman mở rộng dạng lặp (IEKF) trên không gian đa tạp Lie, đồng thời mở rộng tích hợp cảm biến đo vận tốc bánh xe Encoder.

Nghiên cứu được triển khai thực hiện từ tháng 02/2023 đến tháng 12/2023 với hệ thống thực nghiệm di chuyển trên các cung đường trong nhà và ngoài trời tại khuôn viên Trường Đại học Bách Khoa TP.HCM. Luận văn đặt ra các chỉ tiêu kỹ thuật khắt khe: sai số vị trí theo khoảng cách tại điểm kết thúc hành trình không vượt quá 5.0% tổng quãng đường di chuyển và toàn bộ hệ thống ước lượng trạng thái 18 biến phải duy trì tần số cập nhật ổn định ở mức 10Hz, mở ra giải pháp định vị chính xác cao với chi phí phần cứng tối ưu cho các thiết bị tự hành.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên nền tảng kết hợp giữa cơ học quán tính, thị giác máy tính và lý thuyết ước lượng trạng thái phi tuyến hiện đại:

  • Lý thuyết nhóm Lie ma trận và không gian đa tạp trơn: Luận văn áp dụng không gian trạng thái phức hợp $SO(3) \times \mathbb{R}^{15}$ để mô tả chuyển động xoay 3 chiều và các đại lượng tịnh tiến. Việc biểu diễn ma trận xoay trong nhóm $SO(3)$ cùng các phép toán $\oplus$ và $\ominus$ giúp loại bỏ hoàn toàn hiện tượng khóa trục (Gimbal Lock) của các góc Euler truyền thống và xử lý đạo hàm ma trận một cách nhất quán.
  • Bộ lọc Kalman lặp (Iterated Extended Kalman Filter - IEKF): Khác với bộ lọc EKF thông thường chỉ tuyến tính hóa một lần duy nhất quanh trạng thái tiên nghiệm, IEKF kết hợp thuật toán tối ưu hóa Gauss-Newton để lặp lại bước tuyến tính hóa quanh điểm cập nhật mới nhất cho đến khi hàm mục tiêu đạt cực đại xác suất hậu nghiệm (MAP).
  • Mô hình động học cảm biến quán tính MEMS: Hệ thống tích hợp phương trình vi phân chuyển động 6 bậc tự do (6-DoF), bao gồm tính toán lực trọng trường Trái Đất, hiệu ứng lực Coriolis trên cảm biến con quay hồi chuyển, cùng việc ước lượng trực tuyến sai số lệch (bias) của gia tốc kế và vận tốc góc.
  • Lý thuyết khử méo dữ liệu mây điểm (Motion De-skewing): Mô hình bù chuyển động nội suy tuyến tính được xây dựng nhằm đồng bộ hóa thời gian lấy mẫu của từng điểm phản xạ laser trong một chu kỳ quét 100ms của LiDAR về cùng thời điểm quy chiếu với cảm biến IMU.

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

Hệ thống phương pháp luận được thiết kế đồng bộ từ mô phỏng toán học đến chế tạo phần cứng và thử nghiệm thực tế:

  • Nguồn dữ liệu thực nghiệm: Dữ liệu thô thu thập từ cảm biến gia tốc và vận tốc góc 3 trục (MEMS IMU) với tần số lấy mẫu 100Hz - 200Hz, cảm biến LiDAR thể rắn 3D Livox AVIA tạo mây điểm ở tần số 10Hz, cùng bộ mã hóa vòng quay bánh xe quang học Encoder 1024 xung/vòng. Dữ liệu đối chứng chuẩn (ground truth) sử dụng hệ thống định vị vệ tinh vi sai RTK-GNSS đạt độ chính xác centimet.
  • Quy mô và phương pháp chọn mẫu: Nghiên cứu thu thập và phân tích 8 bộ tập dữ liệu (datasets) độc lập với hơn 10.000 khung hình quét mây điểm. Phương pháp lấy mẫu phân tầng theo vận tốc (di chuyển chậm 0.5 m/s và di chuyển nhanh 1.8 m/s) và theo địa hình (hành lang kín Tòa nhà A4, sân trước Tòa nhà A2, vòng quanh khuôn viên trường với chiều dài hành trình từ 150m đến hơn 1.200m), kết hợp kiểm thử chéo trên bộ dữ liệu chuẩn quốc tế KAIST Urban Dataset.
  • Lý do lựa chọn phương pháp phân tích: Phương pháp hợp nhất chặt (Tightly-coupled) dựa trên bộ lọc IEKF được lựa chọn thay vì phương pháp tối ưu hóa đồ thị nhân tố (Factor Graph) vì thuật toán IEKF giảm thiểu hơn 50% khối lượng tính toán của CPU, cho phép thuật toán chạy mượt mà theo thời gian thực trên máy tính nhúng mà vẫn đảm bảo độ chính xác tiệm cận các giải pháp đồ thị phức tạp.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình phân tích dữ liệu thực nghiệm đã chứng minh tính hiệu quả vượt bậc của thuật toán đề xuất qua các chỉ số cụ thể:

  • Độ chính xác định vị vượt mục tiêu thiết kế: Trong tất cả các kịch bản thử nghiệm trong nhà và ngoài trời, sai số vị trí tích lũy theo quãng đường của thuật toán IMU/LiDAR IEKF dao động từ 1.15% đến 2.34%, thấp hơn rất nhiều so với ngưỡng giới hạn 5.0% đặt ra ban đầu. So với phương pháp định vị quán tính đơn lẻ IMU có độ trôi vượt quá 15.0% chỉ sau 60 giây, hệ thống tích hợp đã triệt tiêu đến 85% sai số tích lũy.
  • Hiệu quả khử méo mây điểm khi di chuyển nhanh: Ở vận tốc di chuyển 1.8 m/s, khối đồng bộ hóa Sensor Synchronizer giúp giảm thặng dư khoảng cách điểm - mặt phẳng trung bình từ 0.38m xuống còn 0.12m (giảm 68.4% độ lệch hình học), giúp bản đồ 3D không bị biến dạng hoặc chồng lấn điểm.
  • Sức mạnh hiệp đồng khi bổ sung Encoder: Khi thử nghiệm trên tập dữ liệu ngoài trời phức tạp dài 850m, việc bổ sung cảm biến Encoder vào bộ lọc IEKF (hệ IMU/LiDAR/Encoder) đã giúp cải thiện độ chính xác vị trí thêm 28.7% và giảm độ trôi trục thẳng đứng Z từ 0.45m xuống chỉ còn 0.16m so với hệ thống chỉ có IMU/LiDAR.
  • Tốc độ xử lý thời gian thực: Thời gian tính toán trung bình cho mỗi chu kỳ cập nhật dữ liệu LiDAR và tối ưu hóa lặp dao động trong khoảng 45ms đến 78ms, hoàn toàn đáp ứng chu kỳ lấy mẫu 100ms của cảm biến LiDAR (tần số 10Hz).

Thảo luận kết quả

Nguyên nhân chính giúp thuật toán đạt độ chính xác vượt trội nằm ở cơ chế lặp Gauss-Newton của bộ lọc IEKF trên đa tạp Lie $SO(3)$. Trong các góc cua gấp hoặc khi phương tiện đổi hướng đột ngột, ma trận Jacobian đo lường thay đổi rất mạnh; việc IEKF thực hiện từ 2 đến 4 vòng lặp cục bộ đã đưa trạng thái ước lượng tiệm cận cực trị của hàm hợp lý, ngăn chặn hoàn toàn hiện tượng phân kỳ thường gặp ở bộ lọc EKF tiêu chuẩn.

Khi so sánh với các nghiên cứu công bố quốc tế, kết quả của luận văn tương đương với thuật toán LINS và LOAM về độ chính xác quỹ đạo (độ sai lệch dưới 0.25m trên quãng đường 100m), nhưng vượt trội hơn về khả năng thích ứng trong các khu vực thiếu đặc trưng hình học nhờ luồng dự đoán liên tục từ IMU tần số 200Hz.

Toàn bộ dữ liệu thực nghiệm được trực quan hóa sinh động thông qua:

  1. Bản đồ mây điểm 3D tái hiện sắc nét các góc cạnh kiến trúc của các tòa nhà A4, A2 và khuôn viên Bách Khoa.
  2. Biểu đồ so sánh tọa độ 3 trục $X, Y, Z$ theo thời gian giữa thuật toán đề xuất và hệ thống camera quán tính thương mại.
  3. Đồ thị thanh biểu diễn phần trăm sai số vị trí tích lũy trên tổng quãng đường di chuyển cho từng tập dữ liệu thử nghiệm.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu và những hạn chế thực tế trong quá trình thử nghiệm, tác giả đưa ra 4 khuyến nghị mang tính hành động cao:

  • Tối ưu hóa kiến trúc xử lý nhúng phân tán: Các nhóm kỹ sư phát triển phần cứng robot nên phân tách tác vụ đọc cảm biến quán tính tần số cao (200Hz - 500Hz) sang vi điều khiển chuyên dụng STM32F4/F7 kết nối qua giao thức SPI/CAN, giải phóng tài nguyên cho máy tính nhúng chính (NVIDIA Jetson) nhằm giảm độ trễ giao tiếp hệ thống xuống dưới 3ms trong vòng 6 tháng tới.
  • Bổ sung mô-đun lọc bỏ đối tượng động học (Dynamic Object Filtering): Nhóm nghiên cứu cần tích hợp thuật toán phân đoạn mây điểm bằng mạng nơ-ron học sâu nhẹ vào quý 2/2024 nhằm loại bỏ trên 95% các điểm nhiễu sinh ra bởi người đi bộ và phương tiện di chuyển xung quanh, duy trì sai số bản đồ dưới mức 1.0% trong môi trường đông đúc.
  • Chuẩn hóa quy trình tự động cân chỉnh tham số ngoại (Online Extrinsic Calibration): Đơn vị vận hành robot nên phát triển thuật toán ước lượng ma trận chuyển đổi tọa độ trực tuyến giữa IMU, LiDAR và bánh xe trong vòng 3 tháng, giúp độ chính xác góc đặt cảm biến đạt mức tin cậy 99.5% mà không cần dựng khung cân chỉnh cơ khí phức tạp.
  • Tích hợp liên kết yếu định vị GNSS/RTK cho hành trình siêu dài: Các doanh nghiệp xe tự hành cần tích hợp thêm mô-đun thu nhận tín hiệu vệ tinh vào khung bộ lọc IEKF trong vòng 12 tháng tới, đảm bảo sai số định vị tuyệt đối toàn cầu luôn dưới 0.15m trên các hành trình di chuyển ngoài trời kéo dài trên 5km.

Đối tượng nên tham khảo luận văn

Công trình nghiên cứu mang giá trị thực tiễn và học thuật sâu sắc, đặc biệt hữu ích cho 4 nhóm đối tượng:

  • Kỹ sư R&D và Nhà phát triển Robot tự hành (AGV, AMR): Luận văn cung cấp toàn bộ sơ đồ cấu trúc phần cứng, giải thuật lập trình trên nền tảng ROS (Robot Operating System) và phương pháp tối ưu hóa bộ lọc IEKF, giúp kỹ sư rút ngắn 40% thời gian phát triển hệ thống định vị điều hướng cho robot công nghiệp trong nhà kho.
  • Nhà nghiên cứu và Học viên sau đại học ngành Tự động hóa - Cơ điện tử: Tài liệu này là nguồn tham khảo mẫu mực về việc ứng dụng lý thuyết nhóm Lie $SO(3)$ và đại số Lie vào các bài toán ước lượng trạng thái robot phi tuyến phức tạp với đầy đủ chứng minh toán học.
  • Doanh nghiệp và Start-up công nghệ xe tự lái: Luận văn mở ra giải pháp kết hợp cảm biến LiDAR thể rắn giá thành thấp với IMU MEMS và Encoder bánh xe, giúp các nhà sản xuất xe điện thông minh tiết kiệm đến 60% chi phí cảm biến mà vẫn đạt tiêu chuẩn an toàn định vị.
  • Giảng viên và Viện nghiên cứu chuyên ngành Kỹ thuật Đo lường: Bộ dữ liệu thực nghiệm phong phú kèm mã nguồn thuật toán và phân tích sai số chi tiết là học liệu thực tiễn xuất sắc phục vụ giảng dạy các môn học Robot học nâng cao và Xử lý tín hiệu cảm biến.

Câu hỏi thường gặp

1. Bộ lọc Kalman lặp (IEKF) vượt trội hơn bộ lọc EKF truyền thống như thế nào trong định vị LiDAR/IMU?

Bộ lọc EKF truyền thống chỉ tuyến tính hóa hàm đo lường phi tuyến một lần quanh trạng thái dự đoán tiên nghiệm, dễ gây phân kỳ khi góc quay thay đổi nhanh. Ngược lại, IEKF áp dụng thuật toán lặp Gauss-Newton từ 2 đến 4 lần quanh giá trị ước lượng mới nhất, giúp giảm hơn 45% sai số tuyến tính hóa và đạt nghiệm tối ưu xác suất hậu nghiệm chính xác.

2. Vì sao luận văn sử dụng lý thuyết nhóm Lie SO(3) thay vì các góc Euler để biểu diễn hướng?

Biểu diễn hướng bằng 3 góc Euler (Roll, Pitch, Yaw) thường gặp hiện tượng suy biến kỳ dị (khóa trục) khi góc Pitch tiến tới 90 độ, đồng thời gây khó khăn khi lấy đạo hàm. Không gian nhóm Lie $SO(3)$ cho phép thực hiện phép cộng trừ vi phân mượt mà trên không gian tiếp tuyến $\mathbb{R}^3$, đảm bảo ma trận xoay luôn trực giao và bảo toàn năng lượng chuyển động.

3. Thuật toán xử lý hiện tượng méo mây điểm LiDAR khi robot di chuyển tốc độ cao như thế nào?

Khi cảm biến LiDAR quay 1 vòng trong 100ms, chuyển động của robot khiến các điểm laser bị lệch vị trí. Khối Sensor Synchronizer sử dụng dữ liệu tích phân gia tốc và vận tốc góc từ IMU tần số 200Hz để nội suy quỹ đạo chính xác của từng điểm, kéo tất cả các điểm mây laser về cùng thời điểm kết thúc chu kỳ quét.

4. Việc bổ sung cảm biến Encoder bánh xe mang lại lợi ích gì cho hệ thống IMU/LiDAR?

Cảm biến Encoder cung cấp thông tin vận tốc tịnh tiến độc lập với tần số cập nhật cao, đóng vai trò như một liên kết ràng buộc vận tốc mặt phẳng. Trong các thử nghiệm thực tế, Encoder giúp hệ thống kiềm chế độ trôi trên trục Z giảm hơn 64% và duy trì ước lượng chính xác ngay cả khi LiDAR bị mất tín hiệu phản xạ.

5. Hệ thống định vị tích hợp này có thể triển khai trên các máy tính nhúng giá rẻ không?

Hoàn toàn khả thi. Nhờ cấu trúc tính toán ma trận thặng dư tối ưu hóa chặt chẽ trong IEKF, thuật toán chỉ chiếm dụng khoảng 35% đến 50% tài nguyên tính toán của CPU lõi tứ thông dụng, đạt độ trễ xử lý dưới 80ms trên mỗi chu kỳ quét 10Hz mà không đòi hỏi card đồ họa GPU rời công suất lớn.

Kết luận

Công trình nghiên cứu đã hoàn thành xuất sắc các mục tiêu khoa học và thực tiễn đề ra với những đóng góp nổi bật:

  • Xây dựng hoàn chỉnh thuật toán định vị tích hợp IMU/LiDAR trên nền tảng bộ lọc Kalman lặp IEKF và không gian nhóm Lie $SO(3)$, giải quyết triệt để bài toán trôi sai số quán tính.
  • Phát triển thành công thuật toán mở rộng kết hợp 3 cảm biến IMU/LiDAR/Encoder, nâng cao độ tin cậy định vị trong các môi trường địa hình phức tạp.
  • Triển khai toàn diện hệ thống phần cứng thực nghiệm cùng phần mềm thu thập, giám sát dữ liệu thời gian thực trên nền tảng mã nguồn mở ROS.
  • Kiểm chứng thực nghiệm qua 8 tập dữ liệu thực tế, khẳng định sai số vị trí luôn được khống chế dưới 2.34% (vượt mức cam kết 5.0%) với tần số làm việc chuẩn 10Hz.
  • Đề ra lộ trình 6 đến 12 tháng để hoàn thiện mô-đun lọc vật thể động và tích hợp vi điều khiển thời gian thực.

Luận văn là tài liệu tham khảo chuyên môn giá trị, cung cấp giải pháp công nghệ làm chủ thuật toán định vị tự chủ cho các kỹ sư và nhà nghiên cứu trong lĩnh vực phương tiện thông minh. Quý độc giả quan tâm có thể tiếp tục nghiên cứu sâu mã nguồn thuật toán và ứng dụng trực tiếp vào các dự án robot tự hành thế hệ mới.