Tổng quan về giáo trình

Giáo trình Wheeled Mobile Robotics: From Fundamentals Towards Autonomous Systems (ISBN: 978-0-12-804204-5) do Nhà xuất bản Elsevier (dưới ấn hiệu Butterworth-Heinemann) phát hành năm 2017, được biên soạn bởi nhóm tác giả Gregor Klančar, Andrej Zdešar, Sašo Blažič và Igor Škrjanc từ Phòng thí nghiệm Hệ thống Di động Tự hành (Laboratory of Autonomous Mobile Systems) và Phòng thí nghiệm Mô hình hóa, Mô phỏng và Điều khiển (Laboratory of Modelling, Simulation and Control), Khoa Kỹ thuật Điện, Đại học Ljubljana, Slovenia.

Tài liệu được thiết kế làm sách giáo khoa giảng dạy cho các học phần Robot di động (Mobile Robotics), Cơ điện tử, Kỹ thuật Điều khiển và Tự động hóa ở bậc đại học và sau đại học. Về chuẩn đầu ra, giáo trình trang bị cho người học hệ thống cơ sở lý thuyết toán học và các thuật toán cần thiết để phát triển khả năng vận hành tự hành cho robot di động sử dụng bánh xe (Wheeled Mobile Robots - WMR). Người học tiếp cận có hệ thống từ khâu thiết lập mô hình động học, thu nhận và xử lý tín hiệu cảm biến, thiết kế thuật toán điều khiển chuyển động, quy hoạch đường đi, xử lý các biến cố bất định đến kỹ thuật ước lượng trạng thái và định vị.

Cấu trúc tài liệu gồm 8 chương, tổ chức theo lộ trình diễn dịch: bắt đầu từ cơ sở lý thuyết toán học, mở rộng sang các thuật toán điều khiển phi tuyến và quy hoạch quỹ đạo, sau đó phân tích xử lý dữ liệu ngẫu nhiên và khép lại bằng các ứng dụng thực tế. Điểm đặc trưng trong cách tiếp cận của giáo trình là gắn kết chặt chẽ giữa lý thuyết giải tích và công cụ tính toán số. Mỗi mô hình toán học và giải thuật đều đi kèm ví dụ giải chi tiết và các đoạn mã nguồn ngắn viết bằng ngôn ngữ Matlab, giúp người học kiểm chứng, đánh giá và hiệu chỉnh trực tiếp trên máy tính.


Nội dung kiến thức cốt lõi

Các chương và chủ đề chính

Tài liệu bao quát toàn diện các lĩnh vực nòng cốt của robot di động bánh xe thông qua 8 chương chuyên đề:

  • Chương 1: Introduction to Mobile Robotics
    Tổng quan lịch sử phát triển robot học và tự động hóa; nguồn gốc thuật ngữ "robot" từ tác phẩm R.U.R. của Karel Čapek; các mốc công nghệ tiêu biểu từ thuyền điều khiển từ xa của Nikola Tesla (1898), robot Elmer và Elsie của Grey Walter (1948), robot Shakey của Viện Nghiên cứu Stanford (1966–1972) đến các thử nghiệm DARPA Grand/Urban Challenge (2004–2007), khung phần mềm ROS (2009) và hệ thống xe tự hành Google. Phân loại hệ thống di động theo môi trường hoạt động (mặt đất - UGV, trên không - UAV, mặt nước và dưới nước - AUV); phân cấp mức độ tự hành dựa trên cấu trúc lệnh điều khiển; cấu trúc phần cứng của robot di động tự hành gồm cơ khí, cơ cấu chấp hành, cảm biến, máy tính nhúng, khối nguồn và mạch điện tử điều khiển.
  • Chương 2: Motion Modeling for Mobile Robots
    Xây dựng mô hình động học bên trong (internal kinematics) và bên ngoài (external kinematics); động học thuận (forward kinematics) qua tích phân odometry/dead reckoning và động học nghịch (inverse kinematics); phân loại ràng buộc holonomic và nonholonomic; công cụ đại số Lie (Lie brackets) và định lý Frobenius; phân tích tính điều khiển được theo định lý Chow. Thiết lập phương trình trạng thái động học cho đa dạng cấu hình dẫn động: hệ thống vi sai (differential drive), hệ thống xe đạp (bicycle drive dẫn động bánh trước và bánh sau), hệ thống xe ba bánh (tricycle drive), xe ba bánh gắn rơ-moóc (tricycle with trailer), hệ thống lái Ackermann cho ô tô, hệ thống dẫn động đồng bộ (synchronous drive), hệ thống dẫn động toàn hướng (omnidirectional drive sử dụng bánh Mecanum và Omni 3 bánh/4 bánh) và hệ thống dẫn động xích (tracked drive).
  • Chương 3: Control Approaches of Wheeled Mobile Systems
    Tổng hợp các giải thuật điều khiển chuyển động cho robot di động bánh xe, kỹ thuật điều khiển phản hồi phi tuyến, điều khiển bám quỹ đạo (trajectory tracking) và ổn định tư thế (posture stabilization) trong không gian trạng thái.
  • Chương 4: Path Planning Approaches
    Các phương pháp quy hoạch đường đi trong không gian cấu hình, tạo đường cong trơn khả vi bậc hai đảm bảo điều kiện vận tốc tiếp tuyến, thuật toán tìm đường tối ưu và tránh va chạm với chướng ngại vật tĩnh và động.
  • Chương 5: Overview of Sensors Used in Mobile Systems
    Cấu tạo và nguyên lý hoạt động của các thiết bị đo lường trên robot di động: cảm biến mã hóa góc quay (rotation encoders), cảm biến đo cự ly siêu âm (sonar) và laser, hệ thống định vị vệ tinh toàn cầu (GNSS), khối đo quán tính (IMU) và thiết bị thị giác máy tính.
  • Chương 6: Approaches of Dealing with Nondeterministic Events in Mobile Systems
    Phương pháp toán học xử lý các hiện tượng bất định, nhiễu đo lường và trượt bánh; các kỹ thuật ước lượng trạng thái xác suất và bài toán định vị kết hợp xây dựng bản đồ đồng thời (Simultaneous Localization and Mapping - SLAM).
  • Chương 7: Applications of Autonomous Guided Vehicles
    Phân tích các trường hợp ứng dụng thực tế của phương tiện dẫn đường tự động (AGV) trong nhà máy công nghiệp, kho vận, thiết bị y tế hỗ trợ phục hồi chức năng đi bộ và nông nghiệp tự động hóa.
  • Chương 8: Practical Projects
    Hệ thống các đồ án kỹ thuật và bài tập lớn tổng hợp phục vụ thực hành tại phòng thí nghiệm chuyên ngành nhằm củng cố toàn bộ các khối kiến thức lý thuyết đã học.

Kiến thức nền tảng được xây dựng

Giáo trình hình thành nền tảng toán học và kỹ thuật chặt chẽ thông qua các nguyên lý:

  • Biểu diễn không gian trạng thái và phép biến đổi tọa độ: Trạng thái tư thế của robot di động trên mặt phẳng được định nghĩa bởi vector $q(t) = [x(t), y(t), \phi(t)]^T$ trong hệ tọa độ toàn cục $(X_g, Y_g)$. Mối quan hệ giữa hệ tọa độ toàn cục và hệ tọa độ gắn trên thân robot $(X_m, Y_m)$ được chuyển đổi qua ma trận quay: $$\begin{aligned} R(\phi) = \begin{bmatrix} \cos\phi & \sin\phi & 0 \ -\sin\phi & \cos\phi & 0 \ 0 & 0 & 1 \end{bmatrix} \end{aligned}$$
  • Lý thuyết ràng buộc phi tuyến: Phân biệt rõ ràng giữa ràng buộc holonomic $f(q) = 0$ (làm giảm số chiều của không gian cấu hình) và ràng buộc nonholonomic $f(q, \dot{q}) = a^T(q)\dot{q} = 0$ (chỉ hạn chế không gian vận tốc cho phép mà không làm giảm bậc tự do cấu hình). Ma trận ràng buộc $A(q)$ và ma trận hướng chuyển động $S(q)$ thỏa mãn điều kiện trực giao $A(q)S(q) = 0$, thiết lập hệ phương trình trạng thái $\dot{q}(t) = S(q)v(t)$.
  • Đại số Lie và tính điều khiển được (Controllability): Sử dụng toán tử Lie bracket giữa hai trường vector $s_1$ và $s_2$: $$\begin{aligned} [s_1, s_2] = \frac{\partial s_2}{\partial q}s_1 - \frac{\partial s_1}{\partial q}s_2 \end{aligned}$$ áp dụng định lý Frobenius và định lý Chow để chứng minh rằng dù hệ thống bị giới hạn bởi các ràng buộc vận tốc phi holonomic (ví dụ: robot vi sai không thể di chuyển tức thời theo phương ngang), robot vẫn có thể đạt tới mọi tư thế trong không gian trạng thái $n$ chiều nếu hạng của phân bố involutive đạt cực đại ($\operatorname{rank} [s_1, s_2, [s_1, s_2]] = n$).

Kỹ năng phát triển

  • Kỹ năng kỹ thuật (Technical skills): Thiết lập và giải các phương trình vi phân mô tả chuyển động cơ học; sử dụng Matlab để xây dựng mô phỏng số mô hình động học vi sai, xe ba bánh, hệ thống Ackermann và bệ toàn hướng Mecanum; tính toán ma trận giả nghịch đảo Moore-Penrose $J^+ = (J^T J)^{-1} J^T$ để giải bài toán động học nghịch.
  • Kỹ năng phân tích (Analytical skills): Phân tích bậc tự do (DOFs), kiểm tra tính khả tích của các phương trình ràng buộc vi phân, xác định tâm quay tức thời (Instantaneous Center of Rotation - ICR) và tính toán độ cong quỹ đạo $\kappa(t)$ để xác định vận tốc góc $\omega(t) = v(t)\kappa(t)$.
  • Năng lực thực hành (Practical competencies): Tích phân số Euler theo chu kỳ lấy mẫu $T_s$ phục vụ thuật toán định vị tương đối (Dead Reckoning); xây dựng kịch bản điều khiển chuyển động phức tạp (như thao tác đỗ xe song song thông qua chuyển mạch chuỗi vector trường chuyển động cơ bản); thiết kế bài toán điều khiển tiếp liệu (feedforward) kết hợp hồi tiếp (feedback).

Phương pháp giảng dạy và học tập

Giáo trình áp dụng phương pháp sư phạm kỹ thuật tích hợp: chuẩn hóa lý thuyết toán học giải tích, minh họa trực quan bằng hình học, và kiểm chứng tức thời thông qua tính toán số.

  • Cấu trúc ví dụ mẫu và Case Studies: Xuyên suốt tài liệu là hệ thống các ví dụ có lời giải chi tiết từng bước. Điển hình như:
    • Ví dụ 2.1 & 2.3: Xác định trường vector vận tốc khả thi và chứng minh tính nonholonomic của bánh xe lăn trên mặt phẳng.
    • Ví dụ 2.2: Phân tích giải tích thao tác đỗ xe song song thông qua chuỗi khai triển Taylor và đại số Lie, giải thích cơ chế dịch chuyển tịnh tiến theo phương ngang bằng cách phối hợp các vector chuyển động thẳng và quay cơ sở.
    • Ví dụ 2.4: Chứng minh tính khả tích của hệ phương trình ràng buộc trên xe không có cơ cấu lái, từ đó suy ra tính holonomic với 1 bậc tự do.
    • Ví dụ 2.7: Ứng dụng định lý Chow chứng minh tính điều khiển được hoàn toàn của robot truyền động vi sai trong không gian 3 chiều.
  • Bài tập lập trình mô phỏng thực hành: Các bài tập mô phỏng trong Chương 2 (Ví dụ 2.5 và 2.6) cung cấp sẵn mã nguồn khung (như Listing 2.1 cho robot vi sai và Listing 2.2 cho robot ba bánh) với các tham số vật lý cụ thể (bán kính bánh $r = 0.04,\text{m}$, khoảng cách trục bánh $L = 0.08,\text{m}$, chu kỳ mẫu $T_s = 0.033,\text{s}$). Người học được giao nhiệm vụ:
    1. Tính toán phân tích dạng hình học của quỹ đạo và so sánh đối chiếu với kết quả chạy mô phỏng.
    2. Thực hiện thuật toán định vị (localization) tại các mức vận tốc đặt khác nhau và so sánh quỹ đạo ước lượng với quỹ đạo thực của robot trong điều kiện lý thuyết và điều kiện có sai lệch trạng thái ban đầu ($q(0)$ sai khác).
    3. Lập trình chuỗi tín hiệu điều khiển đầu vào để robot chuyển động theo các đoạn thẳng ghép nối hoặc bám theo hàm quỹ đạo tham số hóa trơn $x(t) = f(t), y(t) = g(t)$.
  • Phương pháp đánh giá và hướng dẫn tự học: Giảng viên có thể sử dụng các bài toán giải tích tại lớp để đánh giá năng lực suy luận toán học, đồng thời sử dụng các bài tập biến đổi tham số và kịch bản mô phỏng để đánh giá năng lực thực hành. Đối với người tự học, tài liệu cung cấp tiến trình khép kín: đọc hiểu mô hình hình học $\rightarrow$ theo dõi chứng minh toán học $\rightarrow$ chạy và hiệu chỉnh script Matlab $\rightarrow$ quan sát video hoạt họa trên website đồng hành để nắm bắt bản chất vận động học của hệ thống.

Điểm nổi bật và cập nhật

  • Tính bao quát và hệ thống hóa cao: Khác với các tài liệu chỉ tập trung vào cấu hình vi sai đơn giản, cuốn sách cung cấp đầy đủ mô hình toán học giải tích của hầu hết các cơ cấu truyền động bánh xe thông dụng: từ cơ cấu lái Ackermann triệt tiêu trượt lốp trên xe hơi, cấu hình xe kéo rơ-moóc nhiều bậc tự do, truyền động đồng bộ 3 bánh đến các bệ di động toàn hướng sử dụng bánh Mecanum 4 bánh (với góc nghiêng con lăn $45^\circ$) và bánh Omni 3 bánh (bố trí góc $120^\circ, 240^\circ$).
  • Tích hợp dòng chảy lịch sử và công nghệ hiện đại: Tài liệu tổng kết chi tiết tiến trình phát triển của ngành robot di động từ những automata cơ học sơ khai (thiết bị bay hơi nước của Archytas thế kỷ 4 TCN, bản vẽ xe lập trình của Leonardo da Vinci) cho đến các thành tựu khoa học hiện đại: hệ thống xe tự hành thám hiểm không gian (Lunokhod 1/2, Sojourner, Spirit, Opportunity, Curiosity), các robot gia dụng thương mại (MowBot, Roomba), các cuộc thi xe tự hành DARPA và dự án thử nghiệm xe tự lái của Google với hơn 2,7 triệu km vận hành tự động (tính đến tháng 6/2016).
  • Kết nối dữ liệu thực nghiệm và nghiên cứu ứng dụng: Nội dung sách kết tinh từ các dự án nghiên cứu thực tế được tài trợ bởi Cơ quan Nghiên cứu Slovenia (Slovenian Research Agency). Trong đó bao gồm các đóng góp chuyên sâu của TS. Matevž Bošnak về robot hỗ trợ trong liệu pháp phục hồi chức năng đi bộ và tài liệu từ PGS. Fernando Auat Cheein (Đại học Kỹ thuật Federico Santa María, Chile) về robot di động phục vụ nông nghiệp tự động hóa.
  • Hệ sinh thái tài nguyên bổ trợ: Nhà xuất bản Elsevier duy trì cổng thông tin đồng hành trực tuyến cung cấp toàn bộ mã nguồn Matlab đầy đủ của các thuật toán trong sách và kho video đồ họa mô phỏng trực quan các giải thuật chuyển động.

Đối tượng sử dụng giáo trình

Đối tượng Mục đích sử dụng Yêu cầu kiến thức tiên quyết (Prerequisites)
Sinh viên đại học (Năm 3, Năm 4)
Ngành Kỹ thuật Điều khiển, Tự động hóa, Cơ điện tử, Kỹ thuật Robot, Khoa học Máy tính
Học phần chuyên ngành Robot di động, Cơ sở Tự hành, Mô phỏng Hệ thống Cơ điện tử. • Đại số tuyến tính (Ma trận, Định thức, Nghịch đảo)
• Giải tích và Phương trình vi phân
• Lý thuyết Điều khiển tự động cơ bản
• Kỹ năng lập trình cơ bản trên Matlab
Học viên cao học & Nghiên cứu sinh
Chuyên ngành Tự động hóa, Kỹ thuật Cơ khí Động lực, Hệ thống Thông minh
Nghiên cứu mô hình hóa phi tuyến, điều khiển phi holonomic, quy hoạch quỹ đạo và thuật toán SLAM. • Hình học vi phân và Lý thuyết điều khiển phi tuyến
• Xác suất thống kê và Quá trình ngẫu nhiên
• Kỹ thuật ước lượng trạng thái (Kalman filtering)
Giảng viên Đại học Xây dựng đề cương bài giảng lý thuyết, biên soạn bài tập lớn và thiết kế bài thí nghiệm thực hành tại phòng Lab. • Chuyên môn sâu về Lý thuyết Điều khiển và Robot học
Kỹ sư R&D & Chuyên gia công nghiệp Tra cứu mô hình toán học giải tích, thuật toán điều khiển truyền động cho xe tự hành AGV, AMR và ô tô tự lái. • Nền tảng kỹ thuật điều khiển nhúng và phát triển thuật toán

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

1. Giáo trình này phù hợp với cấp độ đào tạo nào?

Tài liệu được biên soạn phục vụ các khóa học chuyên ngành về robot di động ở bậc đại học giai đoạn chuyên ngành (sinh viên năm thứ ba, năm thứ tư) và bậc đào tạo sau đại học (học viên thạc sĩ, nghiên cứu sinh) thuộc các khối ngành kỹ thuật điện, tự động hóa, cơ điện tử và khoa học máy tính.

2. Cần chuẩn bị những kiến thức nền tảng nào trước khi tiếp cận tài liệu?

Người học cần nắm vững kiến thức toán học đại cương gồm Đại số tuyến tính (phép nhân ma trận, ma trận chuyển vị, ma trận nghịch đảo và giả nghịch đảo), Giải tích toán học (đạo hàm riêng, khai triển chuỗi Taylor, tích phân số Euler), phương trình vi phân mô tả hệ thống động lực học, các khái niệm cơ bản về không gian trạng thái trong lý thuyết điều khiển tự động và kỹ năng viết mã tính toán số cơ bản trên Matlab.

3. Điểm khác biệt lớn nhất về mặt nội dung kỹ thuật của cuốn sách là gì?

Giáo trình phân tích chuyên sâu và tường minh bản chất hình học vi phân của các hệ thống cơ học có ràng buộc phi holonomic. Thay vì chỉ đưa ra công thức vận tốc đơn thuần, tài liệu sử dụng đại số Lie (Lie brackets) và định lý Frobenius/Chow để giải thích cơ chế tạo hướng chuyển động mới từ việc chuyển mạch các vector vận tốc cơ sở, đồng thời bao quát đầy đủ từ hệ dẫn động vi sai đến các hệ dẫn động phức tạp như Ackermann, xe gắn rơ-moóc và bệ toàn hướng Mecanum.

4. Làm thế nào để tự học và nghiên cứu hiệu quả với giáo trình này?

Người học nên tuân thủ quy trình: đọc hiểu phần diễn giải mô hình hình học và thiết lập hệ phương trình vi phân $\rightarrow$ tự tay giải lại các bài toán chứng minh và ví dụ giải tích trong sách $\rightarrow$ nhập và thực thi các đoạn mã script mẫu (như Listing 2.1, 2.2) trên môi trường Matlab $\rightarrow$ tiến hành thay đổi các tham số động học và điều kiện đầu vào để phân tích mức độ ảnh hưởng đến quỹ đạo chuyển động.

5. Giáo trình có kèm theo tài liệu và công cụ hỗ trợ nào?

Tài liệu đi kèm trang web đồng hành của Nhà xuất bản Elsevier chứa toàn bộ các tập tin mã nguồn Matlab hoàn chỉnh của các thuật toán được trình bày trong sách và hệ thống các video hoạt họa mô phỏng trực quan giúp người học quan sát chuyển động của các mô hình robot. Ngoài ra, Chương 8 của cuốn sách cung cấp các đề xuất dự án thực hành chi tiết cho phòng thí nghiệm.


Kết luận

Giáo trình Wheeled Mobile Robotics: From Fundamentals Towards Autonomous Systems cung cấp khung kiến thức hoàn chỉnh và chuẩn mực về mô hình hóa, điều khiển và thuật toán tự hành dành riêng cho hệ thống robot di động bánh xe. Với cấu trúc liên kết chặt chẽ từ giải tích toán học động học phi tuyến, phân tích tính điều khiển được qua đại số Lie đến việc cung cấp mã nguồn Matlab mẫu có thể tái lập, tài liệu là nguồn tham khảo học thuật giá trị cho công tác giảng dạy, học tập và nghiên cứu chuyên sâu trong lĩnh vực robot học di động và phương tiện tự hành. Lộ trình học tập đề xuất cho người học là tiếp cận tuần tự từ nền tảng mô hình hóa động học ở Chương 1-2, phát triển giải thuật điều khiển và cảm biến ở Chương 3-5, nâng cao với thuật toán xử lý biến cố bất định ở Chương 6, trước khi thực hiện các dự án kỹ thuật tổng hợp tại Chương 7-8.