4 papers
Generalizable Domain Adaptation for Sim-and-Real Policy Co-Training
Shuo Cheng, Liqian Ma, Zhenyang Chen +3
Behavior cloning has shown promise for robot manipulation, but real-world demonstrations are costly to acquire at scale. While simulated data offers a scalable alternative, particu…
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 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…