Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. - Petter Nilsson; Omar Hussien; Yuxiao Chen 001; Ayca Balkan; Matthias Rungger; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (CDC, 2014)

Correct-by-Construction Adaptive Cruise Control: Two Approaches. - Petter Nilsson; Omar Hussien; Ayca Balkan; Yuxiao Chen 001; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (IEEE Trans. Control. Syst. Technol., 2016)

Decentralized chassis control with guaranteed performance: A Lyapunov approach. - Yuxiao Chen 001; Huei Peng; Jessy W. Grizzle (ACC, 2017)

Correct by construction design of autonomous vehicles through a barrier function method. - Yuxiao Chen 001; Huei Peng; Jessy W. Grizzle (ACC, 2017)

Fast Trajectory Planning and Robust Trajectory Tracking for Pedestrian Avoidance. - Yuxiao Chen 001; Huei Peng; Jessy W. Grizzle (IEEE Access, 2017)

Synthesis of safe controller via supervised learning for truck lateral control. - Yuxiao Chen 001; Ayonga Hereid; Huei Peng; Jessy W. Grizzle (CoRR, 2017)

Data-Driven Computation of Minimal Robust Control Invariant Set. - Yuxiao Chen 001; Huei Peng; Jessy W. Grizzle; Necmiye Ozay (CDC, 2018)

Modelling of uncertain reactive human driving behavior: a classification approach. - Yuxiao Chen 001; Nauman Sohani; Huei Peng (CDC, 2018)

Obstacle Avoidance for Low-Speed Autonomous Vehicles With Barrier Function. - Yuxiao Chen 001; Huei Peng; Jessy W. Grizzle (IEEE Trans. Control. Syst. Technol., 2018)

Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts. - Yuxiao Chen 001; James Anderson 001; Karan Kalsi; Steven H. Low; Aaron D. Ames (ACC, 2019)

System Level Synthesis with State and Input Constraints. - Yuxiao Chen 001; James Anderson 001 (CDC, 2019)

Counter-example Guided Learning of Bounds on Environment Behavior. - Yuxiao Chen 001; Sumanth Dathathri; Tung Phan-Minh; Richard M. Murray (CoRL, 2019)

Duality between density function and value function with applications in constrained optimal control and Markov Decision Process. - Yuxiao Chen 001; Aaron D. Ames (CoRR, 2019)

Sparsity Preserving Discretization With Error Bounds. - James Anderson 001; Nikolai Matni; Yuxiao Chen 001 (CoRR, 2019)

Validating Noncooperative Control Designs Through a Lyapunov Approach. - Yuxiao Chen 001; Huei Peng; Jessy W. Grizzle (IEEE Trans. Control. Syst. Technol., 2019)

Optimal Safe Controller Synthesis: A Density Function Approach. - Yuxiao Chen 001; Mohamadreza Ahmadi; Aaron D. Ames (ACC, 2020)

Density Functions for Guaranteed Safety on Robotic Systems. - Yuxiao Chen 001; Andrew W. Singletary; Aaron D. Ames (ACC, 2020)

Control Barrier Functions for Sampled-Data Systems with Input Delays. - Andrew Singletary; Yuxiao Chen 001; Aaron D. Ames (CDC, 2020)

Reactive motion planning with probabilisticsafety guarantees. - Yuxiao Chen 001; Ugo Rosolia; Chuchu Fan; Aaron D. Ames; Richard M. Murray (CoRL, 2020)

Data-driven Characterization of Human Interaction for Model-based Control of Powered Prostheses. - Rachel Gehlhar; Yuxiao Chen 001; Aaron D. Ames (IROS, 2020)

Reactive motion planning with probabilistic safety guarantees. - Yuxiao Chen 001; Ugo Rosolia; Chuchu Fan; Aaron D. Ames; Richard M. Murray (CoRR, 2020)

Lidar-based exploration and discretization for mobile robot planning. - Yuxiao Chen 001; Andrew Singletary; Aaron D. Ames (CoRR, 2020)

Backup Control Barrier Functions: Formulation and Comparative Study. - Yuxiao Chen 001; Mrdjan Jankovic; Mario A. Santillo; Aaron D. Ames (CDC, 2021)

Robust Disturbance Rejection for Robotic Bipedal Walking: System-Level-Synthesis with Step-to-step Dynamics Approximation. - Xiaobin Xiong; Yuxiao Chen 001; Aaron D. Ames (CDC, 2021)

Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates. - Zengyi Qin; Kaiqing Zhang; Yuxiao Chen 001; Jingkai Chen; Chuchu Fan (ICLR, 2021)

Density Constrained Reinforcement Learning. - Zengyi Qin; Yuxiao Chen 001; Chuchu Fan (ICML, 2021)

Guaranteed Obstacle Avoidance for Multi-Robot Operations With Limited Actuation: A Control Barrier Function Approach. - Yuxiao Chen 001; Andrew Singletary; Aaron D. Ames (IEEE Control. Syst. Lett., 2021)

Online Decentralized Decision Making With Inequality Constraints: An ADMM approach. - Yuxiao Chen 001; Mario A. Santillo; Mrdjan Jankovic; Aaron D. Ames (IEEE Control. Syst. Lett., 2021)

Data-Driven Safety-Critical Control: Synthesizing Control Barrier Functions With Koopman Operators. - Carl Folkestad; Yuxiao Chen 001; Aaron D. Ames; Joel W. Burdick (IEEE Control. Syst. Lett., 2021)

Decentralized Task and Path Planning for Multi-Robot Systems. - Yuxiao Chen 001; Ugo Rosolia; Aaron D. Ames (IEEE Robotics Autom. Lett., 2021)

Safety-Critical Control Synthesis for Network Systems With Control Barrier Functions and Assume-Guarantee Contracts. - Yuxiao Chen 001; James Anderson 001; Karanjit Kalsi; Aaron D. Ames; Steven H. Low (IEEE Trans. Control. Netw. Syst., 2021)

Interactive Multi-Modal Motion Planning With Branch Model Predictive Control. - Yuxiao Chen 001; Ugo Rosolia; Wyatt Ubellacker; Noel Csomay-Shanklin; Aaron D. Ames (IEEE Robotics Autom. Lett., 2022)

Onboard Safety Guarantees for Racing Drones: High-Speed Geofencing With Control Barrier Functions. - Andrew Singletary; Aiden Swann; Yuxiao Chen 001; Aaron D. Ames (IEEE Robotics Autom. Lett., 2022)

Data-Driven Computation of Robust Control Invariant Sets With Concurrent Model Selection. - Yuxiao Chen 001; Necmiye Ozay (IEEE Trans. Control. Syst. Technol., 2022)

The Mixed-Observable Constrained Linear Quadratic Regulator Problem: The Exact Solution and Practical Algorithms. - Ugo Rosolia; Yuxiao Chen 001; Shreyansh Daftry; Masahiro Ono; Yisong Yue; Aaron D. Ames (IEEE Trans. Autom. Control., 2023)

Interactive Joint Planning for Autonomous Vehicles. - Yuxiao Chen 001; Sushant Veer; Péter Karkus; Marco Pavone 001 (IEEE Robotics Autom. Lett., 2024)

Mixed Vehicle Platoon Forming: A Multiagent Reinforcement Learning Approach. - Yujie Shi; Haoxuan Dong; Chaozhe R. He; Yuxiao Chen 001; Ziyou Song (IEEE Internet Things J., 2025)