Predictive Control for Nonlinear Stochastic Systems: Closed-Loop Guarantees With Unbounded Noise

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 general probabilistic reachable sets and minimizes the expected cost. Then, we pro...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on automatic control pp. 1 - 16
Main Authors Kohler, Johannes, Zeilinger, Melanie N.
Format Journal Article
LanguageEnglish
Published IEEE 2025
Subjects
Chance constraints
constrained control
Costs
Measurement
Noise
Nonlinear systems
Predictive control
Probabilistic logic
Stochastic processes
Stochastic systems
Symmetric matrices
Training
Online AccessGet full text

Cover

More Information
Summary: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 general probabilistic reachable sets and minimizes the expected cost. Then, we provide a tractable receding-horizon formulation that uses a nominal state to minimize a deterministic quadratic cost and satisfy tightened constraints. Our theoretical analysis demonstrates recursive feasibility, satisfaction of chance constraints, and bounds on the expected cost for the resulting closed-loop system. We provide a constructive design for probabilistic reachable sets of nonlinear continuously differentiable systems using stochastic contraction metrics and an assumed bound on the covariance matrices. Numerical simulations highlight the computational efficiency and theoretical guarantees of the proposed method. Overall, this paper provides a framework for computationally tractable stochastic predictive control with closed-loop guarantees for nonlinear systems with unbounded noise.
ISSN:0018-9286
1558-2523
DOI:10.1109/TAC.2025.3571575