My name is Xinyi Yu (pronunciation). I am a second-year PhD student in Computer Science at University of Southern California (USC), working with Prof. Lars Lindemann. I received the M.S. degree in Control Science and Engineering from Shanghai Jiao Tong Univeristy (SJTU), working with Prof. Shaoyuan Li and Prof. Xiang Yin in 2023, and the B.S. degree in Department of Automation from China University of Petroleum, East China (UPC) in 2020.
Email: xinyi.yu12@usc.edu
GitHub | Google Scholar | ResearchGate | LinkedIn
- My general research interests include systems and control theory, formal methods, robotics, optimization, machine learning, and their applications in cyber-physical systems (CPSs). If you have any questions or comments about our works, please do not hesitate to drop me an email. I am open to discussions of any kind.
- Stay safe and healthy - just like we hope our designed CPSs will be! Wishing you happiness every day!
Publications (* indicates equal contribution)
Preprints
[1]. Xinyi Yu, Yiqi Zhao, Xiang Yin, and Lars Lindemann. “Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction.” submitted. [PDF] [Codes]
[2]. Yiqi Zhao*, Xinyi Yu*, Jyotirmoy V. Deshmukh, and Lars Lindemann. “Conformal Predictive Programming for Chance Constrained Optimization.” submitted. [PDF] [Codes]
[3]. Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, and Jyotirmoy V. Deshmukh. “Formal Verification and Control with Conformal Prediction.” submitted. [PDF]
Jounal Papers
[J1]. Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, and Xiang Yin. “Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks.” IEEE Robotics and Automation Letters, 9(10):8983-8990, 2024. [PDF] [Codes]
[J2]. Xinyi Yu, Weijie Dong, Shaoyuan Li, and Xiang Yin. “Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications.” Automatica, 160:111445, 2024. (Regular Paper) [PDF] [Codes]
[J3]. Dingran Yuan, Xinyi Yu, Shaoyuan Li, and Xiang Yin. “Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control.” International Journal of Systems Science, 55(7): 1283–1303, 2024. [PDF]
[J4]. Xinyi Yu, Xiang Yin, Shaoyuan Li, and Zhaojian Li. “Security-Preserving Multi-Agent Coordination for Complex Temporal Logic Tasks.” Control Engineering Practice, 123:105130, 2022. [PDF] [Codes] [Video]
Conference Papers
[C1]. Junyue Huang, Chuwei Wang, Xinyi Yu, and Xiang Yin. “Self-triggered model predictive control for signal temporal logic tasks.” in 20th International Conference on Automation Science and Engineering (CASE), accepted, 2024.
[C2]. Xinyi Yu, Xiang Yin, and Lars Lindemann. “Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints.” in 62nd IEEE Conference on Decision and Control (CDC), pp. 6841-6848, 2023. [PDF] [Codes] [Talk]
[C3]. Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, and Xiang Yin. “Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition.” in 62nd IEEE Conference on Decision and Control (CDC), pp. 7849-7855, 2023. [PDF] [Codes] [Talk]
[C4]. Xinyi Yu, Weijie Dong, Xiang Yin, and Shaoyuan Li. “Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information.” in 61st IEEE Conference on Decision and Control (CDC), pp. 1553-1559, 2022. [PDF] [Talk]