Influence of information flow topology on closed-loop stability of vehicle platoon with rigid formation. - Yang Zheng 001; Shengbo Eben Li; Jianqiang Wang 003; Le Yi Wang; Keqiang Li (ITSC, 2014)

Driving risk assessment using cluster analysis based on naturalistic driving data. - Yang Zheng 001; Jianqiang Wang 003; Xiaofei Li; Chenfei Yu; Kenji Kodaka; Keqiang Li (ITSC, 2014)

An overview of vehicular platoon control under the four-component framework. - Shengbo Eben Li; Yang Zheng 001; Keqiang Li; Jianqiang Wang 003 (Intelligent Vehicles Symposium, 2015)

Effect of Pulse-and-Glide Strategy on Traffic Flow for a Platoon of Mixed Automated and Manually Driven Vehicles. - Shengbo Eben Li; Kun Deng; Yang Zheng 001; Huei Peng (Comput. Aided Civ. Infrastructure Eng., 2015)

Longitudinal collision mitigation via coordinated braking of multiple vehicles using model predictive control. - Jianqiang Wang 003; Shengbo Eben Li; Yang Zheng 001; Xiao-Yun Lu (Integr. Comput. Aided Eng., 2015)

Distributed sliding mode control for multi-vehicle systems with positive definite topologies. - Yujia Wu; Shengbo Eben Li; Yang Zheng 001; J. Karl Hedrick (CDC, 2016)

A chordal decomposition approach to scalable design of structured feedback gains over directed graphs. - Yang Zheng 001; Richard P. Mason; Antonis Papachristodoulou (CDC, 2016)

Evaluation of Forward Collision Avoidance system using driver's hazard perception. - Yang Li 093; Yang Zheng 001; Jianqiang Wang 003; Likun Wang; Kenji Kodaka; Keqiang Li (ITSC, 2016)

Stability Margin Improvement of Vehicular Platoon Considering Undirected Topology and Asymmetric Control. - Yang Zheng 001; Shengbo Eben Li; Keqiang Li; Le Yi Wang (IEEE Trans. Control. Syst. Technol., 2016)

Stability and Scalability of Homogeneous Vehicular Platoon: Study on the Influence of Information Flow Topologies. - Yang Zheng 001; Shengbo Eben Li; Jianqiang Wang 003; Dongpu Cao; Keqiang Li (IEEE Trans. Intell. Transp. Syst., 2016)

Fast ADMM for semidefinite programs with chordal sparsity. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou; Paul Goulart; Andrew Wynn (ACC, 2017)

Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations. - Amir Ali Ahmadi; Georgina Hall; Antonis Papachristodoulou; James Saunderson; Yang Zheng 001 (CDC, 2017)

Block-diagonal solutions to Lyapunov inequalities and generalisations of diagonal dominance. - Aivar Sootla; Yang Zheng 001; Antonis Papachristodoulou (CDC, 2017)

Dynamical Modeling and Distributed Control of Connected and Automated Vehicles: Challenges and Opportunities. - Shengbo Eben Li; Yang Zheng 001; Keqiang Li; Yujia Wu; J. Karl Hedrick; Feng Gao 007; Hongwei Zhang 001 (IEEE Intell. Transp. Syst. Mag., 2017)

Distributed Model Predictive Control for Heterogeneous Vehicle Platoons Under Unidirectional Topologies. - Yang Zheng 001; Shengbo Eben Li; Keqiang Li; Francesco Borrelli; J. Karl Hedrick (IEEE Trans. Control. Syst. Technol., 2017)

Decomposition and Completion of Sum-of-Squares Matrices. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou (CDC, 2018)

Scalable analysis of linear networked systems via chordal decomposition. - Yang Zheng 001; Maryam Kamgarpour; Aivar Sootla; Antonis Papachristodoulou (ECC, 2018)

Reducing Time Headway for Platoons of Connected Vehicles via Multiple-Predecessor Following. - Yougang Bian; Yang Zheng 001; Shengbo Eben Li; Zhitao Wang; Qing Xu 010; Jianqiang Wang 003; Keqiang Li (ITSC, 2018)

Parallel Optimal Control for Cooperative Automation of Large-scale Connected Vehicles via ADMM. - Zhitao Wang; Yang Zheng 001; Shengbo Eben Li; Keyou You; Keqiang Li (ITSC, 2018)

Scalable Design of Structured Controllers Using Chordal Decomposition. - Yang Zheng 001; Richard P. Mason; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2018)

Platooning of Connected Vehicles With Undirected Topologies: Robustness Analysis and Distributed H-infinity Controller Synthesis. - Yang Zheng 001; Shengbo Eben Li; Keqiang Li; Wei Ren 001 (IEEE Trans. Intell. Transp. Syst., 2018)

Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou (ACC, 2019)

Chordal Decomposition in Rank Minimized Semidefinite Programs with Applications to Subspace Clustering. - Jared Miller; Yang Zheng 001; Biel Roig-Solvas; Mario Sznaier; Antonis Papachristodoulou (CDC, 2019)

On Separable Quadratic Lyapunov Functions for Convex Design of Distributed Controllers. - Luca Furieri; Yang Zheng 001; Antonis Papachristodoulou; Maryam Kamgarpour (ECC, 2019)

Block Factor-Width-Two Matrices in Semidefinite Programming. - Aivar Sootla; Yang Zheng 001; Antonis Papachristodoulou (ECC, 2019)

Controllability Analysis and Optimal Controller Synthesis of Mixed Traffic Systems. - Jiawei Wang 001; Yang Zheng 001; Qing Xu 010; Jianqiang Wang 003; Keqiang Li (IV, 2019)

On the Parameterization of Stabilizing Controllers using Closed-loop Responses. - Yang Zheng 001; Luca Furieri; Maryam Kamgarpour; Na Li 002 (CoRR, 2019)

An Input-Output Parametrization of Stabilizing Controllers: Amidst Youla and System Level Synthesis. - Luca Furieri; Yang Zheng 001; Antonis Papachristodoulou; Maryam Kamgarpour (IEEE Control. Syst. Lett., 2019)

Fast ADMM for Sum-of-Squares Programs Using Partial Orthogonality. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2019)

Distributed Platoon Control Under Topologies With Complex Eigenvalues: Stability Analysis and Controller Synthesis. - Shengbo Eben Li; Xiaohui Qin; Yang Zheng 001; Jianqiang Wang 003; Keqiang Li; Hongwei Zhang 001 (IEEE Trans. Control. Syst. Technol., 2019)

Impact of Disturbances on Mixed Traffic Control with Autonomous Vehicles. - Ross Drummond; Yang Zheng 001 (CDC, 2020)

Leading Cruise Control in Mixed Traffic Flow. - Jiawei Wang 001; Yang Zheng 001; Chaoyi Chen; Qing Xu 010; Keqiang Li (CDC, 2020)

Learning the Globally Optimal Distributed LQ Regulator. - Luca Furieri; Yang Zheng 001; Maryam Kamgarpour (L4DC, 2020)

Optimal Formation of Autonomous Vehicles in Mixed Traffic Flow. - Keqiang Li; Jiawei Wang 001; Yang Zheng 001 (CoRR, 2020)

Smoothing Traffic Flow via Control of Autonomous Vehicles. - Yang Zheng 001; Jiawei Wang 001; Keqiang Li (IEEE Internet Things J., 2020)

Chordal decomposition in operator-splitting methods for sparse semidefinite programs. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou; Paul Goulart; Andrew Wynn (Math. Program., 2020)

On the Existence of Block-Diagonal Solutions to Lyapunov and ${ mathcal {H}_ infty }$ Riccati Inequalities. - Aivar Sootla; Yang Zheng 001; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2020)

Sparsity Invariance for Convex Design of Distributed Controllers. - Luca Furieri; Yang Zheng 001; Antonis Papachristodoulou; Maryam Kamgarpour (IEEE Trans. Control. Netw. Syst., 2020)

Distributed Design for Decentralized Control Using Chordal Decomposition and ADMM. - Yang Zheng 001; Maryam Kamgarpour; Aivar Sootla; Antonis Papachristodoulou (IEEE Trans. Control. Netw. Syst., 2020)

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. - Panagiotis Kouvaros; Trent Kyono; Francesco Leofante; Alessio Lomuscio; Dragos D. Margineantu; Denis Osipychev; Yang Zheng 001 (FM, 2021)

Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. - Ben Batten; Panagiotis Kouvaros; Alessio Lomuscio; Yang Zheng 001 (IJCAI, 2021)

Sample Complexity of Linear Quadratic Gaussian (LQG) Control for Output Feedback Systems. - Yang Zheng 001; Luca Furieri; Maryam Kamgarpour; Na Li 002 (L4DC, 2021)

Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou (Annu. Rev. Control., 2021)

Non-Asymptotic Identification of Linear Dynamical Systems Using Multiple Trajectories. - Yang Zheng 001; Na Li 002 (IEEE Control. Syst. Lett., 2021)

Threat Assessment Techniques in Intelligent Vehicles: A Comparative Survey. - Yang Li 093; Keqiang Li; Yang Zheng 001; Bernhard Morys; Shuyue Pan; Jianqiang Wang 003 (IEEE Intell. Transp. Syst. Mag., 2021)

Cooperative Control of Heterogeneous Connected Vehicles with Directed Acyclic Interactions. - Yang Zheng 001; Yougang Bian; Shen Li 001; Shengbo Eben Li (IEEE Intell. Transp. Syst. Mag., 2021)

On the Equivalence of Youla, System-Level, and Input-Output Parameterizations. - Yang Zheng 001; Luca Furieri; Antonis Papachristodoulou; Na Li 002; Maryam Kamgarpour (IEEE Trans. Autom. Control., 2021)

Controllability Analysis and Optimal Control of Mixed Traffic Flow With Human-Driven and Autonomous Vehicles. - Jiawei Wang 001; Yang Zheng 001; Qing Xu 010; Jian-Qiang Wang 003; Keqiang Li (IEEE Trans. Intell. Transp. Syst., 2021)

Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. - Jianglin Lan; Yang Zheng 001; Alessio Lomuscio (AAAI, 2022)

Data-Driven Predictive Control for Connected and Autonomous Vehicles in Mixed Traffic. - Jiawei Wang 001; Yang Zheng 001; Qing Xu 010; Keqiang Li (ACC, 2022)

On the Optimization Landscape of Dynamic Output Feedback: A Case Study for Linear Quadratic Regulator. - Jingliang Duan; Wenhan Cao; Yang Zheng 001; Lin Zhao 009 (CDC, 2022)

Iterative Inner/outer Approximations for Scalable Semidefinite Programs using Block Factor-width-two Matrices. - Feng-Yi Liao; Yang Zheng 001 (CDC, 2022)

Convex Parameterization of Stabilizing Controllers and its LMI-based Computation via Filtering. - Maurício C. de Oliveira; Yang Zheng 001 (CDC, 2022)

Escaping High-order Saddles in Policy Optimization for Linear Quadratic Gaussian (LQG) Control. - Yang Zheng 001; Yue Sun; Maryam Fazel; Na Li 002 (CDC, 2022)

Demand response model identification and behavior forecast with OptNet: a gradient-based approach. - Yuexin Bian; Ningkun Zheng; Yang Zheng 001; Bolun Xu; Yuanyuan Shi (e-Energy, 2022)

Privacy-Preserved Data-Enabled Predictive Control for Connected and Automated Vehicles in Mixed Traffic. - Kaixiang Zhang 001; Kaian Chen; Zhaojian Li; Yang Zheng 001 (ITSC, 2022)

Decomposed structured subsets for semidefinite and sum-of-squares optimization. - Jared Miller; Yang Zheng 001; Mario Sznaier; Antonis Papachristodoulou (Autom., 2022)

System-level, input-output and new parameterizations of stabilizing controllers, and their numerical computation. - Yang Zheng 001; Luca Furieri; Maryam Kamgarpour; Na Li 002 (Autom., 2022)

Experimental Validation of DeeP-LCC for Dissipating Stop-and-Go Waves in Mixed Traffic. - Jiawei Wang 001; Yang Zheng 001; Jianghong Dong; Chaoyi Chen; Mengchi Cai; Keqiang Li; Qing Xu 010 (CoRR, 2022)

Dimension Reduction for Efficient Data-Enabled Predictive Control. - Kaixiang Zhang 001; Yang Zheng 001; Zhaojian Li (CoRR, 2022)

Cooperative Formation of Autonomous Vehicles in Mixed Traffic Flow: Beyond Platooning. - Keqiang Li; Jiawei Wang 001; Yang Zheng 001 (IEEE Trans. Intell. Transp. Syst., 2022)

Leading Cruise Control in Mixed Traffic Flow: System Modeling, Controllability, and String Stability. - Jiawei Wang 001; Yang Zheng 001; Chaoyi Chen; Qing Xu 010; Keqiang Li (IEEE Trans. Intell. Transp. Syst., 2022)

Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. - Jianglin Lan; Yang Zheng 001; Alessio Lomuscio (AAAI, 2023)

A Spectral Bundle Method for Sparse Semidefinite Programs. - Hesam Mojtahedi; Feng-Yi Liao; Yang Zheng 001 (CDC, 2023)

On the Global Optimality of Direct Policy Search for Nonsmooth $ mathcal{H}_{ infty}$ Output-Feedback Control. - Yujie Tang 002; Yang Zheng 001 (CDC, 2023)

On Controller Reduction in Linear Quadratic Gaussian Control with Performance Bounds. - Zhaolin Ren; Yang Zheng 001; Maryam Fazel; Na Li 002 (L4DC, 2023)

An Overview and Comparison of Spectral Bundle Methods for Primal and Dual Semidefinite Programs. - Feng-Yi Liao; Lijun Ding; Yang Zheng 001 (CoRR, 2023)

Smoothing Mixed Traffic with Robust Data-driven Predictive Control for Connected and Autonomous Vehicles. - Xu Shang; Jiawei Wang 001; Yang Zheng 001 (CoRR, 2023)

Benign Nonconvex Landscapes in Optimal and Robust Control, Part I: Global Optimality. - Yang Zheng 001; Chih-Fan Pai; Yujie Tang 002 (CoRR, 2023)

Connectivity of the Feasible and Sublevel Sets of Dynamic Output Feedback Control With Robustness Constraints. - Bin Hu 002; Yang Zheng 001 (IEEE Control. Syst. Lett., 2023)

Sum-of-squares chordal decomposition of polynomial matrix inequalities. - Yang Zheng 001; Giovanni Fantuzzi (Math. Program., 2023)

Block Factor-Width-Two Matrices and Their Applications to Semidefinite and Sum-of-Squares Optimization. - Yang Zheng 001; Aivar Sootla; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2023)

Analysis of the optimization landscape of Linear Quadratic Gaussian (LQG) control. - Yujie Tang 002; Yang Zheng 001; Na Li 002 (Math. Program., 2023)

DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic Flow. - Jiawei Wang 001; Yang Zheng 001; Keqiang Li; Qing Xu 010 (IEEE Trans. Control. Syst. Technol., 2023)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. - Ben Batten; Yang Zheng 001; Alessandro De Palma; Panagiotis Kouvaros; Alessio Lomuscio (ECAI, 2024)

On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks. - Zi Wang; Bin Hu 002; Aaron J. Havens; Alexandre Araujo; Yang Zheng 001; Yudong Chen; Somesh Jha (ICLR, 2024)

Error bounds, PL condition, and quadratic growth for weakly convex functions, and linear convergences of proximal point methods. - Feng-Yi Liao; Lijun Ding; Yang Zheng 001 (L4DC, 2024)

Convex approximations for a bi-level formulation of data-enabled predictive control. - Xu Shang; Yang Zheng 001 (L4DC, 2024)

Inexact Augmented Lagrangian Methods for Conic Optimization: Quadratic Growth and Linear Convergence. - Feng-Yi Liao; Lijun Ding; Yang Zheng 001 (NeurIPS, 2024)

Benign Nonconvex Landscapes in Optimal and Robust Control, Part II: Extended Convex Lifting. - Yang Zheng 001; Chih-Fan Pai; Yujie Tang 002 (CoRR, 2024)

Inexact Augmented Lagrangian Methods for Conic Programs: Quadratic Growth and Linear Convergence. - Feng-Yi Liao; Lijun Ding; Yang Zheng 001 (CoRR, 2024)

Willems' Fundamental Lemma for Nonlinear Systems With Koopman Linear Embedding. - Xu Shang; Jorge Cortés 001; Yang Zheng 001 (IEEE Control. Syst. Lett., 2024)

Predicting Strategic Energy Storage Behaviors. - Yuexin Bian; Ningkun Zheng; Yang Zheng 001; Bolun Xu; Yuanyuan Shi (IEEE Trans. Smart Grid, 2024)

Implementation and Experimental Validation of Data-Driven Predictive Control for Dissipating Stop-and-Go Waves in Mixed Traffic. - Jiawei Wang 001; Yang Zheng 001; Jianghong Dong; Chaoyi Chen; Mengchi Cai; Keqiang Li; Qing Xu 010 (IEEE Internet Things J., 2024)

On the Optimization Landscape of Dynamic Output Feedback Linear Quadratic Control. - Jingliang Duan; Wenhan Cao; Yang Zheng 001; Lin Zhao 009 (IEEE Trans. Autom. Control., 2024)

Privacy-Preserving Data-Enabled Predictive Leading Cruise Control in Mixed Traffic. - Kaixiang Zhang 001; Kaian Chen; Zhaojian Li; Jun Chen 002; Yang Zheng 001 (IEEE Trans. Intell. Transp. Syst., 2024)

Extended Convex Lifting for Policy Optimization of Optimal and Robust Control. - Yang Zheng 001; Chih-Fan Pai; Yujie Tang 002 (L4DC, 2025)

Decentralized Robust Data-Driven Predictive Control for Smoothing Mixed Traffic Flow. - Xu Shang; Jiawei Wang 001; Yang Zheng 001 (IEEE Trans. Intell. Transp. Syst., 2025)