3 citations · 3 across the 8 of their papers we have counts for
10 papers
S-D-RSM: Stochastic Distributed Regularized Splitting Method for Large-Scale Convex Optimization Problems
Maoran Wang, Xingju Cai, Yongxin Chen
This paper investigates the problems large-scale distributed composite convex optimization, with motivations from a broad range of applications, including multi-agent systems, fede…
Multi-Level Multi-Fidelity Methods for Path Integral and Safe Control
Zhuoyuan Wang, Takashi Tanaka, Yongxin Chen +1
Sampling-based approaches are widely used in systems without analytic models to estimate risk or find optimal control. However, gathering sufficient data in such scenarios can be p…
Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
Zishun Liu, Liqian Ma, Yongxin Chen
We present a model predictive control (MPC) framework for nonlinear stochastic systems that ensures safety guarantee with high probability. Unlike most existing stochastic MPC sche…
Trajectory Optimization of Stochastic Systems under Chance Constraints via Set Erosion
Zishun Liu, Liqian Ma, Yongxin Chen
We study the trajectory optimization problem under chance constraints for continuous-time stochastic systems. To address chance constraints imposed on the entire stochastic traject…
Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
Zishun Liu, Saber Jafarpour, Yongxin Chen
We address the problem of safety verification for nonlinear stochastic systems, specifically the task of certifying that system trajectories remain within a safe set with high prob…
A New Proof of Sub-Gaussian Norm Concentration Inequality
Zishun Liu, Sam Power, Yongxin Chen
We present a new method for proving the norm concentration inequality of sub-Gaussian variables. Our proof is based on an averaged version of the moment generating function, termed…
Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
Liqian Ma, Zishun Liu, Hongzhe Yu +1
We study the verification problem of stochastic systems under signal temporal logic (STL) specifications. We propose a novel approach that enables the verification of the probabili…
Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
Zishun Liu, Saber Jafarpour, Yongxin Chen
In this paper we study the reachability problem for discrete-time nonlinear stochastic systems. Our goal is to present a unified framework for calculating the probabilistic reachab…
Data-Driven Adversarial Online Control for Unknown Linear Systems
Zishun Liu, Yongxin Chen
We consider the online control problem with an unknown linear dynamical system in the presence of adversarial perturbations and adversarial convex loss functions. Although the prob…
Improved analysis for a proximal algorithm for sampling
Yongxin Chen, Sinho Chewi, Adil Salim +1
We study the proximal sampler of Lee, Shen, and Tian (2021) and obtain new convergence guarantees under weaker assumptions than strong log-concavity: namely, our results hold for (…