Yang Zheng

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 88

Top Topics

Predictive Control

Linear Quadratic

Top Venues

IEEE Trans. Intell. Transp. Syst.

IEEE Trans. Autom. Control.

Publications

Jiawei Wang, Yang Zheng, Jianghong Dong, Chaoyi Chen, Mengchi Cai, Keqiang Li, Qing Xu
Implementation and Experimental Validation of Data-Driven Predictive Control for Dissipating Stop-and-Go Waves in Mixed Traffic. IEEE Internet Things J. 11 (3) (2024)
Yang Zheng, Chih-Fan Pai, Yujie Tang
Benign Nonconvex Landscapes in Optimal and Robust Control, Part II: Extended Convex Lifting. CoRR (2024)
Feng-Yi Liao, Lijun Ding, Yang Zheng
Error bounds, PL condition, and quadratic growth for weakly convex functions, and linear convergences of proximal point methods. L4DC (2024)
Yuexin Bian, Ningkun Zheng, Yang Zheng, Bolun Xu, Yuanyuan Shi
Predicting Strategic Energy Storage Behaviors. IEEE Trans. Smart Grid 15 (2) (2024)
Jingliang Duan, Wenhan Cao, Yang Zheng, Lin Zhao
On the Optimization Landscape of Dynamic Output Feedback Linear Quadratic Control. IEEE Trans. Autom. Control. 69 (2) (2024)
Zi Wang, Bin Hu, Aaron J. Havens, Alexandre Araujo, Yang Zheng, Yudong Chen, Somesh Jha
On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks. ICLR (2024)
Kaixiang Zhang, Kaian Chen, Zhaojian Li, Jun Chen, Yang Zheng
Privacy-Preserving Data-Enabled Predictive Leading Cruise Control in Mixed Traffic. IEEE Trans. Intell. Transp. Syst. 25 (5) (2024)
Xu Shang, Yang Zheng
Convex approximations for a bi-level formulation of data-enabled predictive control. L4DC (2024)
Feng-Yi Liao, Lijun Ding, Yang Zheng
Error bounds, PL condition, and quadratic growth for weakly convex functions, and linear convergences of proximal point methods. CoRR (2023)
Jianglin Lan, Yang Zheng, Alessio Lomuscio
Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. AAAI (2023)
Yang Zheng, Giovanni Fantuzzi
Sum-of-squares chordal decomposition of polynomial matrix inequalities. Math. Program. 197 (1) (2023)
Bin Hu, Yang Zheng
Connectivity of the Feasible and Sublevel Sets of Dynamic Output Feedback Control With Robustness Constraints. IEEE Control. Syst. Lett. 7 (2023)
Zhaolin Ren, Yang Zheng, Maryam Fazel, Na Li
On Controller Reduction in Linear Quadratic Gaussian Control with Performance Bounds. L4DC (2023)
Feng-Yi Liao, Lijun Ding, Yang Zheng
An Overview and Comparison of Spectral Bundle Methods for Primal and Dual Semidefinite Programs. CoRR (2023)
Jiawei Wang, Yang Zheng, Keqiang Li, Qing Xu
DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic Flow. IEEE Trans. Control. Syst. Technol. 31 (6) (2023)
Yujie Tang, Yang Zheng, Na Li
Analysis of the optimization landscape of Linear Quadratic Gaussian (LQG) control. Math. Program. 202 (1) (2023)
Yang Zheng, Aivar Sootla, Antonis Papachristodoulou
Block Factor-Width-Two Matrices and Their Applications to Semidefinite and Sum-of-Squares Optimization. IEEE Trans. Autom. Control. 68 (2) (2023)
Hesam Mojtahedi, Feng-Yi Liao, Yang Zheng
A Spectral Bundle Method for Sparse Semidefinite Programs. CDC (2023)
Jiawei Wang, Yang Zheng, Chaoyi Chen, Qing Xu, Keqiang Li
Leading Cruise Control in Mixed Traffic Flow: System Modeling, Controllability, and String Stability. IEEE Trans. Intell. Transp. Syst. 23 (8) (2022)
Jiawei Wang, Yang Zheng, Qing Xu, Keqiang Li
Data-Driven Predictive Control for Connected and Autonomous Vehicles in Mixed Traffic. ACC (2022)
Keqiang Li, Jiawei Wang, Yang Zheng
Cooperative Formation of Autonomous Vehicles in Mixed Traffic Flow: Beyond Platooning. IEEE Trans. Intell. Transp. Syst. 23 (9) (2022)
Jianglin Lan, Yang Zheng, Alessio Lomuscio
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. AAAI (2022)
Jared Miller, Yang Zheng, Mario Sznaier, Antonis Papachristodoulou
Decomposed structured subsets for semidefinite and sum-of-squares optimization. Autom. 137 (2022)
Yang Zheng, Luca Furieri, Maryam Kamgarpour, Na Li
System-level, input-output and new parameterizations of stabilizing controllers, and their numerical computation. Autom. 140 (2022)
Jiawei Wang, Yang Zheng, Jianghong Dong, Chaoyi Chen, Mengchi Cai, Keqiang Li, Qing Xu
Experimental Validation of DeeP-LCC for Dissipating Stop-and-Go Waves in Mixed Traffic. CoRR (2022)
Jiawei Wang, Yang Zheng, Keqiang Li, Qing Xu
DeeP-LCC: Data-EnablEd Predictive Leading Cruise Control in Mixed Traffic Flow. CoRR (2022)
Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. IJCAI (2021)
Jiawei Wang, Yang Zheng, Qing Xu, Keqiang Li
Data-Driven Predictive Control for Connected and Autonomous Vehicles in Mixed Traffic. CoRR (2021)
Yang Zheng, Na Li
Non-asymptotic Identification of Linear Dynamical Systems Using Multiple Trajectories. ACC (2021)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou
Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization. CoRR (2021)
Jiawei Wang, Yang Zheng, Qing Xu, Jian-Qiang Wang, Keqiang Li
Controllability Analysis and Optimal Control of Mixed Traffic Flow With Human-Driven and Autonomous Vehicles. IEEE Trans. Intell. Transp. Syst. 22 (12) (2021)
Yang Zheng, Luca Furieri, Antonis Papachristodoulou, Na Li, Maryam Kamgarpour
On the Equivalence of Youla, System-Level, and Input-Output Parameterizations. IEEE Trans. Autom. Control. 66 (1) (2021)
Yang Zheng, Na Li
Non-Asymptotic Identification of Linear Dynamical Systems Using Multiple Trajectories. IEEE Control. Syst. Lett. 5 (5) (2021)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou
Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization. Annu. Rev. Control. 52 (2021)
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM (2021)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou, Paul Goulart, Andrew Wynn
Chordal decomposition in operator-splitting methods for sparse semidefinite programs. Math. Program. 180 (1) (2020)
Luca Furieri, Yang Zheng, Maryam Kamgarpour
Learning the Globally Optimal Distributed LQ Regulator. L4DC (2020)
Keqiang Li, Jiawei Wang, Yang Zheng
Optimal Formation of Autonomous Vehicles in Mixed Traffic Flow. CoRR (2020)
Luca Furieri, Yang Zheng, Antonis Papachristodoulou, Maryam Kamgarpour
Sparsity Invariance for Convex Design of Distributed Controllers. IEEE Trans. Control. Netw. Syst. 7 (4) (2020)
Ross Drummond, Yang Zheng
Impact of Disturbances on Mixed Traffic Control with Autonomous Vehicles. CoRR (2020)
Yang Zheng, Na Li
Non-asymptotic Identification of Linear Dynamical Systems Using Multiple Trajectories. CoRR (2020)
Jiawei Wang, Yang Zheng, Chaoyi Chen, Qing Xu, Keqiang Li
Leading Cruise Control in Mixed Traffic Flow. CoRR (2020)
Keqiang Li, Jiawei Wang, Yang Zheng
Cooperative Formation of Autonomous Vehicles in Mixed Traffic Flow: Beyond Platooning. CoRR (2020)
Jiawei Wang, Yang Zheng, Chaoyi Chen, Qing Xu, Keqiang Li
Leading Cruise Control in Mixed Traffic Flow: System Modeling, Controllability, and String Stability. CoRR (2020)
Yang Zheng, Maryam Kamgarpour, Aivar Sootla, Antonis Papachristodoulou
Distributed Design for Decentralized Control Using Chordal Decomposition and ADMM. IEEE Trans. Control. Netw. Syst. 7 (2) (2020)
Yang Zheng, Giovanni Fantuzzi
Sum-of-squares chordal decomposition of polynomial matrix inequalities. CoRR (2020)
Jiawei Wang, Yang Zheng, Chaoyi Chen, Qing Xu, Keqiang Li
Leading Cruise Control in Mixed Traffic Flow. CDC (2020)
Ross Drummond, Yang Zheng
Impact of Disturbances on Mixed Traffic Control with Autonomous Vehicles. CDC (2020)
Aivar Sootla, Yang Zheng, Antonis Papachristodoulou
On the Existence of Block-Diagonal Solutions to Lyapunov and ${\mathcal {H}_\infty }$ Riccati Inequalities. IEEE Trans. Autom. Control. 65 (7) (2020)
Jiawei Wang, Yang Zheng, Qing Xu, Jianqiang Wang, Keqiang Li
Controllability Analysis and Optimal Control of Mixed Traffic Flow with Human-driven and Autonomous Vehicles. CoRR (2020)
Yang Zheng, Jiawei Wang, Keqiang Li
Smoothing Traffic Flow via Control of Autonomous Vehicles. IEEE Internet Things J. 7 (5) (2020)
Jared Miller, Yang Zheng, Biel Roig-Solvas, Mario Sznaier, Antonis Papachristodoulou
Chordal Decomposition in Rank Minimized Semidefinite Programs with Applications to Subspace Clustering. CDC (2019)
Luca Furieri, Yang Zheng, Antonis Papachristodoulou, Maryam Kamgarpour
On Separable Quadratic Lyapunov Functions for Convex Design of Distributed Controllers. ECC (2019)
Aivar Sootla, Yang Zheng, Antonis Papachristodoulou
Block Factor-Width-Two Matrices in Semidefinite Programming. CoRR (2019)
Luca Furieri, Yang Zheng, Maryam Kamgarpour
Learning the Globally Optimal Distributed LQ Regulator. CoRR (2019)
Luca Furieri, Yang Zheng, Antonis Papachristodoulou, Maryam Kamgarpour
An Input-Output Parametrization of Stabilizing Controllers: amidst Youla and System Level Synthesis. CoRR (2019)
Luca Furieri, Yang Zheng, Antonis Papachristodoulou, Maryam Kamgarpour
On Separable Quadratic Lyapunov Functions for Convex Design of Distributed Controllers. CoRR (2019)
Jared Miller, Yang Zheng, Mario Sznaier, Antonis Papachristodoulou
Decomposed Structured Subsets for Semidefinite and Sum-of-Squares Optimization. CoRR (2019)
Yang Zheng, Luca Furieri, Maryam Kamgarpour, Na Li
On the Parameterization of Stabilizing Controllers using Closed-loop Responses. CoRR (2019)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou
Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials. ACC (2019)
Luca Furieri, Yang Zheng, Antonis Papachristodoulou, Maryam Kamgarpour
Sparsity Invariance for Convex Design of Distributed Controllers. CoRR (2019)
Yang Zheng, Aivar Sootla, Antonis Papachristodoulou
Block Factor-width-two Matrices and Their Applications to Semidefinite and Sum-of-squares Optimization. CoRR (2019)
Shengbo Eben Li, Xiaohui Qin, Yang Zheng, Jianqiang Wang, Keqiang Li, Hongwei Zhang
Distributed Platoon Control Under Topologies With Complex Eigenvalues: Stability Analysis and Controller Synthesis. IEEE Trans. Control. Syst. Technol. 27 (1) (2019)
Luca Furieri, Yang Zheng, Antonis Papachristodoulou, Maryam Kamgarpour
An Input-Output Parametrization of Stabilizing Controllers: Amidst Youla and System Level Synthesis. IEEE Control. Syst. Lett. 3 (4) (2019)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou
Fast ADMM for Sum-of-Squares Programs Using Partial Orthogonality. IEEE Trans. Autom. Control. 64 (9) (2019)
Aivar Sootla, Yang Zheng, Antonis Papachristodoulou
Block Factor-Width-Two Matrices in Semidefinite Programming. ECC (2019)
Jiawei Wang, Yang Zheng, Qing Xu, Jianqiang Wang, Keqiang Li
Controllability Analysis and Optimal Controller Synthesis of Mixed Traffic Systems. IV (2019)
Zhitao Wang, Yang Zheng, Shengbo Eben Li, Keyou You, Keqiang Li
Parallel Optimal Control for Cooperative Automation of Large-scale Connected Vehicles via ADMM. ITSC (2018)
Yang Zheng, Jiawei Wang, Keqiang Li
Smoothing traffic flow via control of autonomous vehicles. CoRR (2018)
Yang Zheng, Shengbo Eben Li, Keqiang Li, Wei Ren
Platooning of Connected Vehicles With Undirected Topologies: Robustness Analysis and Distributed H-infinity Controller Synthesis. IEEE Trans. Intell. Transp. Syst. 19 (5) (2018)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou
Decomposition and Completion of Sum-of-Squares Matrices. CoRR (2018)
Yang Zheng, Richard P. Mason, Antonis Papachristodoulou
Scalable Design of Structured Controllers Using Chordal Decomposition. IEEE Trans. Autom. Control. 63 (3) (2018)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou
Decomposition and Completion of Sum-of-Squares Matrices. CDC (2018)
Zhitao Wang, Yang Zheng, Shengbo Eben Li, Keyou You, Keqiang Li
Parallel Optimal Control for Cooperative Automation of Large-scale Connected Vehicles via ADMM. CoRR (2018)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou
Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials. CoRR (2018)
Yang Zheng, Maryam Kamgarpour, Aivar Sootla, Antonis Papachristodoulou
Scalable analysis of linear networked systems via chordal decomposition. ECC (2018)
Yougang Bian, Yang Zheng, Shengbo Eben Li, Zhitao Wang, Qing Xu, Jianqiang Wang, Keqiang Li
Reducing Time Headway for Platoons of Connected Vehicles via Multiple-Predecessor Following. ITSC (2018)
Yang Zheng, Shengbo Eben Li, Keqiang Li, Francesco Borrelli, J. Karl Hedrick
Distributed Model Predictive Control for Heterogeneous Vehicle Platoons Under Unidirectional Topologies. IEEE Trans. Control. Syst. Technol. 25 (3) (2017)
Amir Ali Ahmadi, Georgina Hall, Antonis Papachristodoulou, James Saunderson, Yang Zheng
Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations. CDC (2017)
Aivar Sootla, Yang Zheng, Antonis Papachristodoulou
Block-diagonal solutions to Lyapunov inequalities and generalisations of diagonal dominance. CDC (2017)
Yang Zheng, Giovanni Fantuzzi, Antonis Papachristodoulou, Paul Goulart, Andrew Wynn
Fast ADMM for semidefinite programs with chordal sparsity. ACC (2017)
Shengbo Eben Li, Yang Zheng, Keqiang Li, Yujia Wu, J. Karl Hedrick, Feng Gao, Hongwei Zhang
Dynamical Modeling and Distributed Control of Connected and Automated Vehicles: Challenges and Opportunities. IEEE Intell. Transp. Syst. Mag. 9 (3) (2017)
Aivar Sootla, Yang Zheng, Antonis Papachristodoulou
Block-Diagonal Solutions to Lyapunov Inequalities and Generalisations of Diagonal Dominance. CoRR (2017)
Yang Zheng, Shengbo Eben Li, Jianqiang Wang, Dongpu Cao, Keqiang Li
Stability and Scalability of Homogeneous Vehicular Platoon: Study on the Influence of Information Flow Topologies. IEEE Trans. Intell. Transp. Syst. 17 (1) (2016)
Yang Li, Yang Zheng, Jianqiang Wang, Likun Wang, Kenji Kodaka, Keqiang Li
Evaluation of Forward Collision Avoidance system using driver's hazard perception. ITSC (2016)
Yang Zheng, Shengbo Eben Li, Keqiang Li, Le Yi Wang
Stability Margin Improvement of Vehicular Platoon Considering Undirected Topology and Asymmetric Control. IEEE Trans. Control. Syst. Technol. 24 (4) (2016)
Yujia Wu, Shengbo Eben Li, Yang Zheng, J. Karl Hedrick
Distributed sliding mode control for multi-vehicle systems with positive definite topologies. CDC (2016)
Yang Zheng, Richard P. Mason, Antonis Papachristodoulou
A chordal decomposition approach to scalable design of structured feedback gains over directed graphs. CDC (2016)
Jianqiang Wang, Shengbo Eben Li, Yang Zheng, Xiao-Yun Lu
Longitudinal collision mitigation via coordinated braking of multiple vehicles using model predictive control. Integr. Comput. Aided Eng. 22 (2) (2015)
Shengbo Eben Li, Yang Zheng, Keqiang Li, Jianqiang Wang
An overview of vehicular platoon control under the four-component framework. Intelligent Vehicles Symposium (2015)
Shengbo Eben Li, Kun Deng, Yang Zheng, Huei Peng
Effect of Pulse-and-Glide Strategy on Traffic Flow for a Platoon of Mixed Automated and Manually Driven Vehicles. Comput. Aided Civ. Infrastructure Eng. 30 (11) (2015)
Yang Zheng, Shengbo Eben Li, Jianqiang Wang, Le Yi Wang, Keqiang Li
Influence of information flow topology on closed-loop stability of vehicle platoon with rigid formation. ITSC (2014)
Yang Zheng, Jianqiang Wang, Xiaofei Li, Chenfei Yu, Kenji Kodaka, Keqiang Li
Driving risk assessment using cluster analysis based on naturalistic driving data. ITSC (2014)