10 papers
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
Liqian Ma, Zishun Liu, Glen Chou +1
We study feedback motion planning for continuous-time stochastic nonlinear systems under signal temporal logic (STL) specifications. We propose a framework that synthesizes control…
Concentration of Stochastic System Trajectories with Time-varying Contraction Conditions
Zishun Liu, Liqian Ma, Hongzhe Yu +1
We establish two concentration inequalities for nonlinear stochastic system under time-varying contraction conditions. The key to our approach is an energy function termed Averaged…
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…
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…
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…