paper-with-me

Papers

Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties

2024-03-19 · Xun Shen, Ye Wang, Kazumune Hashimoto, Yuhu Wu, Sebastien Gros

Validating and controlling safety-critical systems in uncertain environments necessitates probabilistic reachable sets of future state evolutions. The existing methods of computing probabilistic reachable sets normally assume that stochastic uncertainties are independent of system states, inputs, and other environment variables. However, this assumption falls short in many real-world applications, where the probability distribution governing uncertainties depends on these variables, referred to as contextual uncertainties. This paper addresses the challenge of computing probabilistic reachable sets of stochastic nonlinear states with contextual uncertainties by seeking minimum-volume polynomial sublevel sets with contextual chance constraints. The formulated problem cannot be solved by the existing sample-based approximation method since the existing methods do not consider conditional probability densities. To address this, we propose a consistent sample approximation of the original problem by leveraging conditional density estimation and resampling. The obtained approximate problem is a tractable optimization problem. Additionally, we prove the proposed sample-based approximation's almost uniform convergence, showing that it gives the optimal solution almost consistently with the original ones. Through a numerical example, we evaluate the effectiveness of the proposed method against existing approaches, highlighting its capability to significantly reduce the bias inherent in sample-based approximation without considering a conditional probability density.

📄 PDF Abstract BibTeX arXiv:2403.12379

Code (0)

등록된 구현이 없습니다.

Tasks

Density Estimation

Similar Papers 제목 키워드 기반

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems

2024-09-14 · 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 reachable set of discrete-time systems in the p…

Predictive control for nonlinear stochastic systems: Closed-loop guarantees with unbounded noise

2024-07-18 · Johannes Köhler, Melanie N. Zeilinger

We present a stochastic model predictive control framework for nonlinear systems subject to unbounded process noise with closed-loop guarantees. First, we provide a conceptual shrinking-horizon framework that utilizes ge…

Computational EfficiencyFrictionModel Predictive Control

Probabilistic Reachability Analysis of Stochastic Control Systems

2024-07-17 · 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 dynamic system in the presence of both stochas…

Probabilistic reachable and invariant sets for linear systems with correlated disturbance

2020-04-15

In this paper a constructive method to determine and compute probabilistic reachable and invariant sets for linear discrete-time systems, excited by a stochastic disturbance, is presented. The samples of the disturbance …

Data-Driven Reachability Analysis with Christoffel Functions

2021-04-28 · Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak

We present an algorithm for data-driven reachability analysis that estimates finite-horizon forward reachable sets for general nonlinear systems using level sets of a certain class of polynomials known as Christoffel fun…