I am a PhD student studying Electrical Engineering at the University of Southern California. I am advised by Professor Pierluigi Nuzzo of the DesCyPhy Lab. My research interests include the design and formal verification of AI-based controllers and robust AI-enabled cyber-physical systems.
The goal of the project is to investigate modeling paradigms, algorithms, design methodologies, design flows, and supporting tools to enable compositional and hierarchical design of complex cyber-physical systems, with emphasis on systems enabled by artificial intelligence. We show that a contract-based approach can provide a formal foundation for system design methodologies encompassing both horizontal and vertical integration steps.
The goal of this project is to build simulation-based and experimental testbeds to emulate realistic scenarios for self-driving vehicles and test the effectiveness of different driving algorithms. The testbeds will target traffic intersections and will include, for example, scaled-down autonomous cars, programmable traffic light sequencers to emulate the traffic and pedestrian signals, and robots to emulate pedestrian traffic.
M. Su, Y. Xiao, S. Zhang, H. Su, J. Xu, H. He, Z. Zhu, J. Chen, Y. Chang
DAC-LBR 2022
Y. Xiao, M. Su, H. Yang, J. Chen, J. Yu, B. Yu
DAC 2021
C. Ma, Y. Xiao, S. Wang, J. Yu, J. Chen
ASICON 2021