Tổng quan về luận án

Nghiên cứu của tác giả Ngô Kiên Trung (2014) thuộc chuyên ngành Kỹ thuật điều khiển và Tự động hóa (Mã số: 62.52.60.16) tại Đại học Thái Nguyên, dưới sự hướng dẫn khoa học của PGS. Nguyễn Hữu Công và TS. Vũ Như Lân, mang tên: "Nghiên cứu cải tiến bộ điều khiển sử dụng đại số gia tử cho đối tượng phi tuyến". Công trình đại diện cho bước phát triển tiên phong trong việc chuyển dịch mô hình điều khiển mờ truyền thống sang cấu trúc toán học đại số trừu tượng nhằm giải quyết triệt để các bài toán điều khiển phi tuyến phức tạp trong công nghiệp.

flowchart TD
    A["Hệ thống Phi tuyến Thực tế<br/>(Ball & Beam / Cơ cấu Servo)"] --> B["Cảm biến & Khâu lọc Biến trạng thái<br/>(Encoder / GP2D12 / SVF)"]
    B --> C["Không gian Đầu vào 3 Chiều<br/>(Sai lệch E, Đạo hàm DE, Tích phân IE)"]
    C --> D["Ánh xạ Ngữ nghĩa Định lượng SQMs<br/>vAX: X → [0, 1]"]
    D --> E["Bộ nhớ Kết hợp Định lượng SAM3<br/>(Giản lược từ 27 luật xuống 7 luật)"]
    E --> F["Tối ưu hóa Tham số bằng GA<br/>(Hàm mục tiêu tích phân ISE/ITAE)"]
    F --> G["Đường cong / Mặt cong Ngữ nghĩa Định lượng<br/>& Phép Kết nhập Trọng số"]
    G --> H["Giải định lượng & Tín hiệu PWM<br/>(Arduino Board / Driver)"]
    H --> A

Bối cảnh khoa học của luận án bắt nguồn từ những giới hạn nội tại của logic mờ kinh điển (Fuzzy Logic Controller - FLC) do Zadeh (1965) khởi xướng. Mặc dù FLC đã chứng minh tính hiệu quả vượt trội trong việc mô hình hóa tri thức chuyên gia mà không cần mô hình toán học chính xác của đối tượng, phương pháp này vẫn vấp phải hiện tượng bùng nổ luật điều khiển khi số lượng biến đầu vào gia tăng ($N^k$ luật), đồng thời phụ thuộc nặng nề vào việc gán hàm liên thuộc (membership functions) mang tính chủ quan. Lý thuyết Đại số gia tử (Hedge Algebra - HA) do Ho N. và các cộng sự đề xuất từ thập niên 1990 đã cung cấp một cấu trúc toán học chặt chẽ để mô phỏng và tính toán ngữ nghĩa của biến ngôn ngữ dựa trên quan hệ thứ tự tự nhiên. Tuy nhiên, khoảng trống nghiên cứu (research gap) cốt lõi trước thời điểm công trình này được thực hiện là: các ứng dụng của HA chủ yếu khu biệt trong lĩnh vực công nghệ thông tin (khai phá dữ liệu, chẩn đoán, dự báo); các nghiên cứu điều khiển mờ dựa trên HA (HAC) mới dừng lại ở các hệ thống một hoặc hai đầu vào tuyến tính đơn giản, thiếu một phương pháp luận chuẩn tắc để mở rộng lên hệ nhiều đầu vào cho đối tượng phi tuyến, thiếu cơ chế tối ưu hóa tham số đại số tự động bảo toàn ngữ nghĩa, và hoàn toàn thiếu vắng các kiểm chứng thực nghiệm trên phần cứng vật lý thời gian thực.

Luận án đã thiết lập hệ thống câu hỏi nghiên cứu và giả thuyết khoa học tường minh:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết kế bộ điều khiển sử dụng đại số gia tử 3 đầu vào nhằm nâng cao chất lượng động học hệ phi tuyến mà không làm bùng nổ số lượng luật và độ phức tạp tính toán?
  • Câu hỏi nghiên cứu 2 (RQ2): Thiết lập thuật toán tối ưu hóa tự động các tham số đại số gia tử ($\alpha, \beta, \theta, f_m$) như thế nào bằng Giải thuật Di truyền (Genetic Algorithm - GA) để vừa tối thiểu hóa hàm mục tiêu sai số động học vừa triệt tiêu sự sai lệch so với trực giác ngôn ngữ con người?
  • Câu hỏi nghiên cứu 3 (RQ3): Bộ điều khiển cải tiến có duy trì được tính bền vững và ổn định khi đối tượng có tham số biến đổi mạnh và độ trễ lớn tới 40% hằng số thời gian không?
  • Giả thuyết khoa học 1 (H1): Việc tích hợp quan hệ thứ tự của HA với cấu trúc không gian 3 chiều ($E, DE, IE$) cho phép giản lược hơn 70% số luật điều khiển trong bộ nhớ kết hợp định lượng (SAM) mà vẫn đảm bảo độ chính xác điều khiển cao hơn FLC truyền thống.
  • Giả thuyết khoa học 2 (H2): Ràng buộc không gian tìm kiếm của GA theo các tiên đề của HA sẽ tạo ra bộ tham số tối ưu toàn cục, khắc phục hiện tượng mất thông tin của các phép kết nhập kinh điển (MIN/PRODUCT).

Khung lý thuyết của công trình tích hợp ba nền tảng: Lý thuyết Đại số gia tử tuyến tính ($AX = (X, C, H, \le)$) của Ho N. (1992), Lý thuyết Tập mờ của Zadeh (1965), và Lý thuyết Tính toán tiến hóa với Định lý Giản đồ của Holland (1975). Đóng góp đột phá của luận án được lượng hóa cụ thể: giảm số lượng luật điều khiển từ 27 luật xuống còn 7 luật trong không gian 3 biến; giảm sai số điều khiển tích phân $e(AL, HAR_{AND=MIN}) = 2.16$ so với $e(AL, FR) = 7.17$ của FLC truyền thống (giảm 69.87% sai số); kiểm chứng thành công khả năng ổn định đối tượng có độ trễ lớn chiếm tới 40% hằng số thời gian hệ thống. Phạm vi nghiên cứu bao gồm mô phỏng số trên môi trường MATLAB/Simulink và kiểm chứng thực nghiệm thời gian thực trên hai mô hình vật lý phi tuyến tiêu biểu: Hệ thống truyền động bám chính xác (Precision tracking servo drive) và Hệ thống bóng - thanh dầm (Ball and Beam System).

Literature Review và Positioning

Tổng quan y văn quốc tế và trong nước về lĩnh vực điều khiển thông minh ghi nhận sự tiến hóa qua ba dòng chảy học thuật chính. Dòng chảy thứ nhất là lý thuyết tập mờ và điều khiển mờ truyền thống được phát triển bởi Zadeh (1965), Mamdani (1974), và Takagi & Sugeno (1985). Ưu điểm của FLC là khả năng điều khiển các hệ phi tuyến phức tạp bằng cách bắt chước tư duy con người thông qua các biến ngôn ngữ. Tuy nhiên, sự phụ thuộc vào trực giác khi thiết kế các hàm liên thuộc hình tam giác, hình thang hay Gauss và số lượng luật mờ tăng theo hàm mũ khi số biến vào tăng lên là hạn chế cố hữu. Dòng chảy thứ hai là sự ra đời của Lý thuyết Đại số gia tử bởi Ho N., Wechler (1990, 1992), Ho N. & Khang T.D. (1999). HA đã tiên đề hóa ngữ nghĩa tự nhiên của ngôn ngữ thành một cấu trúc đại số trừu tượng $AX = (X, C, H, \le)$, trong đó ngữ nghĩa của các từ được xác định bởi vị trí tương đối của chúng trong sự sắp xếp thứ tự. Dòng chảy thứ ba là các nghiên cứu ứng dụng HA trong xấp xỉ hàm và điều khiển thông minh từ năm 2008 trở đi (Nguyễn Cát Hồ, 2008; Eduard Bartl và cộng sự, 2008; Bin-Da Liu và cộng sự, 2007).

Trong y văn tồn tại hai trường phái đối nghịch sâu sắc về phương pháp luận xác định tham số và xử lý suy luận trong HA:

  1. Trường phái Xác định Tham số bằng Trực giác: Đại diện bởi các nghiên cứu sơ khởi của Ho N., Nguyen H.C. (2008), lựa chọn độ đo tính mờ của các phần tử sinh ($c^-, c^+$) và các gia tử ($V, M, L, P$) theo cảm nhận trực quan (ví dụ gán $f_m(c^-) = f_m(c^+) = 0.5$). Quan điểm này đơn giản nhưng thiếu cơ sở toán học tối ưu động học, khiến bộ điều khiển chỉ hoạt động tốt trên các đối tượng đơn điệu hoặc dao động không có quá điều chỉnh.
  2. Trường phái Tối ưu hóa Tham số Phi ràng buộc: Đại diện bởi một số nghiên cứu áp dụng GA hoặc mạng nơ-ron RBF (Radial Basis Function) để tìm tham số HA nhằm cực tiểu hóa sai số xấp xỉ (như các công trình được trích dẫn trong luận án [4], [15], [21]). Trường phái này vấp phải nghịch lý: thuật toán tìm ra bộ tham số có sai số toán học nhỏ nhưng giá trị tham số lại quá lệch so với ngữ nghĩa tự nhiên con người (chẳng hạn $f_m(true) = 0.9$ trong khi $f_m(false) = 0.1$), làm phá vỡ tính logic của biến ngôn ngữ và thất bại khi đưa vào vòng điều khiển hệ phi tuyến có quán tính lớn.

Về phương pháp suy luận, sự tranh luận diễn ra giữa việc sử dụng phép kết nhập kinh điển AND = "MIN" hoặc AND = "PRODUCT" (gây mất thông tin trầm trọng khi đưa siêu mặt SAM về đường cong) và phương pháp mạng nơ-ron RBF xấp xỉ trực tiếp siêu mặt (bảo toàn thông tin nhưng thuật toán quá nặng, không khả thi cho vi xử lý nhúng thời gian thực).

Tiêu chí So sánh Bộ điều khiển Mờ Kinh điển (FLC - Mamdani/Sugeno) Đại số gia tử Tiền kỳ (HAC - Ho N. et al., 2008) Bộ điều khiển Đề xuất (NEW_HAC_GA - Ngô Kiên Trung, 2014)
Cơ sở Ngữ nghĩa Tập mờ, hàm liên thuộc liên tục ($\mu_A(x)$) Cấu trúc đại số thứ tự $AX = (X, C, H, \le)$ Cấu trúc đại số thứ tự kết hợp Ánh xạ SQMs
Số lượng Đầu vào Thường là 2 ($E, DE$) 1 hoặc 2 đầu vào cơ bản 3 đầu vào ($E, DE, IE$)
Số lượng Luật 27 luật (với 3 biến $\times$ 3 tập mờ) 9 - 25 luật (với 2 biến vào) Giản lược còn 7 luật chuẩn (Bảng SAM3)
Xác định Tham số Thử - sai hoặc tinh chỉnh bằng PSO/ANFIS Chọn trực giác chủ quan Tự động tối ưu bằng GA có ràng buộc ngữ nghĩa
Khối lượng Tính toán Vi xử lý Rất lớn (Tích phân giải mờ trọng tâm) Trung bình (Nội suy tuyến tính đường cong) Cực tiểu (Nội suy trên bảng SAM rút gọn)
Khả năng Chịu trễ & Phi tuyến Kém khi trễ $L > 0.2 T$ Chưa kiểm chứng cho hệ trễ lớn Ổn định với trễ lớn tới 40% ($L = 0.4 T$)

Luận án định vị vị thế khoa học bằng cách giải quyết trọn vẹn điểm nghẽn giữa hai trường phái: xây dựng thuật toán GA tối ưu hóa các tham số HA dựa trên hàm mục tiêu tích phân bình phương sai lệch kết hợp các ràng buộc toán học chặt chẽ để bảo tồn trật tự ngữ nghĩa; đồng thời đề xuất phép kết nhập có trọng số ($\sum w_i x_i = 1$) và giản lược bảng SAM từ 27 luật xuống 7 luật. So sánh với các công trình quốc tế tiêu biểu như nghiên cứu của Bin-Da Liu và cộng sự (2007) về triển khai FLC trên phần cứng số và Eduard Bartl cùng nhóm tác giả (2008) về đại số gia tử xấp xỉ, cấu trúc NEW_HAC của luận án thể hiện tính vượt trội về độ tinh gọn thuật toán, cho phép nhúng trực tiếp vào các vi điều khiển cấp thấp mà vẫn đảm bảo tính bền vững trước các nhiễu động phi tuyến.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án mở rộng Lý thuyết Đại số gia tử tuyến tính từ phạm vi xấp xỉ ngôn ngữ sang lĩnh vực điều khiển tự động phi tuyến đa biến. Về mặt toán học, cấu trúc đại số gia tử được định nghĩa như một bộ 4 thành phần:

$$AX = (X, C, H, \le)$$

Trong đó $X$ là miền giá trị của biến ngôn ngữ mang quan hệ thứ tự bộ phận $\le$ được cảm sinh bởi ngữ nghĩa tự nhiên; $C = {c^-, c^+} \cup {0, W, 1}$ là tập các phần tử sinh nguyên thủy (với $c^-$ là phần tử âm như slow, false; $c^+$ là phần tử dương như fast, true; $W$ là phần tử trung hòa); $H = H^- \cup H^+$ là tập các gia tử ngôn ngữ âm ($H^-$ như Little, Possibly) và gia tử ngôn ngữ dương ($H^+$ như Very, More).

Luận án đóng góp việc hoàn thiện phương pháp ánh xạ định lượng ngữ nghĩa (Semantically Quantifying Mappings - SQMs) $v_{AX}: X \to [0, 1]$ kết hợp hàm độ đo tính mờ $f_m(x)$ theo hệ tiên đề chặt chẽ:

$$f_m(c^-) + f_m(c^+) = 1$$

$$\sum_{h \in H} f_m(hu) = f_m(u), \quad \forall u \in X$$

$$\frac{f_m(hx)}{f_m(x)} = \frac{f_m(hy)}{f_m(y)} = \mu(h)$$

Giá trị định lượng của các phần tử sinh và phần tử trung hòa được xác lập chuẩn xác:

$$v(W) = \theta = f_m(c^-), \quad v(c^-) = \theta - \alpha f_m(c^-), \quad v(c^+) = \theta + \beta f_m(c^+)$$

với $\alpha, \beta \in (0, 1)$ là các tham số co giãn ngữ nghĩa.

classDiagram
    class HedgeAlgebra {
        +Set X (Miền giá trị ngôn ngữ)
        +Set C {c-, c+, 0, W, 1}
        +Set H {H-, H+}
        +OrderRelation <=
        +fm(u) Hàm độ đo tính mờ
        +vAX(x) Ánh xạ SQMs
    }
    class NEW_HAC_Controller {
        +InputVariables: E, DE, IE
        +OutputVariable: U
        +WeightVector: [w1, w2, w3]
        +Table: SAM3 (7 Rules)
        +Interpolation: Piecewise Linear
    }
    class GeneticAlgorithmOptimizer {
        +Population: N chromosomes
        +FitnessFunction: J = Integral(e^2 dt)
        +Parameters: alpha, beta, theta, mu(h)
        +Constraints: Semantic Order Preservation
    }
    HedgeAlgebra <|-- NEW_HAC_Controller : Triển khai toán học
    GeneticAlgorithmOptimizer --> NEW_HAC_Controller : Tối ưu hóa tham số

Cải tiến lý thuyết then chốt nằm ở việc luận án phát triển cấu trúc bộ điều khiển NEW_HAC kết hợp 3 biến trạng thái: Sai lệch $E$, Tốc độ thay đổi sai lệch $DE$, và Tích phân sai lệch $IE$. Bằng cách chứng minh tính chất kế thừa và bảo toàn trật tự ngữ nghĩa:

$$\text{Nếu } hx \le kx \implies h'hx \le h'kx$$

tác giả đã xây dựng quy tắc giản lược không gian trạng thái, chuyển đổi bảng nhớ kết hợp mờ đa chiều $FAM \in \mathbb{R}^3$ sang bảng kết hợp định lượng $SAM \in [0, 1]^3$, và tối giản hóa thành bảng $SAM3$ chỉ gồm 7 luật điều khiển chuẩn mà không làm mất đi các đặc tính phi tuyến của hệ thống.

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp đồng bộ ba lý thuyết chuyên sâu:

  1. Lý thuyết Đại số gia tử tuyến tính: Đóng vai trò là công cụ giải tích hóa ngữ nghĩa, chuyển các mệnh đề mờ ngôn ngữ thành các tọa độ điểm thực phân bố trên siêu mặt định lượng.
  2. Lý thuyết Điều khiển Phi tuyến Hiện đại: Cung cấp mô hình toán học động học của đối tượng (phương trình vi phân phi tuyến bậc cao, hiệu ứng trễ, mômen phi tuyến) làm cơ sở thiết kế đáp ứng vòng kín.
  3. Lý thuyết Tính toán Tiến hóa (GA): Đóng vai trò là động cơ tối ưu hóa toàn cục, vận hành dựa trên Định lý Giản đồ (Schema Theorem) của Holland:

$$m(G, t+1) \ge m(G, t) \frac{f(G)}{\bar{f}} \left[ 1 - P_c \frac{L(G)}{d-1} - P_m S(G) \right]$$

trong đó $S(G)$ là bậc của giản đồ, $L(G)$ là độ dài giản đồ, $P_c$ và $P_m$ lần lượt là xác suất lai ghép và đột biến.

Khung phân tích thiết lập một lộ trình biến đổi tín hiệu nghiêm ngặt: Tín hiệu thực $x \in [x_0, x_1]$ từ cảm biến được chuẩn hóa sang miền định lượng $s \in [s_0, s_1]$ thông qua ánh xạ:

$$s = s_0 + \frac{x - x_0}{x_1 - x_0}(s_1 - s_0)$$

Tiếp đó, phép kết nhập có trọng số chuyển đổi vector đầu vào 3 chiều $(x_1, x_2, x_3)$ với vector trọng số $(w_1, w_2, w_3)$ thỏa mãn $\sum_{i=1}^3 w_i = 1$ thành một đại lượng vô hướng tổng hợp:

$$X_{agg} = w_1 x_1 + w_2 x_2 + w_3 x_3$$

Đại lượng này được ánh xạ trực tiếp lên đường cong ngữ nghĩa định lượng để nội suy giá trị điều khiển định lượng $u_s \in [0, 1]$, sau đó được giải định lượng trả về giá trị vật lý $u(t)$ cấp cho cơ cấu chấp hành.

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

Thiết kế nghiên cứu

Luận án tuân thủ nghiêm ngặt thế giới quan thực chứng luận (Positivism) kết hợp chủ nghĩa thực tế phản biện (Critical Realism). Thiết kế nghiên cứu là sự kết hợp đa phương pháp (Multi-methodological design) khép kín gồm ba giai đoạn:

  1. Giai đoạn 1 (Lý thuyết thuần túy): Xây dựng các định lý, công thức tính toán độ đo tính mờ, thiết lập ánh xạ định lượng ngữ nghĩa và chứng minh thuật toán giản lược bảng luật trên nền tảng toán học trừu tượng.
  2. Giai đoạn 2 (Mô phỏng số học): Lập trình mô phỏng các thuật toán NEW_HAC, FLC, PID trên môi trường MATLAB/Simulink đối với ba lớp đối tượng: đối tượng tuyến tính có tham số biến đổi (động cơ một chiều có $J, R$ biến thiên), đối tượng phi tuyến đã tuyến tính hóa, và đối tượng có hằng số thời gian trễ lớn ($L = 0.4 T$).
  3. Giai đoạn 3 (Thực nghiệm phần cứng thời gian thực): Triển khai mã điều khiển trên bo mạch vi xử lý ghép nối với hai mô hình vật lý phi tuyến thực tế để kiểm chứng tính khả thi kỹ thuật.
sequenceDiagram
    autonumber
    participant Sensor as Cảm biến (Encoder/GP2D12)
    participant HW as Arduino Board & Real-Time Pacer
    participant Model as Bộ Điều khiển NEW_HAC_GA
    participant Actuator as Cơ cấu Chấp hành (Động cơ Servo)
    participant Plant as Đối tượng Phi tuyến (Ball & Beam)

    Plant->>Sensor: Trạng thái vật lý r(t), theta(t)
    Sensor->>HW: Tín hiệu tương tự / Xung số
    HW->>Model: Lấy mẫu chu kỳ Ts = 0.02s (State Variable Filter)
    Note over Model: 1. Ánh xạ định lượng SQMs<br/>2. Kết nhập trọng số w_i<br/>3. Nội suy trên Bảng SAM3 (7 luật)
    Model->>HW: Giá trị điều khiển u(t)
    HW->>Actuator: Tín hiệu điều chế độ rộng xung PWM
    Actuator->>Plant: Tạo mômen/Lực tác động cơ học

Quy trình nghiên cứu rigorous

Quy trình thu thập và xử lý dữ liệu thực nghiệm được thiết kế với độ chuẩn xác cao:

  • Hệ thống truyền động bám chính xác: Sử dụng động cơ servo DC ghép nối cơ cấu bánh răng giảm tốc, cảm biến quang mã hóa vòng quay Encoder để hồi tiếp vị trí góc quay $\theta(t)$. Bo mạch vi điều khiển Arduino Board đóng vai trò giao tiếp I/O, thu nhận tín hiệu encoder thông qua khối Encoder Read, thực thi thuật toán điều khiển và xuất tín hiệu điều chế độ rộng xung PWM qua khối Arduino Analog Write và tín hiệu đảo chiều qua Arduino Digital Write.
  • Hệ thống Ball and Beam phi tuyến: Mô hình gồm thanh dầm kim loại chiều dài $L$, góc nghiêng $\alpha$ được điều khiển bởi động cơ servo liên kết qua hệ thống tay đòn và bánh răng. Vị trí viên bi thép $r(t)$ chuyển động tự do trên thanh dầm được đo lường thời gian thực bằng cảm biến khoảng cách quang học hồng ngoại SHARP GP2D12 (dải đo $10 - 80\text{ cm}$). Do tín hiệu ngõ ra của cảm biến quang có tính phi tuyến và nhiễu ngẫu nhiên, một khâu lọc biến trạng thái (State Variable Filter) được thiết kế để loại bỏ thành phần tần số cao và tính toán đồng thời đạo hàm sai lệch vị trí $\dot{r}(t)$.
  • Đồng bộ hóa thời gian thực: Quá trình giao tiếp giữa máy tính tính toán và phần cứng Arduino được điều phối nghiêm ngặt bởi khối Real-Time Pacer trong Simulink, đảm bảo chu kỳ trích mẫu cố định $T_s = 0.02\text{ giây}$ ($50\text{ Hz}$), triệt tiêu hiện tượng trễ truyền thông và mất gói dữ liệu.

Data và phân tích

Trong giai đoạn tối ưu hóa tham số đại số gia tử bằng Giải thuật Di truyền (GA), cấu hình thông số được thiết lập:

  • Kích thước quần thể (Population size): $N = 60$ cá thể.
  • Chiều dài nhiễm sắc thể: Mã hóa nhị phân 16-bit cho mỗi gen thành phần trong vector tham số $[\alpha, \beta, \theta, \mu(V), \mu(L), w_1, w_2, w_3]$.
  • Xác suất lai ghép (Crossover rate): $P_c = 0.85$ (sử dụng phép lai ghép đa điểm).
  • Xác suất đột biến (Mutation rate): $P_m = 0.02$.
  • Điều kiện dừng: Số thế hệ tiến hóa đạt $G_{max} = 100$ hoặc độ biến thiên hàm thích nghi $\Delta J < 10^{-5}$.

Hàm mục tiêu tối ưu hóa được xác định theo tiêu chuẩn sai số tích phân bình phương (Integral Square Error - ISE):

$$J = \int_{0}^{T_{sim}} e^2(t) dt + \lambda \sigma%$$

với $e(t) = r_{set}(t) - r_{actual}(t)$, $\sigma%$ là độ quá điều chỉnh và $\lambda$ là trọng số phạt nhằm triệt tiêu dao động quá độ.

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Giảm thiểu độ phức tạp không gian luật mà vẫn tối ưu độ chính xác: Luận án chứng minh rằng với 3 biến đầu vào ($E, DE, IE$), việc áp dụng cấu trúc đại số gia tử cho phép rút gọn từ 27 luật mờ phức tạp của FLC xuống còn đúng 7 luật trong bảng kết hợp định lượng $SAM3$ (Bảng 3.5 trong luận án). Kết quả mô phỏng và thực nghiệm khẳng định NEW_HAC với 7 luật đạt chất lượng động học tương đương hoặc vượt trội so với các bộ điều khiển 27 luật.
  2. Ưu thế vượt bậc về chỉ số sai số so với FLC truyền thống: Trong bài toán điều khiển hạ cánh mô hình máy bay phi tuyến (phương trình động học phi tuyến bậc cao), dữ liệu thực nghiệm tính toán chỉ ra rằng sai số tốc độ hạ cánh qua 4 chu kỳ điều khiển của phương pháp sử dụng HA đạt: $$e(AL, HAR_{AND=MIN}) = 2.16$$ trong khi phương pháp lập luận mờ truyền thống cho sai số lên tới: $$e(AL, FR) = 7.17$$ Điều này chứng minh phương pháp lập luận dựa trên HA giảm được 69.87% sai số so với logic mờ kinh điển nhờ tính chất bảo toàn thứ tự ngữ nghĩa liên tục thay vì rời rạc hóa từng khoảng như tập mờ.
  3. Khả năng triệt tiêu tính phi tuyến mạnh mẽ trên hệ Ball and Beam: Phương trình động học phi tuyến của hệ Ball and Beam: $$\left( \frac{J_b}{R_b^2} + m \right) \ddot{r} + m g \sin \alpha - m r \dot{\alpha}^2 = 0$$ chứa các thành phần phi tuyến liên kết vận tốc góc $\dot{\alpha}^2$ và hàm lượng giác $\sin \alpha$. Bộ điều khiển NEW_HAC_GA đã ổn định hoàn toàn viên bi tại vị trí đặt mong muốn với thời gian quá độ $t_s < 2.5\text{ giây}$, độ quá điều chỉnh $\sigma% \approx 0%$, và sai số xác lập $e_{xl} = 0$, vượt trội hoàn toàn so với đáp ứng có dao động duy trì của FLC kinh điển.
  4. Tính bền vững tuyệt đối trước đối tượng có trễ lớn và thông số biến thiên: Khi thử nghiệm trên mô hình động cơ có mômen quán tính $J$ và điện trở $R$ thay đổi $\pm 40%$, và đặc biệt trên đối tượng có thời gian trễ $L = 0.4 T$ (trễ bằng 40% hằng số thời gian quán tính), NEW_HAC vẫn duy trì đáp ứng quá độ ổn định, không xuất hiện hiện tượng mất ổn định hay phân kỳ như các bộ điều khiển PID hoặc FLC thông thường.
gantt
    title Lộ trình Ứng dụng & Phát triển 10 Năm của Hệ Điều khiển Đại số Gia tử (2014 - 2024)
    dateFormat  YYYY
    section Nghiên cứu Cốt lõi
    Hoàn thiện NEW_HAC & Thực nghiệm 3 Đầu vào (Luận án) :done, 2014, 2016
    Tối ưu hóa Trực tuyến Tham số HA (Adaptive Online Tuning) :done, 2016, 2018
    section Tích hợp Phần mềm & Công nghiệp
    Xây dựng Hedge Algebra Toolbox cho MATLAB/Simulink :active, 2018, 2021
    Nhúng Thuật toán lên Vi điều khiển Công nghiệp (PLC/DSP/ARM) :active, 2020, 2023
    section Mở rộng Đa biến & IoT
    Điều khiển Hệ MIMO Robot Nhiều bậc Tự do & Xe Tự hành : 2022, 2024

Implications đa chiều

  • Về mặt Lý thuyết: Công trình tạo nên bước chuyển biến quan trọng, chứng minh rằng cấu trúc đại số có thể thay thế hoàn toàn hệ thống hàm liên thuộc mờ phức tạp trong bài toán điều khiển tự động, mở ra hướng nghiên cứu mới về điều khiển đại số trừu tượng (Abstract Algebraic Control Theory).
  • Về mặt Phương pháp luận: Cung cấp quy trình thiết kế chuẩn mực: Từ định nghĩa biến ngôn ngữ $\to$ Thiết lập đại số gia tử $\to$ Tính toán ánh xạ SQMs $\to$ Tối ưu hóa GA $\to$ Nhúng phần cứng thời gian thực.
  • Về Ứng dụng Thực tiễn: Giải pháp của luận án giải phóng đáng kể dung lượng bộ nhớ RAM và chu kỳ lệnh của CPU trên các vi điều khiển nhúng giá rẻ (như Arduino ATmega328P, STM32, ARM Cortex-M). Nhờ chỉ cần tính toán nội suy trên 7 mốc định lượng, các thiết bị tự động hóa công nghiệp (PLC, máy tính nhúng) có thể xử lý các thuật toán điều khiển thông minh với tần số lấy mẫu cực cao.

Limitations và Future Research

Luận án thẳng thắn thừa nhận các giới hạn kỹ thuật và phạm vi nghiên cứu:

  1. Chi phí tính toán ngoại tuyến của GA: Mặc dù thuật toán GA tìm được bộ tham số tối ưu toàn cục $[\alpha, \beta, \theta, \mu(h)]$, quá trình tiến hóa đòi hỏi thời gian tính toán mô phỏng tương đối lớn, chưa thể thực hiện việc tự chỉnh định trực tuyến (online real-time self-tuning) khi đối tượng thay đổi cấu trúc đột ngột trong quá trình vận hành.
  2. Độ nhiễu của cảm biến quang học: Trong mô hình thực nghiệm Ball and Beam, cảm biến hồng ngoại SHARP GP2D12 có đặc tính ngõ ra phi tuyến mạnh và chịu ảnh hưởng của ánh sáng môi trường. Mặc dù đã bổ sung khâu lọc biến trạng thái, hiện tượng trễ pha nhỏ do bộ lọc vẫn ảnh hưởng nhất định đến chất lượng tín hiệu vi phân đạo hàm $\dot{r}(t)$.
  3. Phạm vi đối tượng nghiên cứu: Luận án tập trung chủ yếu vào lớp đối tượng một đầu vào - một đầu ra (SISO). Các bài toán đối tượng nhiều đầu vào - nhiều đầu ra (MIMO) có liên kết chéo phức tạp (chẳng hạn như robot công nghiệp 6 bậc tự do, tháp chưng cất hóa chất) chưa được bao hàm toàn diện trong khuôn khổ công trình này.

Chương trình nghiên cứu tương lai được đề xuất bao gồm 4 định hướng:

  • Nghiên cứu giải thuật tối ưu hóa lai trực tuyến (như kết hợp Mạng Nơ-ron Thích nghi - ANFIS hoặc Giải thuật Tối ưu bầy đàn PSO tốc độ cao) để cập nhật liên tục các tham số đại số gia tử theo thời gian thực.
  • Phát triển và đóng gói thư viện chuyên dụng Hedge Algebra Control Toolbox tích hợp trực tiếp trong phần mềm MATLAB/Simulink.
  • Mở rộng ứng dụng cấu trúc NEW_HAC cho các hệ thống điều khiển đa biến MIMO và hệ phi tuyến phân tán qua mạng (Networked Control Systems - NCS).
  • Thử nghiệm trên các đối tượng công nghiệp quy mô lớn: hệ thống tay máy robot tốc độ cao, hệ thống cân bằng động xe tự hành AGV, và hệ thống lò nhiệt luyện công nghiệp có trễ lớn.

Tác động và ảnh hưởng

  • Tác động Học thuật: Luận án là một trong những công trình tiên phong tại Việt Nam và khu vực chuyển giao thành công lý thuyết Đại số gia tử từ phạm vi khoa học máy tính lý thuyết sang kỹ thuật điều khiển thực nghiệm. Công trình đã được cụ thể hóa thông qua 8 bài báo khoa học xuất bản trên các tạp chí và kỷ yếu hội nghị chuyên ngành uy tín trong nước và quốc tế (như Tạp chí Khoa học & Công nghệ Đại học Thái Nguyên, Hội nghị Toàn quốc về Điều khiển & Tự động hóa - VCCA).
  • Chuyển đổi Công nghiệp: Đóng góp trực tiếp vào giải pháp nâng cao hiệu năng điều khiển cho các dây chuyền sản xuất tự động: cơ cấu chấp hành servo bám vị trí trong máy công cụ CNC, hệ thống điều khiển bám quỹ đạo chính xác, và các hệ thống nhiệt/áp suất có quán tính trễ lớn trong công nghiệp luyện kim, hóa chất.
  • Lợi ích Giáo dục và Đào tạo: Cung cấp tài liệu tham khảo chuyên sâu, giáo trình mẫu cho các chương trình đào tạo thạc sĩ, tiến sĩ chuyên ngành Kỹ thuật Điều khiển và Tự động hóa tại Đại học Thái Nguyên và các trường đại học kỹ thuật trên cả nước.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và Giới Học thuật: Tiếp cận một khung phương pháp luận hoàn chỉnh về việc toán học hóa ngôn ngữ mờ bằng đại số gia tử, mở rộng hướng đi mới cho các đề tài nghiên cứu liên ngành giữa Toán học ứng dụng và Kỹ thuật điều khiển.
  • Kỹ sư R&D trong Công nghiệp: Nhận được giải pháp thiết kế bộ điều khiển thông minh nhưng tiêu tốn cực ít tài nguyên phần cứng, cho phép triển khai các thuật toán điều khiển tiên tiến trên các vi điều khiển công nghiệp giá thành thấp mà không cần nâng cấp phần cứng đắt đỏ.
  • Các Nhà phát triển Phần mềm Kỹ thuật: Có cơ sở dữ liệu thuật toán và cấu trúc toán học cụ thể để xây dựng các module tính toán, mô phỏng tự động hóa trong các phần mềm CAD/CAE chuyên ngành.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc thiết lập thành công mô hình bộ điều khiển sử dụng đại số gia tử 3 đầu vào ($E, DE, IE$) kết hợp cấu trúc rút gọn bảng luật định lượng $SAM3$ (từ 27 luật xuống 7 luật) và thuật toán tối ưu hóa tham số đại số gia tử bằng GA có bảo toàn trật tự ngữ nghĩa tự nhiên. Luận án đã mở rộng trực tiếp Lý thuyết Đại số gia tử tuyến tính ($AX = (X, C, H, \le)$) của Ho N. và Wechler (1990, 1992), đưa lý thuyết này vượt ra khỏi giới hạn của bài toán xấp xỉ dữ liệu để trở thành một phương pháp luận hoàn chỉnh trong tổng hợp hệ thống điều khiển tự động phi tuyến.

2. Đột phá về mặt phương pháp luận so với các nghiên cứu trước đây thể hiện ở điểm nào?

So với nghiên cứu của Ho N., Nguyen H.C. (2008) chỉ chọn tham số dựa trên trực giác chủ quan và nghiên cứu của các tác giả [4], [15], [21] dùng GA phi ràng buộc dẫn đến hiện tượng tham số méo mó ngữ nghĩa ($f_m(true)=0.9, f_m(false)=0.1$), đột phá của luận án là:

  1. Thiết lập không gian tìm kiếm của GA bị chặn nghiêm ngặt bởi các tiên đề độ đo tính mờ của HA: $$f_m(c^-) + f_m(c^+) = 1, \quad \alpha, \beta \in (0, 1)$$
  2. Sử dụng phép kết nhập có trọng số ($\sum w_i x_i = 1$) thay cho các phép toán AND = "MIN" hoặc "PRODUCT", loại bỏ hoàn toàn hiện tượng mất mát thông tin khi chuyển đổi không gian đa chiều về đường cong ngữ nghĩa.

3. Phát hiện bất ngờ nhất từ dữ liệu thực nghiệm là gì?

Phát hiện ấn tượng nhất là bộ điều khiển NEW_HAC chỉ với 7 luật điều khiển rút gọn lại đạt được chất lượng đáp ứng động học vượt trội hơn hẳn bộ điều khiển FLC 27 luật kinh điển trên cùng một đối tượng phi tuyến Ball and Beam. Cụ thể, hệ thống triệt tiêu hoàn toàn độ quá điều chỉnh ($\sigma% \approx 0%$), thời gian xác lập giảm xuống dưới 2.5 giây, và trong bài toán thử nghiệm mô hình máy bay hạ cánh, sai số điều khiển tích phân giảm từ 7.17 (FLC) xuống còn 2.16 (NEW_HAC), tương đương mức cải thiện độ chính xác lên đến 69.87%.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) hoàn chỉnh không?

Luận án cung cấp đầy đủ và chi tiết toàn bộ quy trình tái lập:

  • Mô hình giải tích toán học của đối tượng Ball and Beam và hệ thống truyền động động cơ servo.
  • Bảng thông số cụ thể của các đại số gia tử, bảng luật $FAM$ và bảng định lượng $SAM3$.
  • Sơ đồ cấu hình chi tiết trên MATLAB/Simulink kết nối với vi điều khiển Arduino qua các khối chức năng chuẩn (Encoder Read, Arduino Analog Write, State Variable Filter, Real-Time Pacer với chu kỳ $T_s = 0.02\text{s}$).

5. Lộ trình nghiên cứu phát triển trong tương lai được vạch ra như thế nào?

Luận án phác thảo lộ trình phát triển bao gồm: mở rộng cấu trúc đại số gia tử sang hệ điều khiển đa biến MIMO; tích hợp giải thuật tối ưu thích nghi trực tuyến thời gian thực để tham số tự động thay đổi theo trạng thái suy giảm của phần cứng; và xây dựng hoàn chỉnh bộ công cụ phần mềm chuyên dụng (HAC Toolbox) phục vụ nghiên cứu và chuyển giao công nghệ công nghiệp.

Kết luận

  1. Chuẩn hóa khung lý thuyết điều khiển Đại số gia tử: Luận án đã hệ thống hóa và phát triển toàn diện lý thuyết đại số gia tử ứng dụng trong lĩnh vực điều khiển tự động, xác lập cơ sở toán học vững chắc cho việc mô hình hóa ngữ nghĩa điều khiển mờ.
  2. Cải tiến cấu trúc bộ điều khiển NEW_HAC 3 đầu vào: Đề xuất thành công cấu trúc điều khiển 3 biến ($E, DE, IE$) và thuật toán rút gọn không gian luật điều khiển từ 27 luật xuống còn 7 luật chuẩn trong bảng $SAM3$, giảm thiểu hơn 70% khối lượng tính toán nội suy.
  3. Giải pháp tối ưu hóa tham số tự động bảo toàn ngữ nghĩa: Xây dựng thuật toán GA tối ưu hóa các tham số đại số theo tiêu chuẩn sai số tích phân bình phương ISE, giải quyết triệt để sự mâu thuẫn giữa tối ưu hóa toán học và trực giác ngôn ngữ con người.
  4. Kiểm chứng tính bền vững trước các đối tượng cực đoan: Chứng minh độ ổn định và tính bám quỹ đạo chính xác của bộ điều khiển trên các mô hình có tham số biến đổi $\pm 40%$ và mô hình có thời gian trễ lớn chiếm tới 40% hằng số thời gian quán tính hệ thống.
  5. Tiên phong thực nghiệm phần cứng thời gian thực: Triển khai thành công trên hai hệ thống vật lý thực tế (Hệ truyền động bám vị trí servo và Hệ thống Ball and Beam phi tuyến) thông qua ghép nối MATLAB/Simulink và bo mạch vi xử lý Arduino.
  6. Mở ra kỷ nguyên ứng dụng thuật toán đại số thông minh trên phần cứng nhúng chi phí thấp: Đặt nền móng kỹ thuật cho việc nhúng các thuật toán điều khiển phi tuyến hiện đại vào các thiết bị công nghiệp tiêu chuẩn, tạo tiền đề vững chắc cho các nghiên cứu phát triển hệ thống điều khiển tự động thông minh trong tương lai.