Ứng dụng điều khiển thích nghi hệ thiếu cơ cấu chấp hành cho xe tự hành ba bánh - Luận án TS

Hệ thống thiếu cơ cấu chấp hành là một loại hệ thống điều khiển có số lượng đầu vào điều khiển ít hơn bậc tự do của hệ. Điều này tạo ra thách thức lớn trong việc thiết kế các thuật toán điều khiển. Các hệ thống này thường có động học phức tạp, yêu cầu các phương pháp điều khiển phi tuyến. Việc điều khiển các hệ thiếu cơ cấu chấp hành đòi hỏi sự đổi mới trong lý thuyết điều khiển. Nghiên cứu tập trung vào các ràng buộc phi holonomic. Đây là những ràng buộc không thể tích phân để giảm bậc tự do. Hiểu rõ bản chất thiếu cơ cấu chấp hành là nền tảng. Từ đó có thể phát triển các giải pháp điều khiển hiệu quả.

Xe tự hành ba bánh là một ví dụ điển hình của hệ thiếu cơ cấu chấp hành. Mô hình động học của xe mô tả mối quan hệ giữa vận tốc bánh xe và vận tốc của xe. Mô hình này thường bỏ qua khối lượng và quán tính. Ràng buộc phi holonomic là một đặc tính quan trọng. Nó thể hiện xe không thể di chuyển tức thời theo mọi hướng. Mô hình động lực học phức tạp hơn. Nó xem xét các yếu tố như khối lượng, quán tính và lực tác động. Mô hình động lực học cần thiết cho việc thiết kế điều khiển cấp thấp. Nó cũng giúp phân tích ổn định hệ thống. Việc xây dựng mô hình chính xác là bước đầu tiên. Nó quyết định sự thành công của các thuật toán điều khiển sau này.

Điều khiển xe tự hành ba bánh đối mặt nhiều thách thức. Thứ nhất, bản chất thiếu cơ cấu chấp hành giới hạn khả năng điều khiển trực tiếp. Thứ hai, sự hiện diện của nhiễu và bất định làm giảm hiệu suất. Nhiễu có thể đến từ môi trường hoặc từ sai số mô hình. Thứ ba, yêu cầu về ổn định hệ thống cao. Xe phải di chuyển an toàn và chính xác. Đặc biệt khi bám quỹ đạo hoặc tránh vật cản. Việc tổng hợp bộ điều khiển thích nghi là cần thiết. Nó giúp hệ thống ứng phó với các điều kiện thay đổi. Các thuật toán điều khiển cần đảm bảo tính ổn định Lyapunov. Cần xử lý các ràng buộc phi tuyến một cách hiệu quả.

Kỹ thuật Backstepping là một phương pháp mạnh mẽ cho hệ thống phi tuyến. Nó cho phép thiết kế bộ điều khiển theo từng bước. Phương pháp này xử lý các hệ thống có dạng phân cấp. Nó chia bài toán điều khiển lớn thành nhiều bài toán nhỏ hơn. Mỗi bước xây dựng một hàm Lyapunov. Nó đảm bảo tính ổn định của từng tầng con. Cuối cùng, một hàm Lyapunov tổng quát được tạo ra. Nó chứng minh tính ổn định toàn cục của hệ thống kín. Backstepping hữu ích khi mô hình hệ thống phức tạp. Nó đặc biệt hiệu quả với các hệ thống điều khiển phi tuyến. Mục tiêu là triệt tiêu lỗi bám quỹ đạo.

Trong nghiên cứu này, bộ điều khiển trượt tầng Backstepping được áp dụng. Nó giải quyết bài toán điều khiển vị trí và hướng của xe tự hành ba bánh. Đầu tiên, mô hình động học xe được phân tích. Các biến trạng thái được định nghĩa rõ ràng. Tiếp theo, các luật điều khiển cho vận tốc và góc lái được thiết kế. Các hàm Lyapunov được xây dựng cho từng tầng. Chúng đảm bảo sự hội tụ của lỗi về không. Việc tích hợp kỹ thuật trượt tầng vào Backstepping cải thiện hiệu suất. Nó giúp giảm thiểu ảnh hưởng của nhiễu. Bộ điều khiển phi tuyến này điều chỉnh đầu vào. Nó duy trì xe trên quỹ đạo mong muốn.

Một phần quan trọng của thiết kế bộ điều khiển là chứng minh tính ổn định hệ thống. Đối với phương pháp Backstepping, tính ổn định được đảm bảo qua việc xây dựng hàm Lyapunov. Các đạo hàm của hàm Lyapunov phải âm xác định. Điều này chỉ ra rằng lỗi hệ thống sẽ hội tụ về không theo thời gian. Nghiên cứu này trình bày các bước chứng minh cụ thể. Nó khẳng định bộ điều khiển trượt tầng Backstepping giữ cho xe ổn định. Ngay cả khi có các ràng buộc phi holonomic. Sự ổn định được kiểm tra bằng các tiêu chí Lyapunov. Điều này cung cấp sự đảm bảo toán học cho hiệu suất của thuật toán điều khiển.

Để nâng cao hiệu quả điều khiển xe tự hành ba bánh, một cấu trúc điều khiển thích nghi hai mạch vòng được đề xuất. Mạch vòng bên trong chịu trách nhiệm điều khiển động lực học xe. Nó xử lý các lực và mô-men xoắn tác động lên xe. Mạch vòng bên ngoài điều khiển động học, quản lý vị trí và hướng. Cấu trúc này cho phép tách biệt các bài toán điều khiển. Nó giúp đơn giản hóa thiết kế. Điều khiển thích nghi được áp dụng cho cả hai mạch vòng. Nó cho phép hệ thống điều chỉnh theo các thay đổi. Thay đổi có thể là tham số hệ thống hoặc nhiễu bên ngoài. Mục tiêu là đạt được hiệu suất mạnh mẽ.

Một đóng góp quan trọng là phát triển thuật toán ước lượng nhiễu. Thuật toán này giúp ước lượng các nhiễu không xác định. Nó cũng ước lượng các bất định tham số trong hệ thống. Việc ước lượng chính xác nhiễu rất quan trọng. Nó giúp bộ điều khiển thích nghi phản ứng kịp thời. Các nhiễu này được coi là nhiễu cấu trúc. Chúng ảnh hưởng trực tiếp đến động lực học và động học xe. Bộ ước lượng được tích hợp vào mạch vòng điều khiển. Nó cung cấp thông tin cho bộ điều khiển. Bộ điều khiển sử dụng thông tin này để bù trừ nhiễu. Từ đó cải thiện đáng kể độ chính xác và ổn định hệ thống.

Tính ổn định của cấu trúc điều khiển thích nghi hai mạch vòng được chứng minh. Chứng minh này dựa trên lý thuyết Lyapunov. Hàm Lyapunov được xây dựng cẩn thận. Nó bao gồm cả các lỗi bám quỹ đạo và lỗi ước lượng nhiễu. Các điều kiện để đảm bảo hàm Lyapunov âm xác định được trình bày. Điều này đảm bảo rằng các lỗi sẽ hội tụ về một vùng lân cận gốc tọa độ. Hoặc hội tụ về gốc tọa độ. Việc chứng minh tính ổn định là bắt buộc. Nó xác nhận sự mạnh mẽ của thuật toán điều khiển thích nghi. Hệ thống có thể hoạt động hiệu quả trong môi trường thực tế.

Hệ mờ loại 2 là một tiến bộ của hệ mờ truyền thống (loại 1). Nó có khả năng xử lý bất định tốt hơn nhiều. Hàm thành viên của hệ mờ loại 2 là một tập mờ. Thay vì một giá trị rõ ràng, nó là một khoảng. Điều này cho phép mô hình hóa sự không chắc chắn một cách hiệu quả hơn. Đặc biệt trong các hệ thống phức tạp. Sự không chắc chắn có thể phát sinh từ đo lường, thông tin đầu vào, hoặc tham số. Hệ mờ loại 2 cung cấp một khung làm việc mạnh mẽ. Nó giúp giảm thiểu ảnh hưởng của nhiễu. Nó cũng tăng cường khả năng thích nghi của thuật toán điều khiển.

Trong nghiên cứu này, một bộ điều khiển thích nghi mờ loại 2 được thiết kế. Nó có cấu trúc hai mạch vòng tương tự như phương pháp trước. Mạch vòng động lực học và mạch vòng động học đều sử dụng logic mờ loại 2. Các luật mờ được thiết kế để điều chỉnh các tham số điều khiển. Chúng phản ứng với sự thay đổi của hệ thống và môi trường. Bộ điều khiển mờ loại 2 có khả năng tự động thích nghi. Nó không yêu cầu mô hình chính xác của nhiễu. Việc sử dụng mờ loại 2 giúp hệ thống đạt được hiệu suất cao hơn. Nó đặc biệt hữu ích khi có bất định lớn.

Tính ổn định của bộ điều khiển thích nghi mờ loại 2 được phân tích kỹ lưỡng. Sử dụng công cụ lý thuyết Lyapunov, các điều kiện ổn định được thiết lập. Chứng minh đảm bảo rằng lỗi bám quỹ đạo sẽ hội tụ. Hoặc chúng sẽ nằm trong một vùng lân cận nhỏ của gốc tọa độ. Sự phức tạp của hệ mờ loại 2 đòi hỏi các kỹ thuật chứng minh chuyên biệt. Nghiên cứu này cung cấp bằng chứng toán học. Nó xác nhận khả năng giữ ổn định của hệ thống. Ngay cả khi đối mặt với nhiều bất định và nhiễu. Điều này cho thấy tiềm năng ứng dụng thực tiễn của thuật toán điều khiển này.

Các phương pháp điều khiển đề xuất đã được kiểm chứng bằng mô phỏng chi tiết. Mô hình xe tự hành ba bánh thiếu cơ cấu chấp hành được sử dụng. Các kịch bản mô phỏng đa dạng được thực hiện. Chúng bao gồm bám quỹ đạo hình tròn và hình số 8. Kết quả mô phỏng cho thấy hiệu quả của từng thuật toán điều khiển. Bộ điều khiển trượt tầng Backstepping cho thấy khả năng bám quỹ đạo tốt. Bộ điều khiển thích nghi ước lượng nhiễu thể hiện sự mạnh mẽ hơn. Nó bù trừ nhiễu hiệu quả. Bộ điều khiển thích nghi mờ loại 2 cung cấp hiệu suất vượt trội. Nó xử lý bất định tốt hơn các phương pháp khác.

So sánh giữa các phương pháp điều khiển được thực hiện. Nó đánh giá hiệu suất bám quỹ đạo, ổn định hệ thống và khả năng chống nhiễu. Điều khiển trượt tầng Backstepping là nền tảng vững chắc. Tuy nhiên, nó có thể nhạy cảm với nhiễu lớn. Điều khiển thích nghi ước lượng nhiễu cải thiện đáng kể. Nó bù trừ các yếu tố không xác định. Điều khiển thích nghi mờ loại 2 cho thấy tiềm năng lớn nhất. Nó thể hiện khả năng thích nghi cao hơn. Nó hoạt động ổn định trong các điều kiện phức tạp. Phân tích so sánh cung cấp cái nhìn toàn diện. Nó giúp chọn lựa thuật toán điều khiển phù hợp cho các ứng dụng thực tế.

Nghiên cứu này mở ra nhiều hướng phát triển cho xe tự hành ba bánh. Một hướng là triển khai các thuật toán điều khiển trên phần cứng thực tế. Nó sẽ kiểm tra hiệu quả trong môi trường vật lý. Một hướng khác là tích hợp thêm các cảm biến. Ví dụ như lidar, camera, để nhận diện môi trường. Cần phát triển các thuật toán điều khiển để tránh vật cản. Cần tối ưu hóa quỹ đạo trong thời gian thực. Việc kết hợp điều khiển thích nghi với học tăng cường cũng là một hướng. Nó giúp hệ thống tự học và cải thiện hiệu suất. Nghiên cứu sâu hơn về tính an toàn và tin cậy của hệ thống. Nó là cần thiết cho ứng dụng rộng rãi.