Discrete Event Systems
Hệ sự kiện rời rạc
Course 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.
Tiếng Việt
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.
Course Learning Outcomes (CLOs) 3
Click each outcome to see the translation, mapped PLOs and contribution level.
-
CLO1 Identify and classify discrete event systems through practical examples
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ế
-
CLO2 Analyze and model a simple discrete event system using Automata and Petri nets
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
-
CLO3 Design a simple supervisory controller for a discrete event system using Automata or Petri nets
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
Assessment
| Component | Weight | Timing |
|---|---|---|
| Thi cuối kỳ (Final Examination) | 70.0% | |
| Thi giữa kỳ | 30.0% |
Learning materials
Required
- [1] Introduction to Discrete-Event Systems, Casandras, Ch.; S. Lafortune, 2008, Springer