English
Related papers

Related papers: Model Predictive Control for Signal Temporal Logic…

200 papers

In recent years, the increasing interest in Stochastic model predictive control (SMPC) schemes has highlighted the limitation arising from their inherent computational demand, which has restricted their applicability to slow-dynamics and…

Systems and Control · Electrical Eng. & Systems 2020-05-22 Martina Mammarella , Teodoro Alamo , Fabrizio Dabbene , Matthias Lorenzen

We study unconstrained and constrained linear quadratic problems and investigate the suboptimality of the model predictive control (MPC) method applied to such problems. Considering MPC as an approximate scheme for solving the related fixed…

Optimization and Control · Mathematics 2023-06-06 Yuchao Li , Aren Karapetyan , John Lygeros , Karl H. Johansson , Jonas Mårtensson

In this work, we focus on decomposing large multi-agent path planning problems with global temporal logic goals (common to all agents) into smaller sub-problems that can be solved and executed independently. Crucially, the sub-problems'…

Artificial Intelligence · Computer Science 2022-03-17 Kevin Leahy , Austin Jones , Cristian-Ioan Vasile

The deployment of autonomous systems in safety-critical environments requires control policies that guarantee satisfaction of complex control specifications. These systems are commonly modeled as nonlinear discrete-time stochastic systems.…

Systems and Control · Electrical Eng. & Systems 2026-04-07 Alessandro Riccardi , Thom Badings , Luca Laurenti , Alessandro Abate , Bart De Schutter

Model Predictive Control (MPC) is a versatile approach capable of accommodating diverse control requirements that holds significant promise for a broad spectrum of industrial applications. Noteworthy challenges associated with MPC include…

Systems and Control · Electrical Eng. & Systems 2025-04-28 Ryuta Moriyasu , Sho Kawaguchi , Kenji Kashima

This paper presents a novel robust variable-horizon model predictive control scheme designed to intercept a target moving along a known trajectory, in finite time. Linear discrete-time systems affected by bounded process disturbances are…

Systems and Control · Electrical Eng. & Systems 2025-06-24 Renato Quartullo , Gianni Bianchini , Andrea Garulli , Antonio Giannitrapani

We propose a framework for suboptimal model predictive control (MPC) based on the interconnection of monotone dynamical systems, such as port-Hamiltonian systems. In contrast to classical MPC formulations, where the optimizer is treated as…

Optimization and Control · Mathematics 2026-05-25 Till Preuster , Hannes Gernandt , Manuel Schaller

We propose a model predictive control (MPC) scheme with sampled-data input which ensures output-reference tracking within prescribed error bounds for relative-degree-one systems. Hereby, we explicitly deduce bounds on the required maximal…

Optimization and Control · Mathematics 2024-03-28 Dario Dennstädt , Lukas Lanza , Karl Worthmann

While MPC enables nonlinear feedback control by solving an optimal control problem at each timestep, the computational burden tends to be significantly large, making it difficult to optimize a policy within the control period. To address…

Robotics · Computer Science 2024-10-10 Mitsuki Morita , Satoshi Yamamori , Satoshi Yagi , Norikazu Sugimoto , Jun Morimoto

This paper develops a distributed model predictive control (DMPC) strategy for a class of discrete-time linear systems with consideration of globally coupled constraints. The DMPC under study is based on the dual problem concerning all…

Optimization and Control · Mathematics 2019-07-25 Yanxu Su , Yang Shi , Changyin Sun

We develop a novel decentralized control method for a network of perturbed linear systems with dynamical couplings subject to Signal Temporal Logic (STL) specifications. We first transform the STL requirements into set containment problems…

Systems and Control · Electrical Eng. & Systems 2022-07-04 Kasra Ghasemi , Sadra Sadraddini , Calin Belta

This paper proposes a specification-guided framework for control of nonlinear systems with linear temporal logic (LTL) specifications. In contrast with well-known abstraction-based methods, the proposed framework directly characterizes the…

Systems and Control · Electrical Eng. & Systems 2022-05-03 Yinan Li , Zhibing Sun , Jun Liu

Motion planning for autonomous driving must account for multi-modal uncertainty in both the intentions and trajectories of surrounding vehicles. Handling uncertainty in a worst-case manner guarantees robustness but often leads to excessive…

Robotics · Computer Science 2026-05-22 Zekun Xing , Ramkrishna Chaudhari , Marion Leibold , Dirk Wollherr , Martin Buss

We propose a simple and computationally efficient approach for designing a robust Model Predictive Controller (MPC) for constrained uncertain linear systems. The uncertainty is modeled as an additive disturbance and an additive error on the…

Systems and Control · Electrical Eng. & Systems 2021-03-24 Monimoy Bujarbaruah , Ugo Rosolia , Yvonne R. Stürz , Francesco Borrelli

This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with real-time allocation of signal temporal logic (STL) specifications. Based on previous work, we decompose specifications into…

Systems and Control · Electrical Eng. & Systems 2024-09-04 Maico H. W. Engelaar , Zengjie Zhang , Eleftherios E. Vlahakis , Dimos V. Dimarogonas , Mircea Lazar , Sofie Haesaert

The core of the Model Predictive Control (MPC) method in every step of the algorithm consists in solving a time-dependent optimization problem on the prediction horizon of the MPC algorithm, and then to apply a portion of the optimal…

Optimization and Control · Mathematics 2021-01-15 Alessandro Alla , Carmen Gräßle , Michael Hinze

In this paper, we present a data-driven distributed model predictive control (MPC) scheme to stabilise the origin of dynamically coupled discrete-time linear systems subject to decoupled input constraints. The local optimisation problems…

Systems and Control · Electrical Eng. & Systems 2023-08-14 Matthias Köhler , Julian Berberich , Matthias A. Müller , Frank Allgöwer

We present a stochastic model predictive control (MPC) method for linear discrete-time systems subject to possibly unbounded and correlated additive stochastic disturbance sequences. Chance constraints are treated in analogy to robust MPC…

Systems and Control · Computer Science 2019-01-23 Lukas Hewing , Kim P. Wabersich , Melanie N. Zeilinger

In this paper, we propose a distributed model predictive control (DMPC) scheme for linear time-invariant constrained systems which admit a separable structure. To exploit the merits of distributed computation algorithms, the stabilizing…

Optimization and Control · Mathematics 2018-03-22 Georgios Darivianakis , Annika Eichler , John Lygeros

Reducing the computation time of model predictive control (MPC) is important, especially for systems constrained by many state constraints. In this paper, we propose a new online constraint removal framework for linear systems, for which we…

Optimization and Control · Mathematics 2023-08-29 S. A. N. Nouwens , M. M. Paulides , W. P. M. H. Heemels