Kiểm Soát Tối Ưu Hệ Thống Sản Xuất Tự Động

Kiểm soát tối ưu trong hệ thống sản xuất tự động là một lĩnh vực quan trọng trong công nghiệp hiện đại. 206 trang · Xidian University · 2012.

• Tác giả: Yufeng Chen
• Người hướng dẫn: Professor MengChu Zhou
• Trường học: Xidian University
• Chuyên ngành: Electro-Mechanical Engineering
• Đề tài: Kiểm Soát Tối Ưu Trong Hệ Thống Sản Xuất Tự Động
• Loại tài liệu: monograph
• Năm xuất bản: 2012
• Địa điểm: Xi’an

Mục lục chi tiết

• Preface
• Acknowledgements
• 1. Introduction
• 1.1. Automated Manufacturing Systems
• 1.2. Supervisory Control of Automated Manufacturing Systems
• 1.4. Bibliographical Remarks
• 1.5. References
• 2. Preliminaries
• 2.2. Binary Decision Diagrams
• 2.3. Binary Decision Diagrams
• 2.4. Bibliographical Remarks
• 2.5. References
• 3. Symbolic Computation and Analysis of Petri Nets
• 3.1. Conversely Firing Policy
• 3.2. Symbolic Modeling of Bounded Petri Nets
• 3.3. Efficient Computation of a Reachability Set
• 3.4. Symbolic Analysis of a Reachability Graph
• 3.5. Efficient Computation of Minimal Siphons
• 3.5.1. Symbolic Representation of Siphons
• 3.5.2. Symbolic Extraction of Minimal Siphons
• 3.5.3. An Illustrative Example
• 3.5.4. Experimental Results
• 3.7. Bibliographical Remarks
• 3.8. References
• 4. Supervisor Design Based on the Theory of Regions
• 4.2. The Theory of Regions
• 4.3. An Illustrative Example
• 4.5. Bibliographical Remarks
• 4.6. References
• 5. Maximally Permissive Supervisors
• 5.1. Control Place Computation for a Place Invariant
• 5.2. Optimal Control Place Synthesis
• 5.3. Vector Covering Approach for Place Invariant Control
• 5.4. Symbolic Computation of the Vector Covering Approach
• 5.5. Deadlock Prevention Policy
• 5.8. Bibliographical Remarks
• 5.9. References
• 6. Most Permissive Supervisors
• 6.2. Best Control Place Synthesis
• 6.3. Deadlock Prevention Policy
• 6.6. Bibliographical Remarks
• 6.7. References
• 7. Structurally Minimal Supervisors
• 7.2. Synthesis of Minimum Control Places
• 7.3. Deadlock Prevention Policy
• 7.6. Bibliographical Remarks
• 7.7. References
• 8. Behaviorally Optimal and Structurally Simple Supervisors
• 8.2. Control Place Synthesis for FBMs
• 8.3. Deadlock Prevention Policy
• 8.6. Bibliographical Remarks
• 8.7. References
• 9. Forbidden State Problems
• 9.1. Reachability Graph Generation under Forbidden States
• 9.2. Forbidden State Problems
• 9.3. Optimal Monitor Synthesis
• 9.4. Vector Covering Approach for a Minimal Supervisory Structure
• 9.5. Structurally and Behaviorally Optimal Supervisor
• 9.6. Most Permissive Supervisor Design
• 9.8. Bibliographical Remarks
• 9.9. References
• 10. Conclusions and Open Problems
• 10.1. Siphons in an S3PR
• 10.2. Iterative Deadlock Control Approach
• 10.3. Optimal Supervisor Design Problem
• 10.4. Supervisor Design with Minimized Costs
• 10.5. Elementary Siphons in CPN or ROPN
• 10.6. Fault-tolerate Deadlock Control
• 10.7. Existence of Optimal Supervisors
• 10.8. Deadlock Avoidance with Polynomial Complexity
• 10.9. References
• Glossary
• Index
• Acronyms
• Authors

Tóm tắt

I. Tổng quan về Kiểm soát tối ưu trong hệ thống sản xuất tự động

Kiểm soát tối ưu trong hệ thống sản xuất tự động là một lĩnh vực quan trọng trong công nghiệp hiện đại. Nó liên quan đến việc tối ưu hóa quy trình sản xuất để đạt được hiệu suất cao nhất. Các hệ thống này thường sử dụng công nghệ tự động hóa để giảm thiểu lỗi và tăng cường năng suất. Việc áp dụng các phương pháp kiểm soát tối ưu giúp cải thiện hiệu suất sản xuất và giảm thiểu chi phí.

1.1. Định nghĩa và vai trò của hệ thống sản xuất tự động

Hệ thống sản xuất tự động (AMS) là các hệ thống sử dụng công nghệ để tự động hóa quy trình sản xuất. Chúng đóng vai trò quan trọng trong việc nâng cao năng suất và giảm thiểu lỗi trong sản xuất.

1.2. Lợi ích của kiểm soát tối ưu trong sản xuất

Kiểm soát tối ưu giúp giảm thiểu lãng phí, tăng cường hiệu quả và đảm bảo chất lượng sản phẩm. Điều này không chỉ mang lại lợi ích cho doanh nghiệp mà còn cho cả người tiêu dùng.

II. Thách thức trong kiểm soát quy trình sản xuất tự động

Mặc dù có nhiều lợi ích, việc kiểm soát quy trình sản xuất tự động cũng gặp phải nhiều thách thức. Các vấn đề như cảm biến trong sản xuất, quản lý sản xuất và điều khiển hệ thống là những yếu tố cần được xem xét. Những thách thức này có thể dẫn đến điểm nghẽn trong quy trình sản xuất, ảnh hưởng đến năng suất và chất lượng sản phẩm.

2.1. Vấn đề về cảm biến và thu thập dữ liệu

Cảm biến là thiết bị quan trọng trong AMS, nhưng việc thu thập và phân tích dữ liệu từ cảm biến có thể gặp khó khăn. Điều này có thể dẫn đến quyết định sai lầm trong kiểm soát quy trình.

2.2. Thách thức trong quản lý sản xuất

Quản lý sản xuất hiệu quả là một thách thức lớn. Các yếu tố như biến động thị trường và nhu cầu khách hàng có thể ảnh hưởng đến quy trình sản xuất, đòi hỏi sự linh hoạt trong quản lý.

III. Phương pháp kiểm soát tối ưu trong hệ thống sản xuất tự động

Có nhiều phương pháp để thực hiện kiểm soát tối ưu trong hệ thống sản xuất tự động. Các phương pháp này bao gồm việc sử dụng công nghệ tự động hóa, phân tích dữ liệu và mô hình hóa quy trình. Mỗi phương pháp đều có những ưu điểm và nhược điểm riêng, và việc lựa chọn phương pháp phù hợp là rất quan trọng.

3.1. Công nghệ tự động hóa trong kiểm soát quy trình

Công nghệ tự động hóa giúp giảm thiểu lỗi và tăng cường hiệu suất. Việc áp dụng công nghệ này trong sản xuất tự động là cần thiết để đạt được hiệu quả tối ưu.

3.2. Phân tích dữ liệu để tối ưu hóa quy trình

Phân tích dữ liệu giúp nhận diện các vấn đề trong quy trình sản xuất. Bằng cách sử dụng các công cụ phân tích, doanh nghiệp có thể đưa ra quyết định chính xác hơn.

IV. Ứng dụng thực tiễn của kiểm soát tối ưu trong sản xuất

Kiểm soát tối ưu đã được áp dụng thành công trong nhiều lĩnh vực sản xuất. Các ứng dụng này không chỉ giúp cải thiện hiệu suất mà còn giảm thiểu chi phí. Ví dụ, trong ngành sản xuất linh kiện điện tử, việc áp dụng các phương pháp kiểm soát tối ưu đã giúp tăng cường chất lượng sản phẩm và giảm thời gian sản xuất.

4.1. Ứng dụng trong sản xuất linh kiện điện tử

Trong sản xuất linh kiện điện tử, kiểm soát tối ưu giúp giảm thiểu lỗi và tăng cường chất lượng sản phẩm. Điều này rất quan trọng trong một ngành công nghiệp cạnh tranh cao.

4.2. Ứng dụng trong sản xuất ô tô

Ngành sản xuất ô tô cũng đã áp dụng kiểm soát tối ưu để cải thiện quy trình sản xuất. Việc này giúp giảm thiểu thời gian sản xuất và tăng cường hiệu suất.

V. Kết luận và tương lai của kiểm soát tối ưu trong sản xuất tự động

Tương lai của kiểm soát tối ưu trong hệ thống sản xuất tự động rất hứa hẹn. Với sự phát triển của công nghệ, các phương pháp kiểm soát sẽ ngày càng trở nên hiệu quả hơn. Doanh nghiệp cần tiếp tục đầu tư vào công nghệ và đào tạo nhân lực để tận dụng tối đa lợi ích từ kiểm soát tối ưu.

5.1. Xu hướng phát triển công nghệ trong sản xuất

Công nghệ sẽ tiếp tục phát triển, mang lại nhiều cơ hội mới cho kiểm soát tối ưu trong sản xuất. Doanh nghiệp cần theo kịp xu hướng này để không bị tụt lại phía sau.

5.2. Tầm quan trọng của đào tạo nhân lực

Đào tạo nhân lực là yếu tố quan trọng để áp dụng hiệu quả các phương pháp kiểm soát tối ưu. Nhân viên cần được trang bị kiến thức và kỹ năng cần thiết để làm việc trong môi trường sản xuất tự động.

Nội dung chính

Giáo trình: Kiểm soát tối ưu trong hệ thống sản xuất tự động (Optimal Supervisory Control of Automated Manufacturing Systems)

---

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

Optimal Supervisory Control of Automated Manufacturing Systems là chuyên khảo và tài liệu học thuật chuyên sâu do Giáo sư YuFeng Chen (Trần Dực Phong) và Giáo sư ZhiWu Li (Lý Chí Vũ) thuộc Nhóm Điều khiển Hệ thống & Tự động hóa (System Control & Automation Group), Đại học Điện tử Tây An (Xidian University, Trung Quốc) biên soạn, xuất bản bởi CRC Press (Taylor & Francis Group) vào năm 2012 (Mã số ISBN-13: 978-1-4665-7754-1).

Trong chương trình đào tạo bậc đại học năm cuối và sau đại học (Thạc sĩ, Tiến sĩ) thuộc các khối ngành Kỹ thuật Điều khiển & Tự động hóa, Kỹ thuật Cơ điện tử, Kỹ thuật Hệ thống Công nghiệp và Khoa học Máy tính, tài liệu này giữ vị trí cầu nối giữa Lý thuyết Hệ thống biến cố rời rạc (Discrete Event Systems - DES), Lý thuyết Mạng Petri (Petri Nets) và Điều khiển giám sát tự động trong các Hệ thống sản xuất linh hoạt (Flexible Manufacturing Systems - FMS).

Mục tiêu học tập của tài liệu tập trung vào:

• Trang bị cơ sở toán học hình thức về mô hình hóa, phân tích và tổng hợp bộ điều khiển giám sát cho các hệ thống phân bổ tài nguyên (Resource Allocation Systems - RAS).
• Nắm vững cơ chế xuất hiện bế tắc (deadlock) dựa trên bốn điều kiện Coffman trong môi trường cạnh tranh tài nguyên dùng chung.
• Làm chủ phương pháp thiết kế bộ giám sát cưỡng bức tính sống (Liveness-Enforcing Supervisor - LES) tối ưu dựa trên ba tiêu chí cốt lõi: tối đa hóa hành vi cho phép (behavioral permissiveness), tối thiểu hóa độ phức tạp cấu trúc (structural complexity) và đảm bảo tính khả thi về mặt tính toán (computational complexity).

Cấu trúc giáo trình tiếp cận từ cơ sở đại số và mạng Petri căn bản, phát triển qua các phương pháp tính toán ký hiệu dựa trên Biểu đồ quyết định nhị phân (Binary Decision Diagrams - BDD), cho đến các thuật toán quy hoạch tuyến tính số nguyên (Integer Linear Programming - ILP) để tổng hợp các vị trí kiểm soát (control places / monitors). Điểm đặc sắc của tài liệu là giải quyết bài toán bùng nổ không gian trạng thái (state explosion problem) và khắc phục các hạn chế hình thức của Lý thuyết vùng (Theory of Regions) khi áp dụng vào việc kiểm soát bế tắc trong sản xuất tự động.

---

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

+-----------------------------------------------------------------------------------+
|              CƠ SỞ HỆ THỐNG BIẾN CỐ RỜI RẠC & MẠNG PETRI (Chương 1 - 2)            |
|       - 4 Điều kiện Coffman: Mutual Exclusion, No Preemption, Hold & Wait, Circular Wait  |
|       - Cấu trúc Petri Net (P, T, F, W), P-invariants, T-invariants, Siphons, Traps        |
+------------------------------------------+----------------------------------------+
                                           |
                                           v
+-----------------------------------------------------------------------------------+
|               TÍNH TOÁN KÝ HIỆU & PHÂN TÍCH ĐỒ THỊ KHẢ ĐẠT (Chương 3)              |
|       - Biểu đồ quyết định nhị phân (BDD/ROBDD) khắc phục bùng nổ trạng thái       |
|       - Thuật toán kích hoạt ngược (Conversely Firing Policy) xác định LZ và DZ   |
|       - Tính toán tập hợp trạng thái hợp lệ (ML) và First-Met Bad Markings (FBM)  |
+------------------------------------------+----------------------------------------+
                                           |
                                           v
+-----------------------------------------------------------------------------------+
|          TỔNG HỢP BỘ GIÁM SÁT TỐI ƯU CẤU TRÚC & HÀNH VI (Chương 4 - 8)            |
|       - Lý thuyết vùng (Theory of Regions) & Tiếp cận bao phủ vector              |
|       - Thiết kế Maximally Permissive & Structurally Minimal Supervisors          |
|       - Phương pháp lặp cân bằng ba tiêu chí (Hành vi, Cấu trúc, Tính toán)        |
+------------------------------------------+----------------------------------------+
                                           |
                                           v
+-----------------------------------------------------------------------------------+
|              MỞ RỘNG VÀ CÁC DẠNG RÀNG BUỘC PHỨC TẠP (Chương 9 - 10)               |
|       - Bài toán trạng thái cấm (Forbidden States) & Ràng buộc GMEC               |
|       - Tổng kết và các hướng nghiên cứu mở trong điều khiển giám sát DES          |
+-----------------------------------------------------------------------------------+

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

1. Chương 1: Giới thiệu chung (Introduction)
   Trình bày tổng quan về hệ thống sản xuất tự động (AMS) và bản chất của hiện tượng bế tắc khi các luồng tiến trình cạnh tranh tài nguyên dùng chung (máy công cụ, robot, xe tự hành AGV). Phân tích bốn điều kiện Coffman: Loại trừ lẫn nhau (Mutual exclusion), Không chiếm dụng trước (No preemption), Giữ và chờ (Hold and wait), và Chờ vòng tròn (Circular wait). Phân loại ba chiến lược xử lý bế tắc: Phát hiện & Phục hồi (Detection & Recovery), Tránh bế tắc (Avoidance), và Ngăn chặn bế tắc (Prevention). Giới thiệu Lý thuyết điều khiển giám sát (SCT) của Ramadge - Wonham và định vị vai trò của mô hình mạng Petri.

2. Chương 2: Kiến thức chuẩn bị (Preliminaries)
   Cung cấp các định nghĩa toán học chuẩn của mạng Petri: bộ 4 thành phần $N = (P, T, F, W)$, vector đánh dấu (marking $M$), quan hệ dòng và ma trận góc tới $[N] = [N^+] - [N^-]$. Thiết lập phương trình trạng thái $M' = M + [N]\vec{\sigma}$. Phân tích cấu trúc thông qua bất biến vị trí (P-invariant), bất biến chuyển tiếp (T-invariant), siphon và trap. Phân loại không gian trạng thái trong đồ thị khả đạt $G(N, M_0)$ thành bốn nhóm đánh dấu: đánh dấu bế tắc (deadlock), đánh dấu xấu (bad), đánh dấu nguy hiểm (dangerous), và đánh dấu tốt (good). Giới thiệu cơ sở đại số Boolean và cấu trúc Biểu đồ quyết định nhị phân rút gọn có thứ tự (ROBDD).

3. Chương 3: Tính toán và phân tích ký hiệu mạng Petri (Symbolic Computation and Analysis of Petri Nets)
   Xây dựng thuật toán mã hóa tập hợp các đánh dấu và quan hệ chuyển tiếp sang hàm đặc trưng Boolean. Đưa ra chính sách kích hoạt ngược (conversely firing policy) để tính toán tập cùng khả đạt (co-reachability set $R(-N, M_0)$). Xác lập công thức giao đại số để trích xuất nhanh tập đánh dấu hợp lệ ($M_L = R(N, M_0) \cap R(-N, M_0)$) và tập đánh dấu xấu chạm đầu tiên (First-Met Bad Markings - FBMs). Trình bày thuật toán ký hiệu trích xuất toàn bộ siphon tối thiểu (minimal siphons).

4. Chương 4: Thiết kế bộ giám sát dựa trên lý thuyết vùng (Supervisor Design Based on the Theory of Regions)
   Trình bày phương pháp luận tổng hợp bộ điều khiển mạng Petri từ mô tả hành vi dạng máy tự động (automaton). Thiết lập hệ phương trình và bất phương trình để tìm các vị trí kiểm soát (monitors), đồng thời mổ xẻ các hạn chế về độ phức tạp tính toán và cấu trúc của phương pháp này.

5. Chương 5: Bộ giám sát cho phép hành vi cực đại (Maximally Permissive Supervisors)
   Phát triển phương pháp tiếp cận bao phủ vector (vector covering approach) kết hợp với bất biến vị trí (PI). Bằng cách chia đồ thị khả đạt thành vùng sống (Live-Zone - LZ) và vùng bế tắc (Deadlock-Zone - DZ), thuật toán tìm tập bao phủ tối thiểu các đánh dấu hợp lệ và tập bị bao phủ tối thiểu của FBMs, từ đó thiết lập bài toán quy hoạch tuyến tính số nguyên (ILP) để tổng hợp monitor.

6. Chương 6 & 7: Bộ giám sát cho phép cao nhất và Bộ giám sát tối thiểu hóa cấu trúc (Most Permissive and Structurally Minimal Supervisors)
   Chương 6 xử lý trường hợp bộ giám sát cực đại dạng automaton không thể biểu diễn trực tiếp bằng mạng Petri thuần túy (pure Petri net), từ đó tìm bộ giám sát mạng Petri cho phép nhiều trạng thái hợp lệ nhất có thể. Chương 7 đưa ra thuật toán tối thiểu hóa số lượng vị trí kiểm soát (MCPP - Minimal Number of Control Places Problem), giảm thiểu chi phí phần cứng và kiểm tra mô hình khi triển khai.

7. Chương 8: Bộ giám sát tối ưu hành vi và đơn giản cấu trúc (Behaviorally Optimal and Structurally Simple Supervisors)
   Đề xuất thuật toán tổng hợp lặp (iterative approach) để tìm kiếm điểm cân bằng tối ưu giữa việc giữ lại toàn bộ hành vi hợp lệ, giảm số lượng monitor và duy trì chi phí tính toán ở mức thấp.

8. Chương 9: Bài toán trạng thái cấm và ràng buộc GMEC (Forbidden State Problems)
   Mở rộng phương pháp sang các đặc tả điều khiển công nghiệp: ngăn chặn việc hệ thống tiến vào một tập các trạng thái cấm định trước và thực thi các ràng buộc loại trừ lẫn nhau tổng quát (Generalized Mutual Exclusion Constraints - GMEC).

9. Chương 10: Kết luận và các bài toán mở (Conclusions and Open Problems)
   Tổng kết các đóng góp học thuật và nêu ra các bài toán mở: phân tích siphon trong lớp mạng $S^3PR$, tối ưu hóa chi phí điều khiển, cấu trúc siphon cơ sở trong mạng Petri màu (CPN) hoặc mạng định hướng tài nguyên (ROPN), điều khiển chịu lỗi (fault-tolerant control), và các chính sách tránh bế tắc với độ phức tạp đa thức.

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

• Đại số tuyến tính và phương trình trạng thái: Biểu diễn không gian trạng thái của mạng Petri thông qua đại số ma trận, hệ phương trình trạng thái liên tục và rời rạc, các nghiệm nguyên không âm của $M = M_0 + [N]\vec{\sigma}$.
• Cấu trúc tô-pô mạng Petri: Định nghĩa toán học hình thức về quan hệ dòng ($F$), ma trận góc tới vào/ra ($[N^-], [N^+]$), bất biến vị trí $I^T[N] = 0^T$, bất biến chuyển tiếp $[N]J = 0$, định nghĩa siphon ($\bullet S \subseteq S^\bullet$) và trap ($S^\bullet \subseteq \bullet S$).
• Đại số logic và Cấu trúc dữ liệu hình thức: Đại số Boolean, định lý biểu diễn Stone, hàm đặc trưng của tập hợp, kỹ thuật trừu tượng hóa tồn tại ($\exists x_i$) và phổ quát ($\forall x_i$), cấu trúc cây nhị phân ROBDD với thứ tự biến tuyến tính.
• Tối ưu hóa toán học: Mô hình hóa bài toán tổng hợp điều khiển thành các bài toán Quy hoạch tuyến tính số nguyên (ILP) và Quy hoạch hỗn hợp số nguyên (MIP).

Kỹ năng phát triển

• Kỹ năng mô hình hóa hệ thống: Khả năng chuyển đổi quy trình sản xuất phức tạp với các luồng gia công đồng thời, chia sẻ máy móc/robot thành mô hình mạng Petri chuẩn tắc ($S^3PR, S^4R, WS^3PR, ES^3PR$).
• Kỹ năng phân tích không gian trạng thái: Kỹ năng phân tích đồ thị khả đạt, phân loại các vùng trạng thái sống (Live-Zone), vùng bế tắc (Deadlock-Zone) và xác định chính xác các điểm ranh giới chuyển tiếp (First-Met Bad Markings).
• Kỹ năng thiết kế thuật toán điều khiển: Năng lực lập trình các thuật toán ký hiệu sử dụng thư viện BDD (như BuDDy, CUDD) để thao tác trên các mô hình có không gian trạng thái lớn, xây dựng hàm mục tiêu và ràng buộc toán học để tổng hợp các monitor kiểm soát bế tắc.

---

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

    [Cơ sở lý thuyết hình thức]
                 |
                 v
    [Ví dụ minh họa từng bước] (Mô hình nhỏ 5-6 places / 4-5 transitions)
                 |
                 v
    [Mô phỏng & Đánh giá công cụ] (So sánh INA với BDD Packages: CUDD, BuDDy)
                 |
                 v
    [Tổng hợp thuật toán ILP] (Tối ưu hóa số lượng Monitors)

Cách tiếp cận sư phạm

Tài liệu tuân thủ quy chuẩn sư phạm nghiêm ngặt của các chuyên khảo kỹ thuật: đi từ định nghĩa hình thức (Definition), thiết lập các tính chất toán học (Property/Theorem), cung cấp chứng minh chặt chẽ, và cụ thể hóa thông qua các ví dụ minh họa (Illustrative Examples) có số liệu và sơ đồ chi tiết.

Bài tập và phân tích trường hợp (Case Studies)

• Hệ thống mạng Petri cơ sở: Phân tích ví dụ mạng 5 vị trí, 4 chuyển tiếp (Chương 2, Hình 2.1, Hình 2.3) để tính toán $P$-invariant ($I_1 = (1\ 1\ 1\ 2\ 0)^T, I_2 = (0\ 1\ 0\ 0\ 1)^T$), siphon ($S = {p_1, p_4}$), và xác định tính an toàn, tính bị chặn.
• Phân tích đồ thị khả đạt 19 trạng thái: Phân tích mô hình mạng có 19 marking (Hình 2.5), trích xuất chi tiết các tập hợp $M_{13}, M_{14}$ (deadlock), $M_4, M_8, M_9$ (bad markings / FBMs), $M_1, M_2, M_3, M_5, M_6, M_{11}$ (dangerous markings), và thiết lập tập hợp trạng thái hợp lệ $M_L$.
• Bài toán so sánh công cụ: Minh chứng trường hợp hệ thống quy mô 48 vị trí, 38 chuyển tiếp bị tràn bộ nhớ (memory overflow) trên phần mềm phân tích mạng Petri cổ điển (INA - Integrated Net Analyzer) chạy trên CPU 2.8 GHz, RAM 4 GB, từ đó triển khai giải pháp thay thế bằng BDD.

Phương pháp đánh giá và tự học

• Kiểm tra tính đúng đắn của mô hình: Tự giải các bài toán trích xuất siphon tối thiểu bằng tay trên đồ thị nhỏ, sau đó đối chiếu kết quả bằng thuật toán ký hiệu.
• Xây dựng chương trình mô phỏng: Cài đặt các gói thư viện BDD mã nguồn mở (CUDD, BuDDy) để lập trình lại Thuật toán 3.1 (Tính toán tập khả đạt) và Thuật toán tính kích hoạt ngược (Chương 3).
• Tra cứu thuật ngữ: Sử dụng bảng chữ viết tắt (Acronyms), bảng giải nghĩa thuật ngữ (Glossary), và chỉ mục (Index) ở cuối sách để hệ thống hóa các khái niệm chuyên sâu.

---

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

• Khắc phục bùng nổ không gian trạng thái: Khác với các phương pháp duyệt trạng thái toàn bộ truyền thống vốn bị giới hạn bởi bộ nhớ khi hệ thống mở rộng, tài liệu tích hợp kỹ thuật Biểu đồ quyết định nhị phân (BDD/ROBDD), cho phép biểu diễn các tập hợp trạng thái khổng lồ bằng cấu trúc đồ thị chia sẻ nén.
• Hoàn thiện lý thuyết vùng (Theory of Regions): Kế thừa và sửa chữa các khiếm khuyết kỹ thuật trong các nghiên cứu tiên phong của Giáo sư Murat Uzam, biến lý thuyết vùng thành công cụ khả thi và tối ưu khi áp dụng vào các hệ thống sản xuất tự động thực tế.
• Phương pháp tiếp cận bao phủ vector (Vector Covering Approach): Đưa ra cơ chế giảm thiểu số lượng ràng buộc cần kiểm tra bằng cách chỉ tập trung vào tập bao phủ tối thiểu của các trạng thái hợp lệ và tập bị bao phủ tối thiểu của các trạng thái xấu chạm đầu tiên (FBMs).
• Tối ưu hóa đa mục tiêu: Thay vì chỉ tập trung vào một khía cạnh riêng lẻ (hoặc chỉ tối đa hóa hành vi, hoặc chỉ đơn giản hóa cấu trúc), tài liệu cung cấp thuật toán lặp cho phép cân bằng đồng thời cả ba tiêu chí: tối ưu hóa hành vi cho phép, tối thiểu hóa số monitor và tối ưu hóa thời gian tính toán.

---

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

Nhóm đối tượng	Yêu cầu kiến thức tiên quyết (Prerequisites)	Mục đích sử dụng
Sinh viên đại học năm cuối	Đại số tuyến tính, Lý thuyết đồ thị, Đại số logic Boolean, Lý thuyết điều khiển tự động cơ bản.	Làm tài liệu học tập cho các môn học chuyên đề: Hệ thống sản xuất linh hoạt (FMS), Điều khiển hệ thống biến cố rời rạc, Mô hình hóa mạng Petri; phục vụ làm đồ án tốt nghiệp.
Học viên cao học & Nghiên cứu sinh	Tối ưu hóa toán học (Quy hoạch tuyến tính/nguyên), Cấu trúc dữ liệu và giải thuật nâng cao, Lý thuyết điều khiển giám sát (SCT).	Làm tài liệu nghiên cứu chuyên khảo; trích xuất các thuật toán thiết kế bộ giám sát tối ưu; phát triển các đề tài luận văn, luận án về điều khiển hệ thống công nghiệp.
Giảng viên & Nhà nghiên cứu	Chuyên môn sâu về Mạng Petri, Tự động hóa công nghiệp, Lý thuyết hệ thống rời rạc.	Sử dụng làm khung bài giảng, tài liệu tham khảo chuẩn để biên soạn giáo trình giảng dạy sau đại học; định hướng các đề tài nghiên cứu từ 8 bài toán mở ở Chương 10.

---

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

1. Giáo trình này phù hợp nhất với những môn học nào?

Giáo trình phù hợp làm tài liệu chính hoặc tài liệu tham khảo cao cấp cho các môn học:

• Lý thuyết Hệ thống biến cố rời rạc (Discrete Event Systems)
• Mô hình hóa và Điều khiển bằng Mạng Petri (Petri Nets Modeling and Control)
• Hệ thống sản xuất tích hợp máy tính (Computer-Integrated Manufacturing - CIM / FMS)
• Điều khiển tối ưu và Điều khiển giám sát tự động

2. Cần chuẩn bị những kiến thức nền tảng nào trước khi nghiên cứu giáo trình?

Người học cần nắm vững:

• Đại số tuyến tính (ma trận, hệ phương trình tuyến tính, không gian vector).
• Đại số Boolean và lý thuyết tập hợp.
• Khái niệm cơ bản về quy hoạch tuyến tính số nguyên (ILP/MIP).
• Khái niệm cơ bản về mạng Petri (vị trí, chuyển tiếp, token, luật kích hoạt chuyển tiếp).

3. Điểm khác biệt căn bản giữa giáo trình này và các tài liệu mạng Petri truyền thống là gì?

Các tài liệu mạng Petri truyền thống thường chỉ dừng lại ở mức độ phân tích đặc tính (tính sống, tính an toàn, tính bị chặn) hoặc ngăn chặn bế tắc dựa trên cấu trúc siphon thuần túy (vốn loại bỏ nhiều trạng thái hợp lệ, làm giảm năng suất). Cuốn sách này tập trung chuyên sâu vào tính tối ưu của bộ giám sát: vừa đạt mức độ cho phép hành vi tối đa (maximally permissive), vừa tối thiểu hóa số lượng vị trí kiểm soát (structurally minimal), đồng thời ứng dụng BDD để xử lý triệt để bài toán bùng nổ không gian trạng thái.

4. Làm sao để tự học và thực hành các thuật toán trong sách hiệu quả?

• Đọc tuần tự từ Chương 1 và Chương 2 để nắm vững các ký hiệu toán học và định nghĩa phân loại trạng thái.
• Thực hành phân tích lại các ví dụ mẫu (Hình 2.1, 2.3, 2.5, 3.1) bằng tính toán thủ công trên giấy để hiểu rõ cơ chế kích hoạt ngược và cách phân tách $LZ/DZ$.
• Sử dụng các ngôn ngữ lập trình (C/C++, Python) liên kết với các thư viện BDD (như CUDD hoặc BuDDy) và các bộ giải quy hoạch tuyến tính nguyên (như CPLEX, Gurobi, GLPK) để cài đặt các thuật toán trong Chương 3, 5, 7, và 8.

5. Có những phần mềm và tài liệu bổ trợ nào được đề cập trong sách?

• Phần mềm phân tích: Phần mềm INA (Integrated Net Analyzer).
• Thư viện cấu trúc dữ liệu BDD: Gói phần mềm BuDDy (Lind-Nielsen), CUDD (Fabio Somenzi), Spot.
• Tài liệu tham khảo bổ trợ: Các công trình nghiên cứu kinh điển về điều khiển giám sát của Ramadge & Wonham (1987, 1989), tài liệu nền tảng mạng Petri của Tadao Murata (1989), và các sách chuyên khảo liên quan của MengChu Zhou, ZhiWu Li (Springer, 2009; CRC Press, 2010).

---

Kết luận

Optimal Supervisory Control of Automated Manufacturing Systems cung cấp một khung lý thuyết và phương pháp luận hoàn chỉnh, chặt chẽ về mặt toán học nhằm giải quyết triệt để bài toán bế tắc trong các hệ thống sản xuất tự động hiện đại.

Lộ trình học tập khuyến nghị:

1. Giai đoạn 1: Làm chủ cơ sở lý thuyết mạng Petri, phân tích bất biến, siphon/trap và đại số logic BDD (Chương 1, 2).
2. Giai đoạn 2: Nắm vững phương pháp tính toán ký hiệu và kỹ thuật phân tích đồ thị khả đạt để trích xuất tập trạng thái hợp lệ $M_L$ và các điểm lỗi $FBM$ (Chương 3, 4).
3. Giai đoạn 3: Nghiên cứu và triển khai các thuật toán tổng hợp bộ giám sát tối ưu hành vi, tối giản cấu trúc và xử lý bài toán trạng thái cấm GMEC (Chương 5, 6, 7, 8, 9).

Tài liệu là nguồn tham chiếu học thuật quan trọng cho các kỹ sư, học viên cao học và nghiên cứu sinh đang theo đuổi hướng nghiên cứu điều khiển tự động hóa, tối ưu hóa hệ thống sản xuất và hệ thống biến cố rời rạc.

Trích đoạn nội dung tài liệu

Optimal Supervisory Control of Automated Manufacturing Systems YuFeng Chen Xidian University, Xi’an, China ZhiWu Li Xidian University, Xi’an, China R $6&,(1&(38%/,6+(56%22. CRC Press Taylor & Francis Group 6000 Broken Sound Parkway NW, Suite 300 Boca Raton, FL 33487-2742 © 2012 by Taylor & Francis Group, LLC CRC Press is an imprint of Taylor & Francis Group, an Informa business No claim to original U. Government works Version Date: 20130321 International Standard Book Number-13: 978-1-4665-7754-1 (eBook - PDF) This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use.

The authors and publishers have attempted to trace the copyright holders of all material reproduced in this publication and apologize to copyright holders if permission to publish in this form has not been obtained. If any copyright material has not been acknowledged please write and let us know so we may rectify in any future reprint. Except as permitted under U. Copyright Law, no part of this book may be reprinted, reproduced, transmitted, or utilized in any form by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying, microfilming, and recording, or in any information stor- age or retrieval system, without written permission from the publishers.

For permission to photocopy or use material electronically from this work, please access www.com (http://www.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222 Rosewood Drive, Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization that pro- vides licenses and registration for a variety of users. For organizations that have been granted a pho- tocopy license by the CCC, a separate system of payment has been arranged.

Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only for identification and explanation without intent to infringe. Visit the Taylor & Francis Web site at http://www.com and the CRC Press Web site at http://www.com Preface Discrete event systems (DESs) are an outcome of the development of computer and information technology, which in recent decades have become an integral part of our world. They encompass a wide variety of physical systems that arise from contemporary technology, such as urban transportation systems, logistic systems, database management systems, communication protocols, computer communication networks, distributed software systems, monitoring and control systems of large buildings, air and train traffic control systems, and highly integrated command, control, communication, and intelligence systems. As a typical example of DESs, automated manufacturing systems (AMSs), usually considered to be an innovative, agile, and quick response pattern of production, have received much attention in recent decades since the traditional mass production mode is challenged by the quick changes of market requirements.

Due to a high degree of resource sharing, there exist deadlocks in an AMS, which are an undesirable phenomenon since their occurrence usually gives rise to unnecessary productivity loss and even catastrophic results in highly automated systems such as semiconductor manufacturing and safety-critical distributed databases. Deadlock problems in AMSs have received more and more attention from both academic and industrial communities. Digraphs, automata, and Petri nets are three major mathematical tools to investigate deadlock problems in AMSs. Recent decades have seen that Petri nets are increasingly becoming an important, popular, and fully-fledged mathematical model to provide solutions to the issues.

There are three criteria to evaluate and design a liveness-enforcing Petri net supervisor for an AMS to be controlled, which takes the form of monitors, sometimes called control places, that can be regarded as the intervention from human beings or other external agencies. The criteria include behavioral permissiveness, computational complexity, and structural complexity. A maximally permissive supervisor implies that all legal states in the sense of deadlock control in a plant to be controlled are reachable in the controlled system, which, from the productivity point of view, usually leads to high utilization of system resources. A deadlock control algorithm with low computational complexity usually means that the calculation of its corresponding supervisor is tractable and that it can potentially be applied to the real-world systems.