| layout | permalink |
|---|---|
about |
/ |
- 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)
[1]. **Xinyi Yu**, Yiqi Zhao, Xiang Yin, and Lars Lindemann. "Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction." submitted. [[PDF]](https://arxiv.org/pdf/2312.04242.pdf){:target="_blank"} [[Codes]](https://github.com/SAIDS-Lab/STL-Synthesis-among-Uncontrollable-Agents){:target="_blank"} \\ [2]. Yiqi Zhao*, Xinyi Yu*, Jyotirmoy V. Deshmukh, and Lars Lindemann. "Conformal Predictive Programming for Chance Constrained Optimization." submitted. [[PDF]](https://arxiv.org/pdf/2402.07407.pdf){:target="_blank"} [[Codes]](https://github.com/SAIDS-Lab/Conformal-Predictive-Programming-for-CCO){:target="_blank"} \\ [3]. Lars Lindemann, Yiqi Zhao, **Xinyi Yu**, George J. Pappas, and Jyotirmoy V. Deshmukh. "Formal Verification and Control with Conformal Prediction." submitted. [[PDF]](https://arxiv.org/pdf/2409.00536){:target="_blank"}[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."{:target="_blank"} IEEE Robotics and Automation Letters, 9(10):8983-8990, 2024. [PDF]{:target="_blank"} [Codes]{:target="_blank"}\ [J2]. Xinyi Yu, Weijie Dong, Shaoyuan Li, and Xiang Yin. "Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications."{:target="_blank"} Automatica, 160:111445, 2024. (Regular Paper) [PDF]{:target="_blank"} [Codes]{:target="_blank"} \ [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]{:target="_blank"}\ [J4]. Xinyi Yu, Xiang Yin, Shaoyuan Li, and Zhaojian Li. "Security-Preserving Multi-Agent Coordination for Complex Temporal Logic Tasks."{:target="_blank"} Control Engineering Practice, 123:105130, 2022. [PDF]{:target="_blank"} [Codes]{:target="_blank"} [Video]{:target="_blank"}
[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."{:target="_blank"} in 62nd IEEE Conference on Decision and Control (CDC), pp. 6841-6848, 2023. [PDF]{:target="_blank"} [Codes]{:target="_blank"} [Talk]{:target="_blank"}\ [C3]. Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, and Xiang Yin. "Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition."{:target="_blank"} in 62nd IEEE Conference on Decision and Control (CDC), pp. 7849-7855, 2023. [PDF]{:target="_blank"} [Codes]{:target="_blank"} [Talk]{:target="_blank"}\ [C4]. Xinyi Yu, Weijie Dong, Xiang Yin, and Shaoyuan Li. "Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information."{:target="_blank"} in 61st IEEE Conference on Decision and Control (CDC), pp. 1553-1559, 2022. [PDF]{:target="_blank"} [Talk]{:target="_blank"}