Tổng quan luận án

Tính cấp thiết và khoảng trống nghiên cứu

Lớp hệ Euler-Lagrange (EL) nói chung và hệ thống cẩu treo nói riêng với mô hình biến khớp là đối tượng điều khiển phổ biến trong các lĩnh vực kỹ thuật cơ khí và cơ điện tử. Trong thực tế, mô hình toán học của các hệ EL luôn tồn tại tính chất bất định, tham số không thể xác định chính xác tuyệt đối và thường chịu tác động bởi các thành phần nhiễu ở đầu vào. Bài toán thiết kế bộ điều khiển cho hệ EL đảm bảo chất lượng bám quỹ đạo khi mô hình thiếu chính xác và có nhiễu tác động là vấn đề kỹ thuật có ý nghĩa ứng dụng thực tiễn.

Cẩu treo là thiết bị nâng hạ công nghiệp được sử dụng rộng rãi tại các công trường xây dựng, nhà máy luyện kim, phân xưởng sản xuất và các bến cảng phục vụ xếp dỡ container. Tại Việt Nam, phần lớn cẩu treo vẫn đang được vận hành thủ công dựa trên kinh nghiệm của người điều khiển, chủ yếu áp dụng nguyên lý điều khiển vòng hở. Khi kích thước tải trọng gia tăng và yêu cầu tốc độ vận chuyển nâng cao, việc điều khiển thủ công gặp khó khăn trong việc đảm bảo an toàn và triệt tiêu dao động góc lắc của dây cáp.

Về mặt động học, cẩu treo là hệ thống hụt cơ cấu chấp hành (underactuated system) do không thể can thiệp trực tiếp để điều khiển góc lệch của dây treo tải trọng. Hệ phương trình trạng thái của cẩu treo với chiều dài cáp biến đổi có tính chất phi tuyến và liên kết chéo phức tạp. Bên cạnh đó, các phương pháp điều khiển trượt truyền thống nhằm khắc phục tính bất định thường làm phát sinh hiện tượng rung (chattering), gây suy giảm tuổi thọ thiết bị chấp hành. Do đó, yêu cầu đặt ra là phải xây dựng các cấu trúc điều khiển thích nghi bền vững vừa loại bỏ được ảnh hưởng của tham số bất định và nhiễu đầu vào, vừa triệt tiêu hoặc giảm thiểu hiện tượng rung.

Mục tiêu và nhiệm vụ nghiên cứu

Mục tiêu nghiên cứu tổng quát của luận án là phát triển và bổ sung tính thích nghi bền vững cho các bộ điều khiển hệ Euler-Lagrange thiếu cơ cấu chấp hành, nhằm đảm bảo hệ thống bám chính xác theo quỹ đạo biến khớp đặt trước khi mô hình chứa tham số bất định và chịu tác động của nhiễu đầu vào. Tính thích nghi được xác định là chất lượng bám không bị suy giảm bởi các tham số chưa biết trong mô hình. Tính bền vững được xác định là chất lượng điều khiển duy trì ổn định trước các tác động của nhiễu đầu vào.

Để đạt được mục tiêu tổng quát, luận án xác định các nhiệm vụ cụ thể:

  1. Nghiên cứu phân tích mô hình toán học của hệ hụt cơ cấu chấp hành; xây dựng bộ điều khiển thích nghi bền vững dựa trên phương pháp điều khiển trượt kết hợp nguyên lý ổn định từ đầu vào đến trạng thái (Input-to-State Stability - ISS); áp dụng mô phỏng và đánh giá chất lượng trên đối tượng cẩu treo 3 chiều (3D).
  2. Phát triển và hoàn thiện phương pháp điều khiển trượt bậc cao áp dụng cho hệ Euler-Lagrange thiếu cơ cấu chấp hành; đánh giá chất lượng bộ điều khiển thông qua mô phỏng trên phần mềm Matlab/Simulink cho hệ cẩu treo 3D.
  3. Xây dựng mô hình thí nghiệm hệ cẩu treo 3D nhằm thử nghiệm và kiểm chứng các kết quả lý thuyết bằng thực nghiệm.

Chỉ tiêu chất lượng chi tiết đặt ra bao gồm:

  • Đảm bảo chất lượng điều khiển bám vị trí đặt trước, vận chuyển tải trọng từ vị trí ban đầu đến vị trí đích trong khoảng thời gian ngắn.
  • Giới hạn các góc lệch dao động của dây treo trong phạm vi nhỏ và triệt tiêu dần theo thời gian.
  • Cải thiện hiệu ứng rung thông qua việc thu hẹp khoảng trượt về lân cận gốc tọa độ.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Lớp mô hình hệ Euler-Lagrange tổng quát, các hệ chuyển động thiếu cơ cấu chấp hành và đối tượng cụ thể là hệ cẩu treo không gian 3 chiều (cẩu treo 3D).
  • Phạm vi nghiên cứu: Luận án tập trung nghiên cứu lý thuyết điều khiển thích nghi bền vững cho hệ Euler-Lagrange thiếu cơ cấu chấp hành; đề xuất hoàn thiện phương pháp điều khiển thích nghi ISS và phương pháp điều khiển trượt bậc cao; thực hiện kiểm chứng mô phỏng trên đối tượng cẩu treo 3D và thử nghiệm bước đầu trên bàn thí nghiệm vật lý. Không gian khảo sát của các biến trạng thái là không gian các biến khớp.

Tổng quan tài liệu và vị trí của luận án

Các hướng nghiên cứu trước trong tài liệu

Luận án tiến hành phân loại và tổng quan các công trình nghiên cứu về điều khiển hệ thiếu cơ cấu chấp hành và hệ cẩu treo theo các nhóm phương pháp chính:

Nhóm phương pháp Công trình / Tác giả trích dẫn tiêu biểu Đặc điểm và hạn chế chỉ ra trong luận án
Tuyến tính hóa từng phần (Partial feedback linearization) Spong (1994) [77]; áp dụng trên cẩu: [16, 22, 74, 81] Phân tách hệ thành hệ con cưỡng bức (đủ chấp hành) và hệ con tự do. Yêu cầu mô hình phải tường minh, không chứa tham số bất định và không có nhiễu đầu vào.
Điều khiển truyền thẳng (Input shaping) Singer, Seering, Singhose [6, 7, 18, 64, 72]; [6, 28] Thiết kế chuỗi xung Dirac ($N$ xung) để triệt tiêu dao động tự do. Là cấu trúc vòng hở, không thích nghi được với hệ có tham số biến đổi, có nhiễu hoặc yêu cầu bám quỹ đạo mẫu.
Phương pháp Backstepping Krstic, Kanellakopoulos, Kokotovic [3, 44]; [9, 71] Thiết kế theo từng bước dựa trên hàm Lyapunov điều khiển (CLF). Hiệu quả chủ yếu với hệ đủ cơ cấu chấp hành; khi áp dụng cho hệ thiếu cơ cấu chấp hành bị phụ thuộc vào ma trận giả nghịch đảo $H^\dagger(x_1)$.
Điều khiển nội suy mờ (Fuzzy interpolative control) [15, 18, 24, 27, 45, 64]; cấu trúc 5 bộ PD mờ [74] Sử dụng các bộ xấp xỉ mờ sau khi đã tuyến tính hóa từng phần. Thiết kế phụ thuộc chủ yếu vào kinh nghiệm chuyên gia, khó chứng minh tính ổn định giải tích tổng quát.
Điều khiển PD và quan sát R. Toxqui và cs (2006) [82, 84] Sử dụng bộ quan sát hệ số khuếch đại cao kết hợp mạng nơ-ron RBF để bù ma sát và trọng lực. Chỉ phù hợp với mô hình có cấu trúc đơn giản, dạng tường minh.
Điều khiển tối ưu Field (1961) [86]; tối ưu thời gian [87] Tối ưu hóa quỹ đạo vận tốc xe cẩu dựa trên nguyên lý cực đại. Khó mở rộng cho hệ bất định chịu tác động của nhiễu ngẫu nhiên ở đầu vào.
Điều khiển thích nghi và trượt cổ điển Slotine, Li (1987) [76]; [3, 8, 43, 53, 83, 88, 89] - PD thích nghi: chỉnh định $\hat{\theta}$ theo nguyên lý giả định rõ.
- Li-Slotine: tận dụng tính phản đối xứng $\dot{M}-2C$, không cần nghịch đảo $M(q,\hat{\theta})$ nhưng sinh hiện tượng rung và chưa chứng minh thời gian hữu hạn tiến về mặt trượt.
- Trượt bậc 1: bền vững với nhiễu nhưng xuất hiện chattering lớn do hàm relay $\text{sgn}(s)$.

Khoảng trống nghiên cứu luận án lựa chọn giải quyết

Từ việc phân tích tổng quan, luận án chỉ ra hai khoảng trống kỹ thuật cần xử lý:

  1. Các phương pháp điều khiển thích nghi hiện tại cho hệ EL thiếu cơ cấu chấp hành khi xử lý đồng thời tham số bất định và nhiễu đầu vào thường phải sử dụng cơ cấu trượt dạng relay, dẫn đến hiện tượng rung tần số cao làm tổn hại cơ cấu cơ khí. Cần một phương pháp điều khiển thích nghi bền vững phi trượt hoặc có cơ chế bù trơn để triệt tiêu chattering.
  2. Các nghiên cứu ứng dụng điều khiển trượt bậc cao cho hệ thiếu cơ cấu chấp hành (như công trình [54] cho cẩu 3D) chưa chứng minh được quỹ đạo trạng thái hội tụ về mặt trượt trong khoảng thời gian hữu hạn (mới chỉ chứng minh tiệm cận), đồng thời thiếu các điều kiện toán học ràng buộc để đảm bảo hệ thống trượt trên mặt trượt về đúng gốc tọa độ.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khung phân tích

Luận án sử dụng khung lý thuyết động lực học giải tích và lý thuyết điều khiển phi tuyến hiện đại:

  • Mô hình toán học hệ Euler-Lagrange: Mô hình tổng quát của hệ cơ học phi tuyến có tham số bất định và chịu nhiễu: $$M(q, \theta)\ddot{q} + C(q, \dot{q}, \theta)\dot{q} + g(q, \theta) = Gu + n(t)$$ Trong đó: $q \in \mathbb{R}^n$ là vector biến khớp; $\theta \in \mathbb{R}^p$ là vector tham số hằng bất định; $u \in \mathbb{R}^m$ là vector điều khiển ($m < n$ đối với hệ thiếu cơ cấu chấp hành); $n(t)$ là vector nhiễu đầu vào thỏa mãn $|n(t)| \le \bar{n}$; ma trận quán tính $M(q, \theta)$ đối xứng xác định dương; quan hệ giữa ma trận quán tính và ma trận Coriolis thỏa mãn tính chất phản đối xứng $\dot{M}(q, \theta) - 2C(q, \dot{q}, \theta) = -[\dot{M}(q, \theta) - 2C(q, \dot{q}, \theta)]^T$; biểu diễn tuyến tính theo tham số bất định $M(q, \theta)\ddot{q} + C(q, \dot{q}, \theta)\dot{q} + g(q, \theta) = F(q, \dot{q}, \ddot{q})\theta$.
  • Lý thuyết ổn định Lyapunov và nguyên lý ISS: Sử dụng các hàm Lyapunov toàn phương, bổ đề LaSalle-Yoshizawa và nguyên lý ổn định từ đầu vào đến trạng thái (Input-to-State Stability) để đánh giá tính bị chặn và giới hạn vùng hội tụ của sai lệch bám.
  • Kỹ thuật phân tách hệ Spong: Phân rã vector biến khớp $q = \text{col}(q_1, q_2)$ thành vector biến khớp độc lập $q_1 \in \mathbb{R}^m$ (chịu tác động trực tiếp của $u$) và biến khớp phụ thuộc $q_2 \in \mathbb{R}^{n-m}$.
  • Lý thuyết điều khiển trượt bậc cao: Sử dụng các thuật toán trượt bậc hai (Twisting, Super-Twisting của Levant [50, 51, 52], Sub-optimal của Bartolini [12]) kết hợp định lý giá trị cực trị Weierstrass để thiết lập tính hội tụ thời gian hữu hạn.

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

  • Phương pháp giải tích - giải thuật: Thiết lập các định lý toán học, xây dựng luật điều khiển giải tích và luật thích nghi tham số, chứng minh tính ổn định tiệm cận và tính bị chặn của quỹ đạo trạng thái bằng giải tích Lyapunov.
  • Phương pháp mô phỏng số: Thiết lập mô hình động học phi tuyến đầy đủ của hệ cẩu treo 3D trên môi trường Matlab/Simulink để kiểm chứng các giải thuật điều khiển trong các kịch bản có nhiễu tác động và sai lệch tham số mô hình.
  • Phương pháp thực nghiệm: Chế tạo bàn thí nghiệm hệ cẩu treo 3D với hệ thống cảm biến đo góc lắc và vị trí xe cẩu để thu thập dữ liệu kiểm chứng bước đầu.

Nội dung chính theo từng chương

Chương 1: Tổng quan về các phương pháp điều khiển hệ thiếu cơ cấu chấp hành

Chương 1 hệ thống hóa mô hình toán học tổng quát của hệ Euler-Lagrange thiếu cơ cấu chấp hành dạng tường minh và bất định. Tác giả trình bày chi tiết công cụ phân tách hệ của Spong [77] làm nền tảng cho việc thiết kế bộ điều khiển: $$M_{11}(q)\ddot{q}1 + M{12}(q)\ddot{q}2 + f_1(q, \dot{q}) = u$$ $$M{21}(q)\ddot{q}1 + M{22}(q)\ddot{q}_2 + f_2(q, \dot{q}) = 0$$

Từ tính không suy biến của $M_{22}(q)$, rút ra phương trình vi phân cho biến khớp phụ thuộc $\ddot{q}2 = -M{22}^{-1}(q)[M_{21}(q)\ddot{q}1 + f_2(q, \dot{q})]$, đưa hệ con thứ nhất về dạng tuyến tính từng kênh $\ddot{q}1 = v$ thông qua phản hồi trạng thái: $$u = D(q)v + C{11}(q, \dot{q})\dot{q}1 + f^*(q, \dot{q})$$ Trong đó $D(q) = M{11}(q) - M{12}(q)M_{22}^{-1}(q)M_{21}(q)$.

Chương này cũng phân tích điều kiện đủ để hệ con tự do $q_2$ ổn định tiệm cận tại điểm cân bằng dựa trên định lý từ tài liệu [36]. Đồng thời, chương 1 điểm luận chi tiết các cấu trúc điều khiển bám cho hệ EL đủ cơ cấu chấp hành (PD bù trọng trường thích nghi, điều khiển trượt truyền thống, phương pháp Li-Slotine) và chỉ rõ các hạn chế liên quan đến hiện tượng rung chattering và độ phức tạp tính toán nghịch đảo ma trận.

Chương 2: Một số đề xuất bổ sung tính thích nghi bền vững cho bộ điều khiển hệ thiếu cơ cấu chấp hành

Chương 2 trình bày hai đóng góp lý thuyết trọng tâm của luận án:

1. Bộ điều khiển bám ổn định ISS thích nghi với tín hiệu bù

Xét hệ bất định có nhiễu đầu vào được biến đổi về dạng: $$D(q, \theta)\ddot{q}1 + C{11}(q, \dot{q}, \theta)\dot{q}_1 + f^(q, \dot{q}, \theta) = u + n(q, t)$$ Sử dụng quan hệ tuyến tính với tham số $D(q, \theta)\ddot{q}1 + C{11}\dot{q}_1 + f^ = F_1(q, \dot{q}, \ddot{q})\theta$, tác giả đề xuất luật điều khiển tại Định lý 1: $$u = D(q, d)\left(\ddot{q}r - K_1 \dot{e} - K_2 e\right) + C{11}(q, \dot{q}, d)\dot{q}_1 + f^*(q, \dot{q}, d) - s(t)$$ Trong đó vector tham số danh định $d$ được chọn thỏa mãn $|D^{-1}(q, d)|_1 \le \gamma_1$, sai lệch bám $e = q_1 - q_r$, $x = \text{col}(e, \dot{e})$, và vector tín hiệu bù $s(t)$ có dạng tích phân: $$s(t) = F_1(q, \dot{q}, \ddot{q}) \int_0^t \left[ D^{-1}(q, d) F_1(q, \dot{q}, \ddot{q}) \right]^T [K_1, K_2] x , d\tau$$ Ma trận $K_1, K_2$ được thiết kế dạng đường chéo xác định dương $K_1 = \text{diag}(a)$, $K_2 = \text{diag}((a+1)a)$.

Tác giả chứng minh bằng hàm Lyapunov $V = \frac{1}{2}(x - x_m)^T P (x - x_m) + \frac{1}{2}\tilde{\theta}^T \tilde{\theta}$, dẫn đến đạo hàm $\dot{V} \le -a^2 |x|^2 + |PB|\bar{n}|x|$. Khi sai lệch nằm ngoài lân cận $|x| > \frac{\bar{n}|PB|}{a}$, $\dot{V} < 0$, bảo đảm sai lệch bám $x(t)$ hội tụ tiệm cận về miền lân cận gốc tọa độ xác định bởi: $$\Omega_x = \left{ x \in \mathbb{R}^{2m} : |x| \le \frac{\bar{n}|PB|}{a} \right}$$ Luật điều khiển này không sử dụng hàm chuyển mạch relay nên loại bỏ hoàn toàn hiện tượng rung.

2. Hoàn thiện phương pháp điều khiển trượt bậc hai

Đối với hệ có số biến khớp độc lập thỏa mãn $2m \ge n$, mô hình được đưa về dạng danh định với thành phần bất định tổng hợp $\Phi(q, \dot{q}, \ddot{q}, t)$ bị chặn trên bởi $|\Phi| \le \bar{\varphi}$. Mặt trượt mở rộng được thiết kế: $$s(q, \dot{q}_1) = \dot{q}1 + \Lambda e + \Phi q_2$$ Luật điều khiển trượt bậc hai đề xuất có dạng: $$u = u{eq} - K \text{sgn}(s)$$ Với $K = \text{diag}(k_i)$ thỏa mãn điều kiện bền vững $k_i > \bar{\varphi}_i$.

Tại Định lý 2, tác giả sử dụng hàm Lyapunov $V = \frac{1}{2}s^T K s$ trên tập compact $\Omega$ của không gian trạng thái đầu. Áp dụng định lý Weierstrass và tính xác định dương của ma trận $D(q)$ với giá trị riêng lớn nhất $\lambda_{\max}$, luận án thiết lập bất đẳng thức vi phân: $$\dot{V}(t) \le -\frac{2\alpha}{\lambda_{\max}} V(t)$$ Bất đẳng thức này chứng minh quỹ đạo trạng thái tiến về mặt trượt $s = 0$ sau khoảng thời gian hữu hạn $T$.

Bên cạnh đó, luận án thiết lập mô hình động học của hệ trên mặt trượt khi $s = 0$: $$\dot{x}_1 = x_2$$ $$\dot{x}_2 = x_3$$ $$\dot{x}_3 = h(x)$$ Với $x = \text{col}(e, q_2, \dot{q}_2)$, và chứng minh điều kiện cần và đủ để sai lệch trượt về gốc tọa độ là tồn tại hàm Lyapunov $V'(x)$ sao cho $\dot{V}'(x) < 0, \forall x \neq 0$.

Chương 3: Ứng dụng trong điều khiển hệ cẩu treo 3D

Chương 3 áp dụng các kết quả lý thuyết vào mô hình toán học giải tích của hệ cẩu treo 3D:

  • Cấu trúc vật lý: Gồm xà đỡ khối lượng $m_r$, xe cẩu khối lượng $m_c$, tải trọng khối lượng $m$, chiều dài dây cáp $l$. Các tín hiệu điều khiển gồm lực kéo xe con $u_y$, lực kéo xà đỡ $u_x$, và lực cuốn tời $u_l$. Dao động của tải được mô tả qua hai góc lắc $\theta_x$ (trong mặt phẳng $xoz$) và $\theta_y$ (trong mặt phẳng $yoz$).
  • Mô hình động học Euler-Lagrange: Vector biến khớp gồm 5 thành phần: $q = (x, y, l, \theta_x, \theta_y)^T$ ($n=5, m=3$, thỏa mãn điều kiện $2m \ge n$ vì $6 \ge 5$).

Tọa độ vị trí của tải trọng trong không gian 3 chiều: $$x_m = x + l \sin\theta_x \cos\theta_y$$ $$y_m = y - l \sin\theta_y$$ $$z_m = -l \cos\theta_x \cos\theta_y$$

Áp dụng phương trình Lagrange loại 2 với hàm Lagrange $L = E - V$, tác giả dẫn xuất hệ 5 phương trình vi phân chuyển động phi tuyến:

  1. Trục $Ox$: $$(M_x + m)\ddot{x} + D_x \dot{x} - ml\cos\theta_x \cos\theta_y \ddot{\theta}_x + ml\sin\theta_x \sin\theta_y \ddot{\theta}_y + ml\sin\theta_x \cos\theta_y \ddot{l} - 2m\cos\theta_x \cos\theta_y \dot{l}\dot{\theta}_x + 2m\sin\theta_x \sin\theta_y \dot{l}\dot{\theta}_y + ml\sin\theta_x \cos\theta_y \dot{\theta}_x^2 + 2ml\cos\theta_x \sin\theta_y \dot{\theta}_x \dot{\theta}_y + ml\sin\theta_x \cos\theta_y \dot{\theta}_y^2 = u_x$$
  2. Trục $Oy$: $$(M_y + m)\ddot{y} + D_y \dot{y} - ml\cos\theta_y \ddot{\theta}_y - m\sin\theta_y \ddot{l} - 2ml\cos\theta_y \dot{l}\dot{\theta}_y + m\sin\theta_y \dot{\theta}_y^2 = u_y$$
  3. Trục cuốn cáp $Ol$: $$m\sin\theta_x \cos\theta_y \ddot{x} - m\sin\theta_y \ddot{y} + m\ddot{l} + D_l \dot{l} - ml\cos^2\theta_y \dot{\theta}_x^2 - ml\dot{\theta}_y^2 - mg\cos\theta_x \cos\theta_y = u_l$$
  4. Động học góc lắc $\theta_x$: $$l\cos^2\theta_y \ddot{\theta}_x - \cos\theta_x \cos\theta_y \ddot{x} + g\sin\theta_x \cos\theta_y - 2l\sin\theta_x \cos\theta_y \dot{\theta}_x \dot{\theta}_y + 2\cos^2\theta_y \dot{l}\dot{\theta}_x = 0$$
  5. Động học góc lắc $\theta_y$: $$l\ddot{\theta}_y - \cos\theta_y \ddot{y} + g\cos\theta_x \sin\theta_y + 2\dot{l}\dot{\theta}_y + l\cos\theta_y \sin\theta_y \dot{\theta}_x^2 - \sin\theta_x \sin\theta_y \ddot{x} = 0$$

Trong đó $M_x = m_r + m_c$, $M_y = m_c$, $D_x, D_y, D_l$ là các hệ số ma sát nhớt. Hệ phương trình được tổng hợp về dạng ma trận $M(q)\ddot{q} + B\dot{q} + C(q,\dot{q})\dot{q} + g(q) = Gu$.

Kết quả và những đóng góp mới

Đóng góp mới về lý luận và thực tiễn

  1. Đóng góp lý thuyết về điều khiển thích nghi ISS: Đề xuất giải thuật điều khiển thích nghi bền vững kết hợp phương pháp tuyến tính hóa từng phần của Spong và nguyên lý ISS cho hệ Euler-Lagrange thiếu cơ cấu chấp hành. Giải thuật sử dụng vector tín hiệu bù tích phân $s(t)$ thay thế cho cấu trúc chuyển mạch relay, giúp hệ thống thích nghi với tham số bất định, kháng nhiễu đầu vào và triệt tiêu hoàn toàn hiện tượng rung (chattering).
  2. Đóng góp lý thuyết về hoàn thiện điều khiển trượt bậc hai: Mở rộng thành công phương pháp trượt bậc hai từ đối tượng cụ thể sang lớp hệ Euler-Lagrange thiếu cơ cấu chấp hành nhiều biến khớp độc lập ($2m \ge n$). Luận án chứng minh chặt chẽ bằng toán học tính hội tụ về mặt trượt trong thời gian hữu hạn (Định lý 2) và thiết lập điều kiện ổn định tiệm cận của động học trượt về gốc tọa độ.
  3. Đóng góp về mô hình hóa và ứng dụng thực tiễn: Xây dựng tường minh mô hình toán học giải tích 5 bậc tự do cho hệ cẩu treo 3D có cáp biến đổi chiều dài và ma sát nhớt; kiểm chứng giải thuật điều khiển bám vị trí, triệt tiêu góc lắc tải trọng qua mô phỏng số và xây dựng mô hình bàn thí nghiệm cẩu treo 3D phục vụ nghiên cứu thực nghiệm.

Giải pháp và kiến nghị đề xuất

  • Ứng dụng thuật toán điều khiển thích nghi ISS cho các hệ thống điều khiển tự động cẩu treo công nghiệp nhằm nâng cao độ chính xác định vị và đảm bảo an toàn vận hành.
  • Áp dụng phương pháp trượt bậc hai mở rộng cho các hệ thống tay máy robot hoặc cơ cấu chuyển động thiếu chấp hành do giải thuật có cấu trúc tính toán thuận lợi, không đòi hỏi vi xử lý có năng lực tính toán quá cao.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế được ghi nhận trong văn bản

  1. Đối với bộ điều khiển thích nghi ISS, sai lệch bám không triệt tiêu hoàn toàn về 0 mà chỉ hội tụ về một lân cận gốc xác định bởi bán kính $\frac{\bar{n}|PB|}{a}$ (mặc dù kích thước lân cận có thể thu nhỏ tùy ý bằng cách tăng hệ số $a$).
  2. Đối với lớp hệ Euler-Lagrange có hệ con tự do không tự ổn định, luận án chưa đưa ra được phương pháp tổng quát để xác định vector tham số $d$ đảm bảo tính ổn định tiệm cận cho hệ con này (kết quả hiện tại áp dụng cho các hệ có hệ con tự ổn định với mọi $d$ như hệ cẩu treo).
  3. Đánh giá thực nghiệm mới dừng lại ở bước đầu thử nghiệm trên một mô hình bàn thí nghiệm cụ thể.

Hướng nghiên cứu tiếp

  • Tiếp tục nghiên cứu giải pháp toán học tổng quát để xác định tham số $d(q_r, q_2)$ cho lớp hệ EL có hệ con tự do không tự ổn định.
  • Triển khai hoàn thiện việc thử nghiệm thực nghiệm trên các mô hình cẩu công nghiệp quy mô thực tế.

Giá trị tham khảo

Đối tượng thụ hưởng

  • Nghiên cứu sinh và học viên cao học: Chuyên ngành Kỹ thuật Điều khiển và Tự động hóa, Cơ điện tử, Robot học tham khảo phương pháp luận thiết kế điều khiển phi tuyến, chứng minh ổn định Lyapunov và kỹ thuật xử lý hệ thiếu cơ cấu chấp hành.
  • Giảng viên và nhà nghiên cứu: Sử dụng các dẫn xuất mô hình động học cẩu treo 3D và các định lý hội tụ thời gian hữu hạn làm tài liệu phục vụ giảng dạy và nghiên cứu chuyên sâu.
  • Kỹ sư phát triển hệ thống: Tham khảo cấu trúc thuật toán điều khiển ISS và trượt bậc cao để lập trình điều khiển nhúng trên vi điều khiển/máy tính công nghiệp cho các hệ thống cầu trục, cẩu cảng.

Các phần đáng tham khảo

  • Mục 2.1: Thiết kế giải tích và chứng minh Định lý 1 về bộ điều khiển thích nghi ISS với tín hiệu bù không gây rung.
  • Mục 2.2: Thiết kế giải tích và chứng minh Định lý 2 về điều khiển trượt bậc hai thời gian hữu hạn cho hệ nhiều biến khớp.
  • Mục 3.2: Dẫn xuất chi tiết hệ 5 phương trình vi phân chuyển động phi tuyến của hệ cẩu treo 3D từ phương trình Lagrange.

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

1. Hệ Euler-Lagrange thiếu cơ cấu chấp hành được định nghĩa toán học như thế nào trong luận án?

Hệ Euler-Lagrange được gọi là thiếu cơ cấu chấp hành khi số lượng tín hiệu điều khiển đầu vào $m$ nhỏ hơn số bậc tự do (số biến khớp) $n$ của hệ ($m < n$). Khi đó, ma trận phân phối đầu vào $G$ không phải là ma trận đơn vị $I_n$, dẫn đến việc không thể can thiệp điều khiển độc lập và trực tiếp lên toàn bộ các biến khớp của hệ thống.

2. Bộ điều khiển thích nghi ISS với tín hiệu bù giải quyết hiện tượng rung (chattering) bằng cơ chế nào?

Bộ điều khiển thích nghi ISS thay thế hàm chuyển mạch gián đoạn relay $\text{sgn}(s)$ trong điều khiển trượt truyền thống bằng một vector tín hiệu bù trơn $s(t)$ có dạng tích phân sai lệch: $$s(t) = F_1(q, \dot{q}, \ddot{q}) \int_0^t \left[ D^{-1}(q, d) F_1(q, \dot{q}, \ddot{q}) \right]^T [K_1, K_2] x , d\tau$$ Cơ chế này không ép quỹ đạo trạng thái phải chuyển mạch liên tục trên một mặt trượt cố định, do đó loại bỏ hoàn toàn hiện tượng dao động tần số cao (chattering) ở tín hiệu điều khiển đầu vào.

3. Luận án đã khắc phục những điểm chưa hoàn thiện nào trong công trình điều khiển trượt bậc hai của tài liệu [54]?

Công trình [54] mới chỉ chứng minh quỹ đạo hệ cẩu treo tiệm cận về mặt trượt và chưa đưa ra điều kiện chuyển động trên mặt trượt. Luận án đã hoàn thiện bằng cách:

  • Mở rộng thuật toán cho lớp hệ EL thiếu cơ cấu chấp hành tổng quát có nhiều biến khớp độc lập thỏa mãn $2m \ge n$.
  • Chứng minh chặt chẽ quỹ đạo trạng thái hội tụ về mặt trượt sau một khoảng thời gian hữu hạn $T$ (Định lý 2) nhờ định lý Weierstrass trên miền compact.
  • Thiết lập điều kiện cần và đủ để hệ động học sai số trượt ổn định tiệm cận về gốc tọa độ khi $s = 0$.

4. Hệ cẩu treo không gian 3 chiều (3D) trong luận án gồm những biến khớp và đầu vào điều khiển nào?

Hệ cẩu treo 3D gồm 5 biến khớp ($n=5$):

  • $x$: Tọa độ vị trí xà đỡ di chuyển theo trục $Ox$.
  • $y$: Tọa độ vị trí xe cẩu di chuyển dọc xà đỡ theo trục $Oy$.
  • $l$: Chiều dài dây cáp treo tải trọng.
  • $\theta_x$: Góc lắc của dây treo trong mặt phẳng $xoz$.
  • $\theta_y$: Góc lắc của dây treo trong mặt phẳng $yoz$.

Hệ thống có 3 tín hiệu lực điều khiển đầu vào ($m=3$): lực kéo xà đỡ $u_x$, lực kéo xe cẩu $u_y$, và lực cuộn cáp $u_l$. Hai biến khớp góc lắc $\theta_x, \theta_y$ là các biến khớp phụ thuộc không có cơ cấu chấp hành trực tiếp.

5. Bán kính hội tụ sai số bám trong Định lý 1 phụ thuộc vào các thông số nào?

Theo Định lý 1, bán kính miền lân cận hội tụ sai số bám $\Omega_x$ tỷ lệ thuận với giá trị chặn trên của nhiễu đầu vào $\bar{n}$ cùng chuẩn ma trận $|PB|$, và tỷ lệ nghịch với tham số thiết kế $a$ của bộ điều khiển: $$|x| \le \frac{\bar{n}|PB|}{a}$$ Người thiết kế có thể chủ động thu nhỏ bán kính hội tụ này về mức mong muốn bằng cách lựa chọn hệ số khuếch đại $a$ đủ lớn.

Kết luận

Luận án đã giải quyết bài toán điều khiển thích nghi bền vững cho lớp hệ Euler-Lagrange thiếu cơ cấu chấp hành có tham số bất định và chịu tác động của nhiễu đầu vào. Bằng việc đề xuất bộ điều khiển thích nghi ISS với tín hiệu bù tích phân và hoàn thiện phương pháp điều khiển trượt bậc hai thời gian hữu hạn, công trình đã khắc phục được hiện tượng rung chattering và bổ sung các chứng minh toán học giải tích chặt chẽ. Các kết quả lý thuyết được cụ thể hóa và kiểm chứng thành công trên mô hình giải tích chi tiết của hệ cẩu treo không gian 3D gồm 5 bậc tự do.