Hệ sự kiện rời rạc
Discrete Event Systems
Mô tả học phần
Môn học này cung cấp cho sinh viên những kiến thức cơ bản về mô tả và phân tích các hệ sự kiện rời rạc (HSKRR), sử dụng lý thuyết Automat và mạng Petri, ngôn ngữ hình thức. Sinh viên sau khi hoàn thành học phần này có: · Khả năng nhận biết các hệ sự kiện rời rạc và các vấn đề của hệ sự kiện rời rạc · Khả năng mô hình hóa các hệ sự kiện rời rạc đơn giản bằng Automat và mạng Petri · Khả năng phân tích, diễn giải và liên hệ các tính chất cơ bản của Automat (tiền định, bất định, định thời) mạng Petri và mạng Petri định thời với bài toán điều khiển các hệ sự kiện rời rạc. · Khả năng diễn tả mối quan hệ giữa Automat và mạng Petri · Khả năng sử dụng và khai thác hiệu quả các công cụ phần mềm hiện đại trong việc phân tích các hệ sự kiện rời rạc.
English description
This course provides students with fundamental knowledge on the description and analysis of discrete event systems (DES), using automata theory, Petri nets, and formal languages. Upon completion of this course, students will have: The ability to identify discrete event systems and the problems associated with them. The ability to model simple discrete event systems using automata and Petri nets. The ability to analyze, interpret, and relate the fundamental properties of automata (deterministic, nondeterministic, timed), Petri nets, and timed Petri nets to discrete event system control problems. The ability to describe the relationship between automata and Petri nets. The ability to effectively use and exploit modern software tools for the analysis of discrete event systems.
Chuẩn đầu ra học phần (CLO) 3
Bấm vào từng chuẩn đầu ra để xem bản tiếng Anh, liên kết PLO và mức độ đóng góp.
-
CLO1 Nhận biết và phân loại các hệ sự kiện rời rạc thông qua các ví dụ thực tế
Identify and classify discrete event systems through practical examples
-
CLO2 Phân tích và mô hình hóa một hệ sự kiện rời rạc đơn giản bằng Automat và mạng Petri
Analyze and model a simple discrete event system using Automata and Petri nets
-
CLO3 Thiết kế một bộ điều khiển giám sát đơn giản cho hệ sự kiện rời rạc sử dụng Automat hoặc mạng Petri
Design a simple supervisory controller for a discrete event system using Automata or Petri nets
Đánh giá học phần
| Thành phần | Tỉ trọng | Thời gian |
|---|---|---|
| Thi cuối kỳ (Final Examination) | 70.0% | |
| Thi giữa kỳ | 30.0% |
Tài liệu học tập
Bắt buộc
- [1] Introduction to Discrete-Event Systems, Casandras, Ch.; S. Lafortune, 2008, Springer