Tổng quan nghiên cứu

Sự phát triển mạnh mẽ của khoa học kỹ thuật đã thúc đẩy quá trình chuyển dịch từ việc ứng dụng các robot độc lập sang các hệ thống đa robot có khả năng hợp tác giải quyết các nhiệm vụ phức tạp. Thống kê từ cơ sở dữ liệu học thuật quốc tế IEEE cho thấy số lượng công bố về hệ thống đa robot đã tăng trưởng từ mức trung bình khoảng 10 bài báo mỗi năm trong giai đoạn trước năm 2000 lên mức đỉnh điểm 228 bài báo vào năm 2009 và duy trì ổn định quanh ngưỡng 200 bài báo mỗi năm trong các giai đoạn tiếp theo.

Vấn đề then chốt trong điều khiển hệ thống đa tác tử là bài toán hình thành và duy trì cấu hình đội hình mong muốn khi toàn bộ nhóm di chuyển theo một quỹ đạo xác định. Thách thức lớn nhất phát sinh từ bản chất phi tuyến cùng các ràng buộc động học khắt khe của từng robot thành viên, đòi hỏi giải thuật điều khiển vừa phải đảm bảo tính đồng bộ, vừa phải triệt tiêu sai số vị trí theo thời gian thực.

Nghiên cứu tập trung giải quyết bài toán mô hình hóa động học và thiết kế thuật toán điều khiển cho đội hình gồm 2 đến 3 robot di động vi sai dựa trên chiến lược dẫn đầu bám theo. Mục tiêu cụ thể là xây dựng bộ điều khiển động học phi tuyến giúp robot bám theo duy trì chính xác khoảng cách và góc lệch tương đối so với robot dẫn đầu khi di chuyển theo quỹ đạo đường thẳng và đường tròn.

Phạm vi nghiên cứu được thực hiện tại Trường Đại học Bách Khoa thuộc Đại học Quốc gia Thành phố Hồ Chí Minh trong thời gian từ tháng 07 năm 2016 đến tháng 07 năm 2017. Ý nghĩa khoa học và thực tiễn của công trình thể hiện ở việc ứng dụng phương pháp Lyapunov trực tiếp để chứng minh tính ổn định tiệm cận, giúp sai số động học hội tụ về 0 trong khoảng thời gian từ 2.0 đến 5.0 giây, loại bỏ hoàn toàn sai số xác lập và đảm bảo hệ thống tự phục hồi ổn định sau khi chịu tác động của nhiễu đo lường.

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 sự tích hợp của ba nền tảng lý thuyết điều khiển tự động và cơ điện tử hiện đại:

Thứ nhất, lý thuyết động học robot di động vi sai có bánh dẫn động độc lập. Robot chịu ràng buộc chuyển động phi holonomic với phương trình vi phân ràng buộc không trượt theo phương ngang trục bánh xe. Toàn bộ chuyển động trong mặt phẳng hai chiều được xác định thông qua tâm quay tức thời, vận tốc tịnh tiến và vận tốc góc của khối tâm.

Thứ hai, chiến lược điều khiển đội hình dẫn đầu bám theo theo mô hình khoảng cách và góc tương đối. Cấu hình hình học của đội hình được xác định bởi cự ly phân tách giữa trọng tâm hai robot và góc kẹp tạo bởi đường nối tâm với vector vận tốc của robot dẫn đầu. Mô hình này thiết lập liên kết phi tập trung, giúp giảm khối lượng truyền thông toàn cục.

Thứ ba, lý thuyết ổn định phi tuyến Lyapunov trực tiếp. Phương pháp này cho phép tổng hợp luật điều khiển và kiểm chứng trạng thái cân bằng của hệ thống sai số động học mà không cần tuyến tính hóa quanh điểm làm việc.

Các khái niệm then chốt bao gồm: vector tư thế trạng thái toàn cục, vector sai số động học tư thế trong hệ quy chiếu cục bộ, hàm mục tiêu Lyapunov xác định dương và điều kiện hội tụ tiệm cận toàn cục khi đạo hàm bậc nhất của hàm Lyapunov nửa xác định âm.

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

Nghiên cứu thu thập dữ liệu thông qua mô hình toán học giải tích và các thông số hình học chuẩn của hệ thống cơ điện tử. Cỡ mẫu nghiên cứu bao gồm 6 kịch bản mô phỏng chuyên sâu được chia đều cho hai dạng quỹ đạo di chuyển cơ bản là quỹ đạo đường thẳng và quỹ đạo đường tròn.

Phương pháp chọn mẫu áp dụng kỹ thuật thiết lập thông số có chủ đích với các điều kiện biên xác định: khoảng cách đặt mong muốn là 0.5 mét; góc kẹp mong muốn cho robot bám theo thứ nhất là 3pi/4 radian và robot bám theo thứ hai là 5pi/4 radian. Vận tốc tịnh tiến danh định của robot dẫn đầu được thiết lập ở mức 0.6 m/s, vận tốc góc ở mức 0.3 rad/s đối với quỹ đạo cong và 0 rad/s đối với quỹ đạo thẳng.

Phương pháp phân tích số trị được thực hiện trên môi trường MATLAB với chu kỳ lấy mẫu 0.01 giây trong tổng thời gian khảo sát 20 giây cho mỗi chu trình. Lý do lựa chọn phương pháp mô phỏng số giải tích xuất phát từ nhu cầu kiểm chứng chính xác tính hội tụ toán học của hàm Lyapunov, phân tích tính ổn định của hệ phi tuyến phức tạp và đánh giá mức độ kháng nhiễu ngẫu nhiên thời lượng 0.5 giây mà không làm phát sinh rủi ro va chạm cơ khí trên mô hình phần cứng thực tế.

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

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

Quá trình mô phỏng và kiểm chứng giải thuật đã đem lại các kết quả định lượng cụ thể:

Thứ nhất, trong kịch bản chuyển động theo quỹ đạo đường thẳng không có nhiễu, sai số động học theo cả ba thành phần tọa độ dọc, tọa độ ngang và góc hướng đều hội tụ hoàn toàn về giá trị 0 sau 3.0 giây. Khi đưa nhiễu ngẫu nhiên tác động vào cảm biến đo khoảng cách trong 0.5 giây tại thời điểm giây thứ 10, hệ thống nhanh chóng tự điều chỉnh và tái lập đội hình ổn định sau 3.0 giây, với tổng thời gian xác lập ban đầu đạt 5.0 giây.

Thứ hai, khi di chuyển theo quỹ đạo đường tròn, sai số tọa độ dọc và ngang hội tụ về 0 trong vòng 2.0 giây. Vận tốc tịnh tiến xác lập của robot bám theo đạt mức 0.5 m/s, thấp hơn khoảng 16.7% so với vận tốc 0.6 m/s của robot dẫn đầu do robot bám theo di chuyển trên quỹ đạo đường tròn đồng tâm phía trong có chu vi ngắn hơn.

Thứ ba, đối với cấu hình mở rộng gồm 3 robot di chuyển trên quỹ đạo tròn, robot bám theo ở vòng cung phía trong đạt vận tốc 0.5 m/s trong khi robot bám theo ở vòng cung phía ngoài đạt vận tốc 0.7 m/s, tạo ra mức chênh lệch vận tốc 40% giữa hai robot bám theo nhằm duy trì cấu hình hình học đối xứng với khoảng cách đặt 0.5 mét.

Thứ tư, vận tốc góc của các robot bám theo luôn bám sát và đạt giá trị đồng nhất với vận tốc góc của robot dẫn đầu trong khoảng thời gian từ 1.0 đến 2.5 giây, triệt tiêu hoàn toàn sai số xác lập về tốc độ quay.

Thảo luận kết quả

Hiện tượng chênh lệch vận tốc tịnh tiến giữa các robot khi bám theo quỹ đạo đường tròn phản ánh chính xác bản chất hình học vi phân của chuyển động cong. Để duy trì cự ly và góc kẹp không đổi trong không gian, robot ở quỹ đạo ngoài bắt buộc phải tăng tốc độ dài để bù đắp cho quãng đường di chuyển lớn hơn trong cùng một khoảng thời gian.

So với chiến lược điều khiển dự báo mô hình vốn đòi hỏi tài nguyên tính toán ma trận lớn hoặc chiến lược dựa trên hành vi thường thiếu các chứng minh hội tụ chặt chẽ, giải thuật Lyapunov trực tiếp cho thấy ưu thế vượt trội về độ ổn định tiệm cận toàn cục và khả năng tính toán thời gian thực với cấu trúc phương trình đơn giản.

Các dữ liệu động học trong nghiên cứu có thể được tổng hợp trực quan qua bảng thông số quá độ và hệ thống đồ thị thời gian thực. Đồ thị đáp ứng sai số vị trí theo trục thời gian 0 đến 20 giây minh họa rõ nét quá trình suy giảm biên độ dao động, trong khi biểu đồ pha không gian hai chiều thể hiện sự trùng khớp tuyệt đối giữa quỹ đạo thực tế của robot bám theo và quỹ đạo mong muốn sau khi kết thúc giai đoạn quá độ.

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

Nhằm nâng cao hiệu quả vận hành và mở rộng khả năng ứng dụng thực tế của thuật toán, một số giải pháp kỹ thuật cụ thể được đề xuất:

Thứ nhất, tối ưu hóa bộ tham số điều khiển của hệ thống. Nhóm nghiên cứu cơ điện tử cần áp dụng các thuật toán tiến hóa như giải thuật di truyền hoặc tối ưu bầy đàn để tinh chỉnh tự động các hệ số khuếch đại, hướng tới mục tiêu rút ngắn thời gian xác lập xuống dưới 1.5 giây và giảm độ vọt lố vận tốc góc xuống dưới 8% trong thời gian 6 tháng tới.

Thứ hai, tích hợp thuật toán lọc và dung hợp dữ liệu cảm biến. Các kỹ sư điều khiển tự động cần xây dựng bộ lọc Kalman mở rộng nhằm loại bỏ nhiễu trắng và bù trừ sai số đo khoảng cách từ cảm biến quang học hoặc sóng siêu âm, nâng độ chính xác định vị đội hình đạt trên 98% trong lộ trình 9 tháng.

Thứ ba, bổ sung cơ chế phòng tránh va chạm động. Phòng thí nghiệm Robotics cần kết hợp giải thuật trường thế năng nhân tạo hoặc phương pháp cửa sổ vận động lực học vào bộ điều khiển phi tuyến nhằm duy trì cự ly an toàn tối thiểu 0.3 mét giữa các xe và vật cản trong môi trường làm việc trong thời gian 12 tháng.

Thứ tư, triển khai thử nghiệm thực nghiệm trên hệ thống xe tự hành công nghiệp. Doanh nghiệp tự động hóa phối hợp với cơ sở đào tạo chế tạo nhóm 3 đến 5 robot tự hành trang bị hệ thống định vị cục bộ để kiểm chứng giải thuật trong môi trường kho vận thông minh với kế hoạch hoàn thành trong 18 tháng.

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

Nội dung và kết quả nghiên cứu mang lại giá trị tham khảo thiết thực cho 4 nhóm đối tượng chuyên môn:

Thứ nhất, học viên cao học và nghiên cứu sinh chuyên ngành Cơ điện tử, Kỹ thuật Điều khiển và Tự động hóa. Luận văn cung cấp phương pháp luận chặt chẽ trong việc thiết lập mô hình toán học cho hệ phi holonomic và kỹ thuật xây dựng hàm Lyapunov cho các hệ phi tuyến phức tạp.

Thứ hai, kỹ sư nghiên cứu và phát triển tại các doanh nghiệp chế tạo robot công nghiệp và xe tự hành. Công trình mang lại giải pháp thiết kế bộ điều khiển bám đội hình với chi phí tính toán thấp, dễ dàng cài đặt trên các bộ vi điều khiển nhúng trong dây chuyền sản xuất tự động.

Thứ ba, giảng viên và cán bộ nghiên cứu tại các trường đại học kỹ thuật. Toàn bộ cấu trúc mô hình giải tích, lưu đồ thuật toán và mã nguồn mô phỏng có thể sử dụng làm học liệu tham khảo cho các môn học Robot di động nâng cao và Hệ thống điều khiển đa tác tử.

Thứ tư, các chuyên gia phát triển giải pháp công nghệ trong nông nghiệp thông minh và an ninh quốc phòng. Cấu trúc điều khiển đội hình đa robot là nền tảng để triển khai các hệ thống phương tiện không người lái phục vụ trinh sát địa hình, phun thuốc bảo vệ thực vật diện rộng hoặc rà phá bom mìn tự động.

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

Ràng buộc phi holonomic của robot di động vi sai ảnh hưởng thế nào đến giải thuật điều khiển?

Ràng buộc phi holonomic ngăn cản chuyển động trượt ngang của bánh xe, khiến số biến điều khiển nhỏ hơn số bậc tự do trạng thái trong mặt phẳng. Bộ điều khiển phải phối hợp phi tuyến giữa vận tốc dài và vận tốc góc để vừa đưa robot về đúng vị trí mong muốn, vừa đảm bảo vector hướng chuyển động trùng khớp với quỹ đạo mục tiêu.

Tại sao chiến lược dẫn đầu bám theo được lựa chọn thay vì cấu trúc điều khiển tập trung?

Cấu trúc phi tập trung dẫn đầu bám theo loại bỏ sự phụ thuộc vào máy chủ trung tâm, giảm tải lưu lượng truyền thông và hạn chế nguy cơ tê liệt toàn bộ hệ thống khi có sự cố. Mỗi robot bám theo chỉ cần thu thập thông số cự ly 0.5 mét và góc lệch cục bộ so với xe đi trước để tính toán luật điều khiển.

Vai trò của hàm Lyapunov trong việc chứng minh tính ổn định của hệ thống là gì?

Hàm Lyapunov đóng vai trò là hàm năng lượng đại diện cho tổng bình phương sai số vị trí và góc hướng. Khi thiết kế luật điều khiển sao cho đạo hàm theo thời gian của hàm này luôn nhỏ hơn hoặc bằng 0, hệ thống được bảo đảm về mặt toán học sẽ tự động triệt tiêu mọi sai số quá độ và đạt trạng thái cân bằng tiệm cận.

Tại sao vận tốc tịnh tiến của các robot bám theo lại khác nhau trên quỹ đạo tròn?

Khi toàn đội hình di chuyển trên quỹ đạo cong, các robot phải giữ nguyên cấu hình hình học nên tạo thành các cung tròn có bán kính khác nhau. Robot ở vòng ngoài phải di chuyển quãng đường dài hơn với vận tốc 0.7 m/s, trong khi robot ở vòng trong chỉ cần vận tốc 0.5 m/s để duy trì sự đồng bộ với robot dẫn đầu chạy 0.6 m/s.

Khả năng kháng nhiễu của thuật toán được thể hiện qua các thông số cụ thể nào?

Khi có xung nhiễu ngẫu nhiên tác động liên tục trong 0.5 giây vào tín hiệu đo khoảng cách và góc tại giây thứ 10, sai số vị trí bị lệch tạm thời nhưng hệ thống đã tự động bù trừ và tái lập trạng thái ổn định định mức chỉ sau khoảng 1.0 đến 3.0 giây, khẳng định tính bền vững của giải thuật.

Kết luận

Công trình nghiên cứu đã hoàn thành toàn diện các mục tiêu đề ra thông qua các kết quả cụ thể:

  • Xây dựng thành công mô hình động học vi sai phi tuyến cho đội hình đa robot di động chịu ràng buộc chuyển động phi holonomic.
  • Tổng hợp luật điều khiển động học phi tuyến dựa trên phương pháp Lyapunov trực tiếp, đảm bảo tính ổn định tiệm cận toàn cục và loại bỏ hoàn toàn sai số xác lập.
  • Kiểm chứng độ chính xác của giải thuật qua 6 kịch bản mô phỏng quỹ đạo thẳng và tròn, đạt thời gian hội tụ nhanh chóng từ 2.0 đến 5.0 giây.
  • Xác định rõ cơ chế phân bổ vận tốc tịnh tiến và vận tốc góc giữa các robot thành viên khi vận hành trên các quỹ đạo có độ cong biến thiên.
  • Chứng minh khả năng tự phục hồi và độ bền vững của cấu trúc điều khiển trước các tác động nhiễu đo lường ngẫu nhiên trong khoảng 1.0 đến 3.0 giây.

Đóng góp cốt lõi của luận văn là cung cấp một giải pháp điều khiển đội hình đa robot di động có tính toán tinh gọn, độ tin cậy toán học cao và khả năng thích ứng linh hoạt với các cấu hình đa tác tử mở rộng. Kế hoạch phát triển tiếp theo tập trung vào việc tối ưu hóa thông số điều khiển và triển khai thử nghiệm trên phần cứng thực tế trong lộ trình từ 6 đến 18 tháng tới.

Quý độc giả và các nhà nghiên cứu quan tâm có thể khai thác các mô hình toán học và giải thuật từ công trình này để ứng dụng vào việc phát triển hệ thống xe tự hành thông minh trong sản xuất công nghiệp và logistics hiện đại.