English
Related papers

Related papers: Model Predictive Control for Signal Temporal Logic…

200 papers

This manuscript contains technical results related to a particular approach for the design of Model Predictive Control (MPC) laws. The approach, named "generalized" terminal state constraint, induces the recursive feasibility of the…

Systems and Control · Computer Science 2013-07-16 Lorenzo Fagiano , Andrew R. Teel

We propose a parallel adaptive constraint-tightening approach to solve a linear model predictive control problem for discrete-time systems, based on inexact numerical optimization algorithms and operator splitting methods. The underlying…

Optimization and Control · Mathematics 2015-03-24 Laura Ferranti , Tamas Keviczky

In this work, we propose a Model Predictive Control (MPC) formulation incorporating two distinct horizons: a prediction horizon and a constraint horizon. This approach enables a deeper understanding of how constraints influence key system…

Systems and Control · Electrical Eng. & Systems 2025-03-25 Allan Andre Do Nascimento , Han Wang , Antonis Papachristodoulou , Kostas Margellos

Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through controller synthesis from signal temporal logic (STL)…

Robotics · Computer Science 2018-10-23 Rafael Rodrigues da Silva , Hai Lin

Long prediction horizons in Model Predictive Control (MPC) often prove to be efficient, however, this comes with increased computational cost. Recently, a Robust Model Predictive Control (RMPC) method has been proposed which exploits models…

Systems and Control · Electrical Eng. & Systems 2021-05-17 Tim Brüdigam , Johannes Teutsch , Dirk Wollherr , Marion Leibold

This article presents a dynamic regret analysis for stochastic model predictive control (SMPC) in linear systems with quadratic performance index and additive and multiplicative uncertainties. Under a finite support assumption, the problem…

Optimization and Control · Mathematics 2025-02-04 Sungho Shin , Sen Na , Mihai Anitescu

Signal Temporal Logic (STL) enables formal specification of complex spatiotemporal constraints for robotic task planning. However, synthesizing long-horizon continuous control trajectories from complex STL specifications is fundamentally…

Robotics · Computer Science 2026-03-17 Hongrui Zheng , Zirui Zang , Ahmad Amine , Cristian Ioan Vasile , Rahul Mangharam

We study finite-horizon budget allocation as a closed-loop economic control problem and evaluate receding-horizon Model Predictive Control (MPC) relative to reactive budgeting policies. Budgets are allocated periodically under execution…

Systems and Control · Electrical Eng. & Systems 2026-05-01 Nilavra Pathak , Smriti Shyamal , Prasant Mhasker , Christopher Swartz

This paper studies an optimal control problem for continuous-time stochastic systems subject to reachability objectives specified in a subclass of metric interval temporal logic specifications, a temporal logic with real-time constraints.…

Systems and Control · Computer Science 2015-04-21 Jie Fu , Ufuk Topcu

Model predictive control (MPC) has become the most widely used advanced control method in process industry. In many cases, forecasts of the disturbances are available, e.g., predicted renewable power generation based on weather forecast.…

Systems and Control · Electrical Eng. & Systems 2022-06-08 Ryan McCloy , Lai Wei , Jie Bao

This paper investigates the problem of designing control policies that satisfy high-level specifications described by signal temporal logic (STL) in unknown, stochastic environments. While many existing works concentrate on optimizing the…

Systems and Control · Electrical Eng. & Systems 2024-12-16 Siqi Wang , Shaoyuan Li , Li Yin , Xiang Yin

Model Predictive Control (MPC) is a powerful control strategy; however, its reliance on online optimization poses significant challenges for implementation on systems with limited computational resources. One possible approach to address…

Optimization and Control · Mathematics 2025-02-19 Hassan Jafari Ozoumchelooei , Mehdi Hosseinzadeh

In distributed model predictive control (MPC), the control input at each sampling time is computed by solving a large-scale optimal control problem (OCP) over a finite horizon using distributed algorithms. Typically, such algorithms require…

Systems and Control · Electrical Eng. & Systems 2023-03-28 Giuseppe Belgioioso , Dominic Liao-McPherson , Mathias Hudoba de Badyn , Nicolas Pelzmann , John Lygeros , Florian Dörfler

We present a Stochastic Model Predictive Control (SMPC) framework for linear systems subject to Gaussian disturbances. In order to avoid feasibility issues, we employ a recent initialization strategy, optimizing over an interpolation of the…

Systems and Control · Electrical Eng. & Systems 2023-04-17 Henning Schlüter , Frank Allgöwer

In this paper, we present an iterative Model Predictive Control (MPC) design for piecewise nonlinear systems. We consider finite time control tasks where the goal of the controller is to steer the system from a starting configuration to a…

Systems and Control · Electrical Eng. & Systems 2021-06-02 Ugo Rosolia , Aaron D. Ames

Designing controllers for systems affected by model uncertainty can prove to be a challenge, especially when seeking the optimal compromise between the conflicting goals of identification and control. This trade-off is explicitly taken into…

Systems and Control · Electrical Eng. & Systems 2019-12-30 Elena Arcari , Lukas Hewing , Max Schlichting , Melanie N. Zeilinger

This letter presents a new predictive control architecture for high-dimensional robotic systems. As opposed to a conventional Model Predictive Control (MPC) approach to locomotion that formulates a hierarchical sequence of optimization…

Robotics · Computer Science 2021-05-13 He Li , Robert J. Frei , Patrick M. Wensing

Sampling-based Model Predictive Control (MPC) is a flexible control framework that can reason about non-smooth dynamics and cost functions. Recently, significant work has focused on the use of machine learning to improve the performance of…

Robotics · Computer Science 2022-12-07 Jacob Sacks , Byron Boots

Model Predictive Control is an extremely effective control method for systems with input and state constraints. Model Predictive Control performance heavily depends on the accuracy of the open-loop prediction. For systems with uncertainty…

Optimization and Control · Mathematics 2022-07-27 Francesco Micheli , John Lygeros

Many chemical processes exhibit diverse timescale dynamics with a strong coupling between timescale sensitive variables. Model predictive control with a non-uniformly spaced optimisation horizon is an effective approach to multi-timescale…

Systems and Control · Electrical Eng. & Systems 2022-05-11 Ryan McCloy , Lai Wei , Jie Bao