 |
| DESCRIPTION | This course aims at guiding undergraduate students of the ROAS major for their academic path and future. This course is mostly introductory and is proposed to inspire UG students for their academic path development and growth of maturity in four years of UG study. Activities may include seminars, workshops, advising and sharing sessions, interaction with faculty and teaching staff, and discussion with student peers or alumni. Grading type: Pass/ Fail |
|---|
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| L01 (6514) | 01-SEP-2026 - 28-NOV-2026 We 10:30AM - 11:50AM | Rm 201, W2 | DING, Fangqiang HUANG, Qiang JI, Yiding LI, Haoang MA, Jun NIE, Qiang SONG, Jie YANG, Jun YASA, Immihan Ceren YASA, Oncay ZHAO, Hang ZHU, Lei | 40 | 0 | 40 | 0 |
| 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 (6243) | Mo 09:00AM - 11:50AM | Rm 202, W1 | JI, Yiding | 20 | 0 | 20 | 0 |