Tổng quan nghiên cứu

Trong kỹ thuật điều khiển hiện đại, các mô hình toán học bậc cao thường tạo ra khối lượng tính toán phức tạp, đòi hỏi hơn 60% dung lượng bộ nhớ vi xử lý và làm chậm thời gian trích xuất tín hiệu thực tế. Nhằm tối ưu hóa hiệu năng phần cứng nhúng, nghiên cứu tập trung giải quyết vấn đề giảm bậc mô hình động học tuyến tính nhưng vẫn bảo toàn các đặc tính then chốt như tính ổn định tiệm cận, đáp ứng bước nhảy và đáp ứng tần số. Mục tiêu cụ thể là xây dựng quy trình thuật toán giảm bậc theo chuẩn Hankel dựa trên phép phân tích giá trị suy biến, sau đó áp dụng để thiết kế và rút gọn bộ điều khiển bền vững định dạng vòng cho đối tượng robot hai bánh tự cân bằng.

Nghiên cứu được triển khai thực nghiệm trong phạm vi ngành Kỹ thuật điều khiển và Tự động hóa tại Trường Đại học Kỹ thuật Công nghiệp – Đại học Thái Nguyên. Đề tài tập trung vào việc chuyển đổi các mô hình phức tạp từ bậc 4, bậc 5 và bậc 8 xuống các bậc thấp hơn như bậc 3 hoặc bậc 4, với giới hạn sai số chuẩn cực đại không vượt quá 0,05. Ý nghĩa khoa học và thực tiễn của công trình thể hiện ở khả năng cắt giảm từ 25% đến 50% số biến trạng thái cần xử lý, giúp vi điều khiển gia tăng tốc độ tính toán gấp khoảng 2 lần, giảm tiêu hao năng lượng và đảm bảo robot duy trì góc nghiêng ổn định quanh điểm cân bằng 0 rad ngay cả khi chịu tác động của tải trọng lệch tâm hoặc xung nhiễu ngoại cả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 trên nền tảng lý thuyết không gian trạng thái tuyến tính đa biến kết hợp với lý thuyết điều khiển bền vững tối ưu. Khung lý thuyết trọng tâm bao gồm phép phân tích giá trị suy biến ma trận, nghiệm của cặp phương trình ma trận vi phân Lyapunov, và giá trị Hankel suy biến của hệ động học. Ma trận Gramian điều khiển và Gramian quan sát đóng vai trò định lượng mức năng lượng tối thiểu cần thiết để kích thích hoặc quan sát trạng thái của hệ thống.

Ba khái niệm cốt lõi được áp dụng xuyên suốt gồm:

  1. Tính cân bằng nội: Phép biến đổi tọa độ không gian trạng thái đưa hai ma trận Gramian về dạng đường chéo bằng nhau.
  2. Năng lượng trạng thái Hankel: Căn bậc hai của các giá trị riêng của tích hai ma trận Gramian, cho phép phân định rõ ràng các mode động học trội và các mode suy giảm nhanh.
  3. Chuẩn không gian hàm: Thước đo đánh giá độ sai lệch lớn nhất giữa đáp ứng tần số của mô hình gốc bậc cao và mô hình xấp xỉ bậc thấp.

Cấu trúc điều khiển bền vững định dạng vòng được kết hợp nhằm đảm bảo hệ kín duy trì độ dự trữ ổn định với biên độ suy giảm tín hiệu tối ưu trên toàn dải tần số làm việc.

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

Nghiên cứu sử dụng nguồn dữ liệu mô phỏng số học từ 3 mô hình chuẩn trong lý thuyết điều khiển tự động gồm hệ bậc 4, hệ bậc 5, hệ bậc 8, cùng dữ liệu thông số vật lý thực tế của mô hình robot hai bánh tự cân bằng có khối lượng 10 kg và mô men quán tính bánh đà 0,03289 kg.m². Phương pháp chọn mẫu là chọn mẫu có chủ đích các hệ thống động học tuyến tính chuẩn mực để kiểm thử toàn diện khả năng bảo toàn tính ổn định và tính thụ động.

Lý do lựa chọn phương pháp phân tích chuẩn Hankel dựa trên phép phân tích giá trị suy biến là vì thuật toán này cung cấp giới hạn sai số trên lý thuyết một cách chặt chẽ, loại bỏ hoàn toàn nguy cơ mất ổn định vốn thường gặp ở phương pháp xấp xỉ Pade cổ điển. Quy trình nghiên cứu kéo dài 12 tháng, bắt đầu từ việc khảo sát giải thuật giải phương trình Lyapunov, xây dựng ma trận chuyển đổi cân bằng, tính toán các giá trị Hankel suy biến, cho đến lập trình mô phỏng trên nền tảng phần mềm kỹ thuật và kiểm chứng đáp ứng thực nghiệm trên mô hình robot thực tế.

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

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

Nghiên cứu đã chứng minh tính hiệu quả vượt trội của thuật toán giảm bậc theo chuẩn Hankel thông qua 4 trường hợp cụ thể:

Thứ nhất, đối với hệ động học bậc 4, thuật toán đã rút gọn thành công về hệ bậc 3 với sai số chuẩn cực đại chỉ ở mức 0,02441. Phân tích giá trị Hankel suy biến cho thấy trạng thái thứ tư có mức năng lượng cực nhỏ so với 3 trạng thái đầu, do đó việc loại bỏ trạng thái này giúp tiết kiệm 25% biến trạng thái mà đường đặc tính đáp ứng bước nhảy vẫn trùng khớp trên 99% so với hệ gốc.

Thứ hai, đối với hệ bậc 8, thuật toán cho phép giảm xuống hệ bậc 4 với sai số chuẩn tích lũy duy trì ở mức 0,0871, giảm 50% số bậc của hệ. Các trạng thái từ thứ 5 đến thứ 8 chỉ đóng góp khoảng 3% tổng năng lượng động học của hệ thống, chứng minh rằng việc giữ lại 4 mode trội là hoàn toàn đủ để tái hiện chính xác động học hệ thống.

Thứ ba, đối với hệ bậc 5, mô hình giảm về bậc 3 đạt sai số xấp xỉ 0,02029, bảo toàn hoàn hảo các điểm cực nằm bên trái trục ảo và giữ vững tính ổn định tiệm cận.

Thứ tư, khi ứng dụng trên mô hình xe robot hai bánh tự cân bằng, bộ điều khiển bền vững định dạng vòng đã được rút gọn thành công về bậc 3. Hệ thống kiểm soát tốt góc nghiêng với thời gian xác lập dưới 1,8 giây, độ vọt lố nhỏ hơn 5% và triệt tiêu hoàn toàn sai số xác lập khi chịu tải thay đổi.

Thảo luận kết quả

Các kết quả thực nghiệm khẳng định rằng việc loại bỏ các biến trạng thái có giá trị Hankel suy biến tiệm cận 0 không làm thay đổi đáp ứng động học cơ bản của hệ thống. Nguyên nhân là do năng lượng điều khiển và quan sát của các mode này quá nhỏ, không đóng góp đáng kể vào hàm truyền đạt giữa đầu vào điện áp và đầu ra góc nghiêng.

So với phương pháp ghép hợp của Aoki hay phương pháp trùng khớp thời điểm Pade, phương pháp chuẩn Hankel vượt trội hơn nhờ luôn đảm bảo tính ổn định của mô hình giảm bậc nếu hệ gốc ổn định. Dữ liệu nghiên cứu được biểu diễn trực quan thông qua đồ thị Bode trên dải tần số từ 0,01 rad/s đến 1000 rad/s và các biểu đồ đáp ứng bước nhảy theo thời gian. Sự trùng khít giữa các đường cong đặc tính của hệ gốc và hệ giảm bậc 3 minh chứng cho độ chính xác cao của giải thuật, giúp đơn giản hóa cấu trúc phần mềm điều khiển nhúng mà không cần tăng cấu hình phần cứng xử lý.

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

Dựa trên các kết quả đạt được, nghiên cứu đưa ra 4 giải pháp cụ thể nhằm mở rộng ứng dụng thuật toán giảm bậc vào thực tiễn công nghiệp:

  1. Tích hợp giải thuật giảm bậc chuẩn Hankel vào các khối vi điều khiển 32-bit: Kỹ sư phát triển hệ thống nhúng tại các doanh nghiệp công nghệ cần lập trình thư viện nhúng tự động tính toán ma trận Gramian, mục tiêu giảm ít nhất 35% thời gian chu kỳ quét điều khiển, hoàn thành trong thời gian 6 tháng.
  2. Chuẩn hóa quy trình thiết kế bộ điều khiển bền vững giảm bậc: Các nhóm nghiên cứu tại các trường đại học kỹ thuật cần áp dụng quy trình định dạng vòng kết hợp xấp xỉ Hankel cho các đối tượng có bậc lớn hơn 10, đảm bảo sai số toàn phần dưới mức 0,05, triển khai trong thời gian 12 tháng.
  3. Ứng dụng mô hình robot hai bánh tự cân bằng vào phương tiện vận tải cá nhân thông minh: Các công ty sản xuất xe điện tự hành cần ứng dụng bộ điều khiển giảm bậc 3 vào hệ thống cân bằng động của xe hai bánh có tải trọng từ 50 kg đến 80 kg, giúp xe duy trì thăng bằng khi va chạm ở vận tốc khoảng 15 km/h, thực hiện trong lộ trình 18 tháng.
  4. Mở rộng giải thuật cho các hệ thống phi tuyến và tham số biến đổi: Viện nghiên cứu tự động hóa cần phát triển cấu trúc tuyến tính hóa từng đoạn kết hợp tối ưu hóa trạng thái trực giao, nâng cao độ chính xác nhận dạng tham số lên trên 98%, hoàn thiện trong 24 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 của luận văn mang lại giá trị học thuật và thực tiễn cao cho 4 nhóm đối tượng:

  1. Giảng viên và nghiên cứu sinh chuyên ngành Kỹ thuật điều khiển và Tự động hóa: Cung cấp tài liệu tham khảo chuyên sâu về toán học giải tích ma trận, phương pháp giải phương trình Lyapunov và thuật toán xấp xỉ không gian trạng thái.
  2. Kỹ sư phát triển Robot và Thiết bị tự hành: Ứng dụng trực tiếp cấu trúc bộ điều khiển giảm bậc vào các dòng robot tự cân bằng, cánh tay máy công nghiệp nhiều bậc tự do hoặc thiết bị bay không người lái để giảm tải bộ nhớ chip xử lý.
  3. Doanh nghiệp sản xuất phương tiện di chuyển thông minh: Tham khảo mô hình cơ điện tử của robot hai bánh gắn bánh đà phản lực để chế tạo các dòng xe cá nhân tự cân bằng an toàn và tiết kiệm năng lượng.
  4. Học viên cao học và sinh viên ngành Cơ điện tử: Sử dụng làm tài liệu học tập thực tế về quy trình mô hình hóa toán học bằng phương trình Lagrange và kỹ năng lập trình mô phỏng hệ thống động học trên máy tính.

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

Tại sao cần phải thực hiện giảm bậc mô hình trong bài toán điều khiển tự động?

Các hệ thống công nghiệp thực tế thường có mô hình toán học bậc rất cao với hơn 6 phương trình vi phân liên kết. Việc giảm bậc giúp loại bỏ các thông tin thừa, giảm thời gian tính toán của bộ xử lý từ 40% đến 60%, giúp thiết kế bộ điều khiển đơn giản hơn mà vẫn duy trì độ chính xác của đáp ứng hệ thống.

Điểm vượt trội của phương pháp giảm bậc theo chuẩn Hankel so với phương pháp Pade là gì?

Phương pháp Pade chỉ khớp chuỗi tại các thời điểm ban đầu và dễ tạo ra mô hình giảm bậc bị mất ổn định dù hệ gốc hoàn toàn ổn định. Ngược lại, phương pháp chuẩn Hankel dựa trên phân tích giá trị suy biến giúp bảo toàn tuyệt đối tính ổn định tiệm cận và cung cấp giới hạn sai số chuẩn cực đại rõ ràng.

Tiêu chuẩn nào dùng để lựa chọn bậc thích hợp cho mô hình rút gọn?

Bậc của mô hình được xác định dựa trên phổ giá trị Hankel suy biến của tích hai ma trận Gramian. Các trạng thái có giá trị Hankel suy biến chiếm dưới 5% tổng năng lượng hệ thống sẽ được loại bỏ mà không làm suy giảm chất lượng đáp ứng tần số và đáp ứng thời gian của mô hình.

Bộ điều khiển giảm bậc có duy trì được tính bền vững khi hệ thống có tải trọng biến đổi không?

Bộ điều khiển giảm bậc bậc 3 thiết kế theo phương pháp định dạng vòng vẫn giữ nguyên khả năng triệt tiêu nhiễu. Thực nghiệm cho thấy khi thay đổi khối lượng tải trọng thêm khoảng 20% hoặc đặt tải lệch tâm, hệ thống vẫn duy trì góc nghiêng ổn định với độ lệch không quá 0,05 rad.

Mô hình toán học của robot hai bánh tự cân bằng trong luận văn được xây dựng như thế nào?

Mô hình được thiết lập dựa trên phương pháp giải tích Lagrange loại 2 với 4 biến trạng thái gồm góc nghiêng thân xe, vận tốc góc, góc quay bánh đà và dòng điện động cơ. Các thông số phần cứng cụ thể gồm khối lượng 10 kg, chiều cao trọng tâm 0,22 m và động cơ điện trở 0,41 ohm.

Kết luận

Công trình nghiên cứu đã giải quyết trọn vẹn bài toán giảm bậc mô hình toán học bậc cao ứng dụng trong điều khiển tự động hóa với 5 đóng góp chính:

  • Hệ thống hóa cơ sở toán học về phân tích giá trị suy biến SVD, ma trận Gramian và thuật toán giảm bậc theo chuẩn Hankel cho hệ tuyến tính liên tục.
  • Chứng minh tính đúng đắn và độ chính xác của thuật toán trên 3 mô hình chuẩn bậc 4, bậc 5 và bậc 8 với sai số chuẩn cực đại luôn duy trì dưới 0,09.
  • Thiết lập thành công mô hình toán học phi tuyến của robot hai bánh tự cân bằng sử dụng bánh đà và tuyến tính hóa quanh điểm cân bằng thẳng đứng.
  • Thiết kế và giảm bậc thành công bộ điều khiển bền vững định dạng vòng từ bậc cao xuống bậc 3, tối ưu hóa hơn 25% tài nguyên xử lý của vi điều khiển.
  • Kiểm chứng thực nghiệm cho thấy hệ thống hoạt động ổn định, triệt tiêu tốt các rung lắc và thích nghi tốt với các điều kiện thay đổi tải trọng.

Trong giai đoạn 12 đến 24 tháng tới, hướng nghiên cứu tiếp theo sẽ tập trung vào việc mở rộng giải thuật cho các hệ thống phi tuyến đa biến phức tạp và thử nghiệm trên các phương tiện giao thông tự hành quy mô lớn. Các nhà nghiên cứu và kỹ sư tự động hóa có thể ứng dụng ngay khung thuật toán này để tối ưu hóa hiệu năng cho các hệ thống điều khiển thời gian thực.