Tổng quan nghiên cứu

Hệ thống đa robot tự hành (Multi-Robot Systems) đang trở thành trọng tâm nghiên cứu mũi nhọn trong lĩnh vực tự động hóa và điều khiển học hiện đại. Các nghiên cứu thực nghiệm trong tự nhiên và kỹ thuật hàng không chỉ ra rằng việc di chuyển theo đội hình có thể giúp tiết kiệm tới 15% nhiên liệu tiêu thụ và giảm 25% lượng khí thải ô nhiễm đối với phi đội bay ba phương tiện, đồng thời có khả năng gia tăng phạm vi hoạt động của toàn nhóm lên đến 71%. Tuy nhiên, việc duy trì cấu trúc hình học ổn định cho đội hình robot di động bánh xe chịu ràng buộc phi holonomic (non-holonomic mobile robots) trong không gian hai chiều luôn đối mặt với thách thức nghiêm trọng: các phương tiện chỉ sử dụng cảm biến gắn trên thân (on-board sensors), giới hạn băng thông truyền thông, thiếu thông tin vận tốc tức thời của robot dẫn đầu và chịu ảnh hưởng nặng nề bởi nhiễu môi trường cùng vật cản tĩnh.

Luận văn tiến sĩ kỹ thuật chuyên ngành Kỹ thuật Điện - Robot và Điều khiển tại Đại học Yeungnam của tác giả Trần Việt Hồng, dưới sự hướng dẫn của Giáo sư Lee Suk Gyu, đã giải quyết toàn diện bài toán điều khiển đội hình bám đuôi người dẫn đầu (leader-follower) trong môi trường nhiều nhiễu. Mục tiêu cốt lõi của nghiên cứu là thiết kế một bộ điều khiển phi tuyến ổn định toàn cục, loại bỏ hoàn toàn yêu cầu đo đạc trực tiếp vận tốc dài và vận tốc góc của robot dẫn đầu, đồng thời tích hợp giải thuật né tránh vật cản linh hoạt và giải pháp lọc nhiễu sóng siêu âm dựa trên biến đổi sóng con (Wavelet Transform). Phạm vi nghiên cứu được thực hiện và kiểm chứng trong giai đoạn từ năm 2006 đến 2010 thông qua các mô hình toán học giải tích và 5 kịch bản mô phỏng chuyên sâu từ nhóm nhỏ 3 phương tiện đến quy mô mở rộng trên 5 phương tiện, hoạt động tin cậy ngay cả khi độ ồn tín hiệu cảm biến đạt mức tỷ số tín hiệu trên nhiễu dưới âm 40 dB.

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 xây dựng trên nền tảng động học của robot di động bánh xe hai bậc tự do chịu ràng buộc phi holonomic. Trạng thái chuyển động của mỗi robot thứ i được mô tả thông qua mô hình unicycle với phương trình trạng thái phi tuyến: vận tốc theo trục x là tích của vận tốc dài và cos góc hướng, vận tốc theo trục y là tích của vận tốc dài và sin góc hướng, tốc độ biến thiên góc hướng bằng vận tốc góc.

Khung lý thuyết điều khiển kết hợp đồng thời hai cấu trúc liên kết: Mô hình Một Người dẫn đầu – Một Người bám đuôi (Single Leader – Single Follower hay SLSF) và cấu trúc đột phá Hai Người dẫn đầu – Một Người bám đuôi (Two Leaders – Single Follower hay TLSF). Trong cấu trúc TLSF, mỗi robot bám đuôi duy trì đồng thời hai khoảng cách hình học xác định với robot dẫn đầu chính và robot dẫn đầu phụ, cùng góc phương vị tức thời biến thiên theo thời gian.

Nền tảng ổn định của hệ thống được chứng minh chặt chẽ thông qua Lý thuyết Ổn định Lyapunov với hàm ứng viên xác định dương toàn phần. Luận văn giới thiệu các khái niệm then chốt bao gồm: điểm tham chiếu động học, góc phương vị tức thời, sự xấp xỉ gia tốc tịnh tiến và gia tốc góc của robot dẫn đầu dựa trên phân tích hình học vị trí thuần túy từ cảm biến cục bộ.

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

Nghiên cứu sử dụng phương pháp mô hình hóa toán học kết hợp mô phỏng số học thực nghiệm trên môi trường tính toán kỹ thuật số chuẩn. Nguồn dữ liệu kiểm chứng được xây dựng từ các quỹ đạo chuyển động phi tuyến phức tạp (quỹ đạo thẳng, quỹ đạo cong, chuyển hướng gấp) của robot dẫn đầu và dữ liệu thu nhận mô phỏng từ cảm biến khoảng cách siêu âm trong điều kiện nhiễu Gauss trắng nhân tạo.

Cỡ mẫu đánh giá bao gồm 5 kịch bản mô phỏng đa dạng với quy mô đội hình từ 3 đến 5 robot, thực hiện hơn 100 chu kỳ thử nghiệm để đánh giá sai số bám quỹ đạo và thời gian hội tụ. Phương pháp chọn mẫu tập trung vào các trường hợp biên ngặt nghèo nhất: chuyển đổi cấu hình đội hình từ dạng tam giác sang dạng đường thẳng, né tránh một hoặc hai vật cản liên tiếp che khuất tầm nhìn cảm biến, và xử lý tín hiệu cảm biến ở các mức tỷ số tín hiệu trên nhiễu biến thiên từ 0 dB xuống đến âm 40 dB.

Lý do lựa chọn phương pháp phân tích sóng con cải tiến (bao gồm giải thuật lọc tiền xử lý IWP-GCC và giải thuật tích vô hướng miền sóng con IWDIP sử dụng họ sóng con Symlet bậc 8) là nhằm khắc phục triệt để nhược điểm trễ pha và nhạy cảm nhiễu của phương pháp tương quan chéo truyền thống, bảo đảm tín hiệu đo khoảng cách đạt độ chính xác cao trong thời gian tính toán thực tế dưới 0.05 giây.

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

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

Thứ nhất, cấu trúc điều khiển TLSF loại bỏ hoàn toàn hiện tượng dao động tích lũy và suy giảm đáp ứng dọc theo chuỗi robot bám đuôi. Đối với các robot ở vị trí thứ ba và thứ tư trong đội hình lớn, luật điều khiển mới giúp giảm hơn 45% độ vọt lố sai số vị trí và rút ngắn 40% thời gian xác lập trạng thái ổn định so với các luật điều khiển SLSF tiêu chuẩn trong y văn quốc tế.

Thứ hai, việc xấp xỉ gia tốc tịnh tiến và gia tốc góc của robot dẫn đầu thông qua phân tích động học cục bộ cho phép hệ thống duy trì quỹ đạo hoàn hảo mà không cần lắp đặt thêm thiết bị đo vận tốc phức tạp hay kênh truyền thông tốc độ cao giữa các robot. Sai số khoảng cách và sai số góc phương vị đều hội tụ tiệm cận mũ về 0 khi thời gian tiến tới vô cùng.

Thứ ba, giải thuật né tránh vật cản dựa trên nguyên lý chuyển đổi mềm dẻo giữa hai mô hình TLSF và SLSF chứng minh hiệu quả vượt trội. Khi gặp một hoặc nhiều vật cản tĩnh cản trở tầm nhìn của cảm biến, robot tự động đổi vai trò người dẫn đầu cục bộ, vòng qua chướng ngại vật và tái lập chính xác hình học đội hình ban đầu trong khoảng thời gian từ 2.5 đến 4.0 giây sau khi vượt qua vật cản.

Thứ tư, hai giải pháp nâng cao đo khoảng cách siêu âm IWP-GCC và IWDIP duy trì tỷ lệ lỗi ước lượng thời gian trễ dưới 5% tại mức nhiễu cực đại với tỷ số tín hiệu trên nhiễu đạt âm 40 dB. Ngay cả khi sai số đo khoảng cách từ cảm biến tăng lên mức 30% và 42%, luật điều khiển đề xuất vẫn giữ vững quỹ đạo chuyển động ổn định của toàn đội hình mà không xảy ra va chạm.

Thảo luận kết quả

Cơ chế mang lại sự vượt trội của mô hình TLSF bắt nguồn từ việc bổ sung ràng buộc hình học tam giác khép kín giữa một robot bám đuôi và hai robot dẫn đầu liền kề, tạo ra lực giằng động học giúp triệt tiêu dao động ngang. Khác với các công trình nghiên cứu trước đây vốn phải giả định gia tốc của robot dẫn đầu bằng 0 để tách kênh hệ thống, phương pháp phân tích động học trong luận văn này bù trừ liên tục sự thay đổi vận tốc tại từng bước thời gian tính toán.

Khi trình bày dữ liệu qua các đồ thị không gian trạng thái và bảng thống kê sai số chuyển dời, sai số khoảng cách của cấu trúc đề xuất luôn dao động trong biên độ cực hẹp dưới 0.05 mét, so với mức sai số vượt quá 0.25 mét của các thuật toán kinh điển. Kết quả so sánh trực quan trên biểu đồ thời gian trễ theo tỷ số tín hiệu trên nhiễu khẳng định phương pháp sóng con Symlet bậc 8 giữ vững đỉnh tương quan rõ nét, trong khi các phương pháp tương quan pha truyền thống hoàn toàn bị mất dấu tín hiệu khi độ ồn vượt quá âm 20 dB.

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

Thứ nhất, các đơn vị phát triển hệ thống robot công nghiệp cần áp dụng ngay cấu trúc điều khiển phân tán TLSF cho các phi đội xe tự hành AGV trong nhà máy thông minh. Mục tiêu là cắt giảm ít nhất 35% độ trễ xử lý cảm biến và tiết kiệm chi phí đầu tư hạ tầng mạng truyền thông công nghiệp, với lộ trình triển khai thử nghiệm trên quy mô 4 đến 8 phương tiện trong vòng 6 tháng tới.

Thứ hai, các kỹ sư phần cứng nhúng cần tích hợp trực tiếp thuật toán định vị sóng con cải tiến IWDIP vào chip xử lý tín hiệu số DSP trên các mô-đun cảm biến siêu âm. Việc này nhằm mục tiêu khống chế sai số đo đạc dưới 3% trong điều kiện môi trường nhà xưởng có độ ồn âm học cao, hoàn thiện giải pháp phần sụn trong thời hạn 9 tháng do đội ngũ kỹ thuật cảm biến chủ trì.

Thứ ba, các doanh nghiệp logistics và tự động hóa kho bãi nên xây dựng giao thức chuyển đổi trạng thái động thích nghi vật cản dựa trên quy tắc chuyển giao vai trò dẫn đầu cục bộ. Chỉ tiêu đặt ra là nâng cao 25% hiệu suất lưu thông của đoàn xe tự hành trong không gian hẹp, thực hiện đánh giá an toàn thực địa định kỳ trong vòng 12 tháng.

Thứ tư, các nhóm nghiên cứu học thuật cần tiếp tục mở rộng mô hình toán học giải tích từ không gian 2D sang không gian 3D. Hướng đi này nhằm ứng dụng nguyên lý xấp xỉ gia tốc động học cho các phi đội máy bay không người lái UAV và tàu ngầm tự hành UUV, hướng tới mục tiêu tối ưu hóa 20% mức tiêu hao năng lượng đội hình trong lộ trình 18 tháng.

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

Thứ nhất, kỹ sư thiết kế hệ thống Robot và Xe tự hành (Robotics & AGV Engineers): Tiếp cận thuật toán bám đuôi ổn định vững chắc mà không cần phụ thuộc vào cảm biến vận tốc đắt tiền hay hệ thống định vị toàn cầu GPS trong nhà xưởng kín.

Thứ hai, các nhà nghiên cứu chuyên sâu về Điều khiển Tự động và Hệ thống Đa tác tử: Khai thác phương pháp luận chứng minh tính ổn định phi tuyến theo chuẩn Lyapunov cho các hệ cơ điện tử chịu ràng buộc phi holonomic phức tạp.

Thứ three, chuyên gia Xử lý Tín hiệu số và Kỹ thuật Cảm biến: Tham khảo chi tiết giải pháp lọc nhiễu Wavelet thời gian thực để tăng cường độ chính xác cho các dòng cảm biến khoảng cách làm việc trong môi trường công nghiệp khắc nghiệt.

Thứ tư, giảng viên, học viên cao học và sinh viên các ngành Kỹ thuật Điều khiển, Tự động hóa, Cơ điện tử: Sử dụng làm tài liệu chuyên khảo mẫu mực về mô hình hóa toán học, kỹ thuật mô phỏng trên nền tảng kỹ thuật số và phương pháp phát triển thuật toán điều khiển phân tán.

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

Mô hình điều khiển Hai Người dẫn đầu – Một Người bám đuôi TLSF có ưu điểm gì vượt trội so với mô hình SLSF truyền thống?

Cấu trúc TLSF thiết lập ràng buộc khoảng cách kép tới hai robot phía trước, giúp tạo ra cấu trúc hình học tam giác vững chắc. Điều này giúp dập tắt hoàn toàn các dao động uốn lượn lan truyền dọc theo hàng robot, nâng cao tốc độ hội tụ thêm 40% và duy trì sự ổn định ngay cả với đội hình quy mô lớn.

Làm thế nào bộ điều khiển duy trì bám quỹ đạo chính xác khi không đo được vận tốc của robot dẫn đầu?

Bộ điều khiển sử dụng kỹ thuật phân tích động học vị trí tương đối để ước lượng trực tiếp gia tốc tịnh tiến và gia tốc góc tức thời của người dẫn đầu. Các thành phần gia tốc ước lượng này đóng vai trò bù sai lệch trong luật điều khiển phi tuyến, giúp robot bám sát chuyển động thực tế mà không cần cảm biến vận tốc ngoài.

Giải thuật né tránh vật cản xử lý ra sao khi một robot bị mất liên lạc hoặc che khuất tầm nhìn với robot dẫn đầu?

Khi gặp vật cản chia cắt liên kết cảm biến, hệ thống sẽ linh hoạt chuyển đổi cục bộ từ cấu trúc TLSF sang SLSF hoặc chuyển giao vai trò dẫn đầu sang một thành viên khác trong vùng quan sát. Khi đã vượt qua vật cản, robot lập tức tái lập liên kết kép để đưa toàn đội hình trở về hình dạng chuẩn.

Tại sao phương pháp lọc sóng con IWP-GCC và IWDIP lại hiệu quả hơn phương pháp tương quan chéo kinh điển?

Phương pháp tương quan chéo thông thường dễ bị biến dạng đỉnh xung khi tín hiệu bị nhiễu nặng bao phủ. Kỹ thuật sóng con Symlet bậc 8 kết hợp dự đoán miền sóng con giúp bóc tách chính xác thành phần tín hiệu phản xạ hữu ích, duy trì sai số ước lượng độ trễ dưới 5% ngay cả khi tỷ số tín hiệu trên nhiễu giảm sâu xuống âm 40 dB.

Hệ thống có bảo đảm độ ổn định toán học khi tăng số lượng robot trong đội hình lên mức hàng chục xe hay không?

Tính ổn định tiệm cận toàn cục của hệ thống đã được chứng minh thông qua hàm Lyapunov cho từng đơn vị liên kết cục bộ. Do thuật toán hoạt động theo nguyên lý phân tán và chỉ dựa vào thông tin cảm biến lân cận, quy mô toàn nhóm có thể mở rộng linh hoạt mà không gây quá tải tính toán cho bộ điều khiển trung tâm.

Kết luận

  • Luận văn đã giải quyết triệt để bài toán điều khiển đội hình bám đuôi cho hệ đa robot phi holonomic 2 bậc tự do chỉ sử dụng dữ liệu khoảng cách và góc từ cảm biến gắn trên thân.
  • Đề xuất thành công cấu trúc điều khiển liên kết Hai Người dẫn đầu – Một Người bám đuôi (TLSF), triệt tiêu dao động lan truyền và tăng tốc độ hội tụ vượt bậc cho các thành viên trong nhóm.
  • Xây dựng thuật toán ước lượng gia tốc động học sáng tạo, loại bỏ hoàn toàn yêu cầu đo đạc trực tiếp vận tốc dài và vận tốc góc của phương tiện dẫn đường.
  • Phát triển giải thuật né tránh vật cản tĩnh linh hoạt dựa trên cơ chế chuyển đổi mềm dẻo cấu trúc liên kết, bảo đảm tính ổn định liên tục theo tiêu chuẩn Lyapunov.
  • Sáng tạo hai giải pháp lọc sóng con IWP-GCC và IWDIP giúp cảm biến siêu âm hoạt động chính xác tuyệt đối ngay cả ở môi trường nhiễu khắc nghiệt với tỷ số tín hiệu trên nhiễu dưới âm 40 dB.

Trong giai đoạn 12 đến 24 tháng tới, các nhóm phát triển công nghệ tự hành cần xúc tiến chuyển giao các thuật toán này lên phần cứng vi điều khiển thực tế và mở rộng thử nghiệm trên các phương tiện không người lái đa môi trường. Luận văn là công trình khoa học có giá trị học thuật và ứng dụng thực tiễn cao, đóng góp nền tảng vững chắc cho sự phát triển của ngành robot thông minh.