 |
| VECTOR | [3-0-0:3] |
|---|---|
| PREVIOUS CODE | ROAS 6000L |
| DESCRIPTION | Formal methods originate from theoretical computer science and have been seamlessly integrated with dynamical systems. At its core, formal methods involve formulating specifications to form proof obligations, verifying that the systems indeed meet their specifications via algorithmic proof search, and designing systems to meet those obligations. This course bridges fundamental gaps between formal methods and control theory. It introduces fundamental theories and techniques of formal methods that apply broadly to various dynamical systems, such as robots, autonomous systems and cyber physical systems. Particularly, the following topics will be covered: symbolic system modeling, regular and omega-regular properties, linear temporal logic, model checking, system simulation and abstraction, game theoretic control synthesis and cutting-edge engineering applications. |
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| L01 (6155) | Mo 09:00AM - 11:50AM | Rm 101, W2 | JI, Yiding | 20 | 0 | 20 | 0 |
| VECTOR | [3-0-0:3] |
|---|---|
| PREVIOUS CODE | ROAS 6000M |
| DESCRIPTION | Learning about the core principles and latest developments in Robotics is crucial for nurturing innovative students in this field. This course provides a comprehensive overview of the core concepts in robotics. Students will mainly explore the principles of robot kinematics, dynamics, planning and control. In addition, some latest advancements in robotics integrated with artificial intelligence will also be discussed, such as VLA and robot foundation models. |
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| L01 (6156) | We 03:00PM - 05:50PM | Rm 222, W1 | NIE, Qiang | 30 | 0 | 30 | 0 |
| VECTOR | [3-0-0:3] |
|---|---|
| PREVIOUS CODE | ROAS 6000D |
| DESCRIPTION | This course introduces the essential fundamentals, including modeling, sensing, signal transmission and conversion, actuation, control, simulation, and implementation technologies used within the mechatronics design for robots and autonomous systems. It will give a holistic view of advanced automation technologies in industrial applications, taking electric vehicles and robots as examples. Also, this course will provide the essential skills to design intelligent mechatronics systems, and students will be allocated Arduino and STM32 development kits to participate in mechatronics design in the course project. Through this course, students can enhance their understanding of the cross-disciplinary integration and systematic optimization of mechatronics systems involving the knowledge of mechanics, electronics, control engineering, and computer science. |
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| L01 (6157) | Th 09:00AM - 11:50AM | Rm 201, E1 | ZHAO, Hang | 40 Quota/Enrol/Avail MSc(SMMG) Students: 30/0/30 | 0 | 40 | 0 |
| VECTOR | [3-0-0:3] |
|---|---|
| PREVIOUS CODE | ROAS 6000C |
| DESCRIPTION | This course introduces the advanced methodologies in the context of motion planning and control for robotics and autonomous systems. Various methodologies are introduced, including search-based methods, grid-based methods, sampling-based methods, optimization-based methods, learning-based methods, etc. In general, this course covers modern approaches, deep theory, and good practice envisions. In addition to the fundamental knowledge in motion planning and control, the students will also have the opportunity to discover and learn cutting-edge methodologies in the related field, aligning with the substantial developments in robotics, autonomous driving, UAVs, etc. |
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| L01 (6158) | Fr 01:30PM - 04:20PM | Rm 101, W4 | MA, Jun | 30 | 0 | 30 | 0 |
| VECTOR | [3-0-0:3] |
|---|---|
| EXCLUSION | INTR 5260 |
| CO-LIST WITH | INTR 5260 |
| DESCRIPTION | The course will cover a wide range of engineering psychology topics as well as how the research in these directions can affect policies and regulations in vehicle design and surface transportation. The students will gain an understanding of the characteristics and limitations of human beings from engineering psychology perspectives of view and how the design of traffic control devices, the roadway, the in-vehicle devices, regulations and traffic rules can be affected by the research in these directions. |
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| L01 (6160) | We 09:00AM - 11:50AM | TBA | HE, Dengbo | 15 | 0 | 15 | 0 | The classroom is W1-521F. |
| VECTOR | [0-1-0:0] |
|---|---|
| DESCRIPTION | Seminar topics presented by students, faculty and guest speakers. Students are expected to attend regularly and demonstrate proficiency in presentation in accordance with the program requirements. Graded P or F. |
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| T01 (6162) | Mo 04:30PM - 05:20PM | Rm 101, E1 | NIE, Qiang | 80 | 0 | 80 | 0 |
| DESCRIPTION | Master's thesis research supervised by co-advisors from different disciplines. A successful defense of the thesis leads to the grade Pass. No course credit is assigned. |
|---|
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| R01 (6020) | TBA | No room required | TBA | 80 | 0 | 80 | 0 |
| DESCRIPTION | Original and independent doctoral thesis research supervised by co-advisors from different disciplines. A successful defense of the thesis leads to the grade Pass. No course credit is assigned. |
|---|
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| R01 (6022) | TBA | No room required | TBA | 120 | 0 | 120 | 0 |