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

Tài liệu "Hướng Dẫn Thực Tập Mô Phỏng Hệ Thống Điều Khiển Mờ Và Điều Khiển Tối Ưu" do Kỹ sư Nguyễn Thanh Phương biên soạn theo đề tài hợp đồng nghiên cứu khoa học số 7/HĐ-NCKH KD, phát hành vào tháng 03/2002 tại Trường Đại học Dân lập Kỹ thuật Công nghệ TP.HCM (Khoa Điện - Điện tử, Bộ môn Điện Công nghiệp - Tự động hóa).

Tài liệu được thiết kế nhằm phục vụ học phần thực hành, thí nghiệm chuyên ngành trong chương trình đào tạo kỹ sư Điện - Điện tử và Tự động hóa. Vị trí của giáo trình nằm ở giai đoạn chuyên ngành nâng cao, đóng vai trò cầu nối giữa lý thuyết điều khiển thông minh và kỹ năng ứng dụng công cụ mô phỏng số trên máy tính.

Mục tiêu học tập (learning outcomes) của tài liệu bao gồm:

  • Trang bị cơ sở giải tích về lý thuyết tập mờ, logic mờ, các phép toán đại số mờ, cơ chế suy diễn và các giải thuật giải mờ.
  • Giúp sinh viên nắm vững kỹ thuật xây dựng và cấu hình các hệ suy diễn mờ (Fuzzy Inference System - FIS) theo hai cấu trúc chuẩn: Mamdani và Sugeno.
  • Hình thành kỹ năng thiết kế, tổng hợp và chỉnh định các bộ điều khiển mờ mở rộng gồm PD mờ, PI mờ và PID mờ ứng dụng trực tiếp cho đối tượng công nghiệp điển hình là hệ thống lò nhiệt, bảo đảm các chỉ tiêu chất lượng quá độ (sai số xác lập, độ vọt lố, thời gian tác động).

Cấu trúc tài liệu tiếp cận tuần tự theo phương pháp từ lý thuyết cơ bản đến mô phỏng thực nghiệm: phân tích nền tảng toán học, khảo sát cấu trúc hệ mờ tổng quát và đi sâu vào thiết kế từng cấu trúc điều khiển cụ thể. Điểm đặc sắc của tài liệu là tích hợp chặt chẽ việc mô tả toán học (hàm liên thuộc, ma trận quan hệ mờ, tích dyadic) với các thao tác trực quan trên công cụ phần mềm chuyên dụng (Fuzzy Logic Toolbox), đi kèm hệ thống câu hỏi chuẩn bị lý thuyết bắt buộc trước mỗi bài thực hành.


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

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

Tài liệu được phân chia thành phần cơ sở lý thuyết đại cương và hệ thống 4 bài thí nghiệm thực hành chuyên sâu:

  1. Cơ sở lý thuyết điều khiển mờ (Fuzzy Control Theory):

    • Tổng quan lịch sử phát triển từ công trình nền tảng của L. Zadeh (1965) đến các ứng dụng công nghiệp của Mamdani (1974 lò hơi), Smidth Co (1980), Fuji Electric (1983), và việc thành lập Hiệp hội Hệ thống Mờ Quốc tế IFSA (1984).
    • Khái niệm tập mờ $E$ trên không gian kinh điển $M$, hàm liên thuộc $\mu(x)$, tập mờ chính tắc ($H=1$) và không chính tắc ($H<1$), miền xác định $S={x \in M \mid \mu(x)>0}$, miền tin cậy $T={x \in M \mid \mu(x)=1}$.
    • Phân loại các dạng hàm liên thuộc chuẩn: dạng tuyến tính, dạng chữ S ($S(x; a, b, c)$), dạng chữ $\Pi$ (hình chuông), dạng tam giác (trimf), dạng hình thang (trapmf), và dạng hình thang vuông (shoulder).
    • Các phép toán đại số trên tập mờ: phép bao hàm ($A \subset B$), phép bằng ($A=B$), phép hợp (toán tử Max, Lukasiewicz, tổng Einstein, tổng đại số), phép giao (toán tử Min, Lukasiewicz, tích đại số), phép bù ($1 - \mu_A(x)$), cùng quy tắc đưa các tập mờ về không gian tích $M \times N$.
    • Logic mờ và biến ngôn ngữ: so sánh logic nhị phân Boolean với logic $N$ giá trị ($T_N = {0, 1/(N-1), \dots, 1}$); mô hình hóa biến ngôn ngữ (ví dụ biến vận tốc với các tập mờ: rất chậm, chậm, trung bình, nhanh, rất nhanh).
    • Suy diễn mờ và mệnh đề mờ: cấu trúc GMP (Generalized Modus Ponens: $B' = A' \circ R$) và GMT (Generalized Modus Tollens); các phép tương quan (tương quan tối thiểu correlation minimum, tương quan tích correlation product); luật hợp thành MAX-MIN và MAX-PROD thông qua ma trận quan hệ $R$ và tích dyadic.
    • Giải mờ (Defuzzification): các tiêu chí lựa chọn phương pháp (tính hợp lý, tính toán đơn giản, tính liên tục); phương pháp cực đại / trung bình cực đại và phương pháp điểm trọng tâm (centroid method: $y^* = \frac{\int y \mu(y) dy}{\int \mu(y) dy}$).
  2. Bài thí nghiệm số 1: Khảo sát bộ điều khiển mờ (Fuzzy Controller):

    • Khảo sát mô hình Mamdani và Sugeno cho cả hai cấu hình SISO (1 ngõ vào, 1 ngõ ra) và MISO (2 ngõ vào, 1 ngõ ra).
    • Thao tác trên các module phần mềm: FIS Editor, Membership Function Editor, Rule Editor, Rule Viewer, Surface Viewer.
    • Phân tích ảnh hưởng của phương pháp giải mờ và khảo sát tính phi tuyến của mặt điều khiển (control surface).
  3. Bài thí nghiệm số 2: Thiết kế bộ điều khiển PD mờ cho lò nhiệt:

    • Cấu trúc: 2 ngõ vào gồm sai số $e(t)$ (biến ET) và đạo hàm sai số $de(t)/dt$ (biến DET), 1 ngõ ra công suất cấp nhiệt $P$.
    • Thiết lập 7 tập mờ ngõ vào (NB, NM, NS, ZE, PS, PM, PL) và ma trận 49 luật hợp thành điều khiển, lưu file cấu hình PDFISMAN.
    • Mục tiêu chất lượng: sai số xác lập đầu vào hàm bậc thang đơn vị $< 5%$, độ vọt lố $< 15%$, thời gian đáp ứng nhanh.
  4. Bài thí nghiệm số 3: Thiết kế bộ điều khiển PI mờ cho lò nhiệt:

    • Cấu trúc: 2 ngõ vào ET và DET, 1 ngõ ra vi phân công suất $dP$ (biến DP), sau đó đưa qua khâu tích phân tín hiệu rõ $1/s$ để tạo tín hiệu công suất $P$.
    • Cấu hình ma trận luật mờ, lưu file PIFISMAN.
    • Mục tiêu chất lượng: triệt tiêu hoàn toàn sai số xác lập ($e_{xl} = 0$), độ vọt lố $< 15%$.
  5. Bài thí nghiệm số 4: Thiết kế bộ điều khiển PID mờ cho lò nhiệt:

    • Cấu trúc: 3 ngõ vào gồm sai số ET, đạo hàm sai số bậc nhất DET, và đạo hàm sai số bậc hai D2ET; 1 ngõ ra vi phân công suất DP kết hợp khâu tích phân rõ.
    • Thiết lập bảng luật phức hợp đa biến, lưu file PIDFISMAN.
    • Mục tiêu chất lượng: sai số xác lập $e_{xl} = 0$, độ vọt lố $< 15%$, tối ưu hóa thời gian quá độ.

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

  • Lý thuyết mờ hình thức: Xây dựng nền tảng giải tích dựa trên không gian tập mờ, định lượng mức độ thuộc thông qua hàm ánh xạ $\mu_A: M \to [0, 1]$, xử lý các mệnh đề điều kiện ngôn ngữ bằng đại số tập mờ.
  • Nguyên lý hợp thành và suy diễn: Xây dựng thuật toán rời rạc hóa không gian mẫu để biểu diễn ma trận hợp thành $R$ thông qua tích dyadic; triển khai nguyên tắc Mamdani ("độ phụ thuộc của kết luận không vượt quá độ phụ thuộc của điều kiện").
  • Cấu trúc điều khiển mờ động: Kết hợp bộ điều khiển mờ cơ bản (vốn mang tính chất tĩnh) với các khâu động học vi phân và tích phân ngoài, biến đổi giải thuật tích phân mờ phức tạp thành việc tích phân tín hiệu rõ ở tầng hậu xử lý.

Kỹ năng phát triển

  • Kỹ năng kỹ thuật (Technical skills): Vận hành thành thạo bộ công cụ Fuzzy Logic Toolbox; cấu hình các hàm liên thuộc rời rạc và giải tích; thiết lập cơ sở tri thức luật mờ; trích xuất dữ liệu từ Rule Viewer và phân tích mặt đáp ứng Surface Viewer.
  • Kỹ năng phân tích (Analytical skills): Đánh giá định lượng tác động của số lượng tập mờ, hình dạng hàm liên thuộc, thuật toán hợp thành (MAX-MIN so với MAX-PROD) và giải thuật giải mờ (Centroid so với Mean of Maxima) lên độ phi tuyến của bộ điều khiển.
  • Năng lực thực hành chuyên môn (Practical competencies): Thiết kế hoàn chỉnh hệ thống điều khiển mờ vòng kín cho đối tượng phi tuyến nhiệt độ; chỉnh định tham số thực nghiệm theo nguyên tắc thử và sai (trial and error) nhằm thỏa mãn đồng thời các chỉ tiêu thời gian xác lập, độ vọt lố và sai số xác lập.

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

Cách tiếp cận sư phạm (Pedagogical approach)

Tài liệu áp dụng mô hình giảng dạy thực hành kỹ thuật theo chu trình khép kín: $$\text{Lý thuyết nền tảng} \longrightarrow \text{Chuẩn bị ở nhà} \longrightarrow \text{Mô phỏng thực nghiệm} \longrightarrow \text{Đánh giá & Hiệu chỉnh}$$

Sinh viên không tiếp cận mô phỏng một cách thụ động mà phải chứng minh các công thức giải tích, tự xây dựng bảng luật trên giấy trước khi nạp vào phần mềm.

Bài tập thực hành và tình huống thực tế (Practical exercises & Case studies)

  • Bài toán SISO và MISO: Khảo sát trực tiếp sự thay đổi tín hiệu ngõ ra khi quét giá trị ngõ vào theo từng bước rời rạc trong Rule Viewer, ghi nhận dữ liệu vào bảng để vẽ đường đặc tuyến điều khiển.
  • Hệ thống điều khiển lò nhiệt công nghiệp: Cung cấp tình huống thực tế về một đối tượng có quán tính nhiệt lớn và phi tuyến, yêu cầu sinh viên xây dựng tuần tự 3 phương án điều khiển: PD mờ, PI mờ và PID mờ để so sánh hiệu năng.

Hướng dẫn tự học và hệ thống câu hỏi chuẩn bị (Self-study guidelines)

Mỗi bài thí nghiệm đều tích hợp phần "Chuẩn bị ở nhà của sinh viên" với các câu hỏi kiểm tra lý thuyết bắt buộc hoàn thành trước khi vào phòng thực hành:

  • Định nghĩa và tính chất của các bộ điều khiển mờ, PD mờ, PI mờ, PID mờ.
  • Phân biệt cơ chế làm việc của mô hình Mamdani và Sugeno.
  • Vai trò của khâu tiền xử lý, hậu xử lý và ý nghĩa của việc phân hoạch tập mờ (chọn số lượng tập mờ chẵn hay lẻ).
  • Đánh giá hiện tượng khi sử dụng toán tử OR trong mệnh đề điều kiện.
  • Phân tích nguyên nhân bộ điều khiển mờ có tính bền vững cao và không phụ thuộc vào mô hình toán học chính xác của đối tượng.

Phương pháp đánh giá (Assessment methods)

Kết quả học tập được đánh giá dựa trên 3 tiêu chí định lượng:

  1. Độ chính xác của bảng số liệu khảo sát quan hệ Input/Output và mức độ hiểu bản chất suy diễn mờ qua phần trả lời câu hỏi chuẩn bị.
  2. Mức độ hoàn thiện các file cấu hình hệ thống mờ (PDFISMAN.fis, PIFISMAN.fis, PIDFISMAN.fis).
  3. Chất lượng đáp ứng quá độ của hệ thống vòng kín sau khi mô phỏng (đạt các ngưỡng kỹ thuật: sai số xác lập $e_{xl} \le 5%$ đối với PD, $e_{xl} = 0$ đối với PI/PID, độ vọt lố $\sigma% < 15%$).

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

  • Tính hệ thống về mặt học thuật: Tài liệu ghi nhận và chuẩn hóa các mốc lịch sử phát triển quan trọng của lý thuyết mờ (Zadeh 1965, Terano & Asai 1972, Mamdani 1974, Smidth Co 1980, Fuji Electric 1983, IFSA 1984), tạo bức tranh toàn cảnh về sự chuyển dịch từ lý thuyết sang ứng dụng công nghiệp.
  • Giải quyết bài toán phi tuyến không cần mô hình toán: Giáo trình làm rõ phương pháp luận điều khiển dựa trên tri thức và kinh nghiệm chuyên gia, áp dụng thành công cho các hệ thống phi tuyến phức tạp (lò nhiệt, hệ con lắc ngược) mà các phương pháp kinh điển gặp khó khăn khi nhận dạng mô hình.
  • Giải pháp thực tế cho khâu tích phân tín hiệu: Tài liệu giải quyết triệt để rào cản tính toán phức tạp của tích phân mờ trong thời gian thực bằng cấu trúc đưa tín hiệu vi phân công suất $dP$ qua khâu tích phân tín hiệu rõ $1/s$, đảm bảo tính khả thi khi triển khai kỹ thuật.
  • Phương pháp rời rạc hóa ma trận quan hệ: Hướng dẫn chi tiết kỹ thuật tính ma trận $R$ thông qua tích dyadic giữa các vector hàm liên thuộc rời rạc, giúp sinh viên hiểu rõ cấu trúc dữ liệu bên trong của các thuật toán MAX-MIN và MAX-PROD.

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

  • Sinh viên đại học: Sinh viên năm thứ 3 và năm thứ 4 chuyên ngành Kỹ thuật Điện, Kỹ thuật Điều khiển và Tự động hóa, Điện công nghiệp thực hiện các bài thí nghiệm trong học phần Điều khiển thông minh, Hệ thống điều khiển mờ hoặc chuẩn bị làm đồ án tốt nghiệp.
  • Yêu cầu kiến thức tiên quyết (Prerequisites):
    • Lý thuyết Điều khiển tự động (đáp ứng thời gian, tính ổn định, sai số xác lập, bộ điều khiển PID kinh điển).
    • Toán kỹ thuật (đại số ma trận, lý thuyết tập hợp, giải tích hàm).
    • Tin học chuyên ngành và kỹ năng lập trình mô phỏng trên nền tảng MATLAB.
  • Giảng viên và kỹ sư thực hành: Tài liệu cung cấp giáo án thí nghiệm chuẩn hóa, phân bố thời lượng và hệ thống bài tập đánh giá năng lực thực hành cho các phòng thí nghiệm tự động hóa.
  • Kỹ sư và cán bộ kỹ thuật: Tài liệu đóng vai trò tài liệu tra cứu kỹ thuật về phương pháp thiết lập luật mờ và cấu hình hệ suy diễn cho các bài toán điều khiển nhiệt độ công nghiệp.

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

1. Giáo trình này phù hợp với đối tượng nào?

Tài liệu được biên soạn phục vụ sinh viên đại học khối ngành Kỹ thuật Điện - Điện tử, Tự động hóa, cũng như kỹ sư cần tài liệu hướng dẫn thực hành thiết kế hệ thống điều khiển mờ bằng công cụ mô phỏng.

2. Cần chuẩn bị những kiến thức nền tảng nào trước khi học?

Người học cần nắm vững kiến thức lý thuyết điều khiển tự động kinh điển (các chỉ tiêu chất lượng quá độ như vọt lố, thời gian xác lập, sai số xác lập), lý thuyết tập hợp cơ bản và kỹ năng sử dụng phần mềm MATLAB.

3. Điểm khác biệt cơ bản giữa bộ điều khiển Mamdani và Sugeno trong tài liệu là gì?

Trong mô hình Mamdani, các hàm liên thuộc ngõ ra là các tập mờ (cần khâu giải mờ như trọng tâm hay cực đại); trong khi ở mô hình Sugeno, ngõ ra được xác định dưới dạng hằng số (Const) hoặc hàm giải tích tuyến tính, giúp loại bỏ khâu giải mờ phức tạp và tăng tốc độ tính toán.

4. Làm thế nào để thực hành giáo trình này đạt hiệu quả cao nhất?

Sinh viên cần hoàn thành đầy đủ các câu hỏi lý thuyết ở phần chuẩn bị trước khi vào bài thực hành, sau đó tiến hành tạo lập tuần tự các file cấu hình (PDFISMAN, PIFISMAN, PIDFISMAN), khảo sát kỹ mặt điều khiển và ghi nhận số liệu đáp ứng để hiệu chỉnh luật mờ theo đúng yêu cầu chỉ tiêu kỹ thuật.

5. Tại sao các bộ điều khiển PI và PID mờ trong tài liệu lại sử dụng khâu tích phân tín hiệu rõ?

Do giải thuật tích phân mờ trực tiếp có độ phức tạp tính toán rất lớn và khó triển khai trong thời gian thực, tài liệu sử dụng cấu trúc xuất vi phân công suất ($dP$) từ bộ điều khiển mờ rồi đưa qua khâu tích phân rõ $1/s$ nhằm đơn giản hóa hệ thống mà vẫn triệt tiêu hoàn toàn sai số xác lập.


Kết luận

Tài liệu "Hướng Dẫn Thực Tập Mô Phỏng Hệ Thống Điều Khiển Mờ Và Điều Khiển Tối Ưu" của tác giả Nguyễn Thanh Phương cung cấp một hệ thống kiến thức hoàn chỉnh từ lý thuyết tập mờ hình thức đến kỹ thuật thiết kế thực nghiệm các bộ điều khiển PD, PI, PID mờ cho đối tượng lò nhiệt.

Lộ trình học tập đề xuất:

  1. Nghiên cứu lý thuyết tập mờ, phép toán đại số và các phương pháp giải mờ.
  2. Thực hành Bài 1 để làm chủ công cụ FIS Editor và so sánh mô hình Mamdani/Sugeno.
  3. Thực hiện Bài 2 (PD mờ) để hiểu đáp ứng quá độ của hệ thống.
  4. Triển khai Bài 3 (PI mờ) để nắm kỹ thuật triệt tiêu sai số xác lập.
  5. Hoàn thành Bài 4 (PID mờ) để tối ưu hóa toàn diện chất lượng điều khiển hệ thống nhiệt.

Tài liệu bổ trợ khuyến nghị: Các tài liệu chuyên khảo về Lý thuyết Điều khiển mờ của Lofti A. Zadeh, tài liệu hướng dẫn sử dụng Fuzzy Logic Toolbox trong MATLAB/Simulink và giáo trình Lý thuyết Điều khiển tự động nâng cao.