Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
In this paper, we study Stochastic Control Barrier Functions (SCBFs) to enable the design of probabilistic safe real-time controllers in presence of uncertainties and based on noisy measurements. Our goal is to design controllers that bound the probability of a system failure in finite-time to a given desired value. To that end, we first estimate the system states from the noisy measurements using an Extended Kalman filter, and compute confidence intervals on the filtering errors. Then, we account for filtering errors and derive sufficient conditions on the control input based on the estimated states to bound the probability that the real states of the system enter an unsafe region within a finite time interval. We show that these sufficient conditions are linear constraints on the control input, and, hence, they can be used in tractable optimization problems to achieve safety, in addition to other properties like reachability, and stability. Our approach is evaluated using a simulation of a lane-changing scenario on a highway with dense traffic.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Reduction of valuation risk by Kalman filtering in business valuation models
A recursive free cash flow model (FCFF) is proposed to determine the corporate value of a company in an efficient market in which new market and company-specific information is modelled by additive white noise. The stoch…
Stochastic Online Optimization using Kalman Recursion
We study the Extended Kalman Filter in constant dynamics, offering a bayesian perspective of stochastic optimization. We obtain high probability bounds on the cumulative excess risk in an unconstrained setting. In order …
Stochastic OptimizationCan a Transformer Represent a Kalman Filter?
Transformers are a class of autoregressive deep learning architectures which have recently achieved state-of-the-art performance in various vision, language, and robotics tasks. We revisit the problem of Kalman Filtering…
Filtering with Randomised Observations: Sequential Learning of Relevant Subspace Properties and Accuracy Analysis
State estimation that combines observational data with mathematical models is central to many applications and is commonly addressed through filtering methods, such as ensemble Kalman filters. In this article, we examine…
Ensemble Kalman-Bucy filtering for nonlinear model predictive control
We consider the problem of optimal control for partially observed dynamical systems. Despite its prevalence in practical applications, there are still very few algorithms available, which take uncertainties in the curren…
Model Predictive ControlState Estimation