Connected and autonomous vehicles have a great potential for future intelligent transportation systems. However, the connectivity based on wireless communication and the autonomy based on machine learning do not provide guarantees in most cases. In this talk, four topics about model-based design with system guarantees will be introduced: (1) a framework for the safety guarantees of motion planners, (2) an analysis methodology for the compatibility properties of lane-changing systems, (3) a graph-based model for the safety and liveness guarantees of intelligent intersection management, and (4) a weakly-heard model for the safety guarantees and robustness analysis of general cyber-physical systems. Current achievements and research challenges will be covered in the talk.

Chung-Wei Lin is an associate professor at the Department of Computer Science and Information Engineering, National Taiwan University (NTU). He received the B.S. and M.S. degrees from NTU in 2005 and 2007, respectively. He received the Ph.D. degree in electrical engineering and computer sciences from the University of California, Berkeley in 2015. He was a researcher at the Toyota InfoTechnology Center, USA, Inc. from 2015 to 2018. He received the Yushan Young Fellowship from the Ministry of Education in 2018 and the Young Scholar Fellowship from the Ministry of Science and Technology in 2019. He also received the Distinguished Teaching Award and the Distinguished Mentoring Award from NTU in 2022 and 2023, respectively.