6 papers · 1 filter
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…
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…
Safety Verification of Stochastic Systems: A Set-Erosion Approach
Zishun Liu, Saber Jafarpour, Yongxin Chen
We study the safety verification problem for discrete-time stochastic systems. We propose an approach for safety verification termed set-erosion strategy that verifies the safety o…
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…
Probabilistic Reachability Analysis of Stochastic Control Systems
Saber Jafarpour, Zishun Liu, Yongxin Chen
We address the reachability problem for continuous-time stochastic dynamic systems. Our objective is to present a unified framework that characterizes the reachable set of a dynami…
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…