English
Related papers

Related papers: Experiments in Verification of Linear Model Predic…

200 papers

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

The linear programming (LP) approach is, together with value iteration and policy iteration, one of the three fundamental methods to solve optimal control problems in a dynamic programming setting. Despite its simple formulation,…

Systems and Control · Electrical Eng. & Systems 2023-10-31 Lucia Falconi , Andrea Martinelli , John Lygeros

Model predictive control offers a powerful framework for managing constrained systems, but its repeated online optimization can become computationally prohibitive. Multiparametric programming addresses this challenge by precomputing optimal…

Optimization and Control · Mathematics 2026-03-19 Lida Lamakani , Efstratios N. Pistikopoulos

Based on our recent research on neural heuristic quantization systems, we propose an emulation problem consistent with the neuromimetic paradigm. This optimal quantization problem can be solved with model predictive control (MPC) by…

Systems and Control · Electrical Eng. & Systems 2023-05-08 Zexin Sun , John Baillieul

The use of quantum computing to accelerate complex optimization problems is a burgeoning research field. This paper applies Quantum Linear System Algorithms (QLSAs) to Newton systems within Interior Point Methods (IPMs) to take advantage of…

Optimization and Control · Mathematics 2025-07-08 Mohammadhossein Mohammadisiahroudi , Ramin Fakhimi , Zeguan Wu , Tamás Terlaky

Model Predictive Control (MPC) is effective at generating safe control strategies in constrained scenarios, at the cost of computational complexity. This is especially the case in robots that require high sampling rates and have limited…

Current paradigms for code verification rely heavily on external mechanisms-such as execution-based unit tests or auxiliary LLM judges-which are often labor-intensive or limited by the judging model's own capabilities. This raises a…

Software Engineering · Computer Science 2026-02-10 Yicheng He , Zheng Zhao , Zhou Kaiyu , Bryan Dai , Jie Fu , Yonghui Yang

In-Memory Computing (IMC) introduces a new paradigm of computation that offers high efficiency in terms of latency and power consumption for AI accelerators. However, the non-idealities and defects of emerging technologies used in advanced…

We propose a nonlinear model predictive control (NMPC) framework based on a direct optimal control method that ensures continuous-time constraint satisfaction and accurate evaluation of the running cost, without compromising computational…

Optimization and Control · Mathematics 2024-05-02 Samet Uzun , Purnanand Elango , Abhinav G. Kamath , Taewan Kim , Behcet Acikmese

Model Predictive Control (MPC) is a successful control methodology, which is applied to increasingly complex systems. However, real-time feasibility of MPC can be challenging for complex systems, certainly when an (extremely) large number…

Systems and Control · Electrical Eng. & Systems 2024-10-25 S. A. N. Nouwens , B. de Jager , M. M. Paulides , W. P. M. H. Heemels

We present an algorithm for steering the output of a linear system from a feasible initial condition to a desired target position, while satisfying input constraints and non-convex output constraints. The system input is generated by a…

Systems and Control · Computer Science 2017-12-05 Claus Danielson , Avishai Weiss , Karl Berntorp , Stefano Di Cairano

Model Predictive Control (MPC) is a powerful framework for optimal control but can be too slow for low-latency applications. We present a data-driven framework to accelerate MPC by replacing online optimization with a nonparametric policy…

Systems and Control · Electrical Eng. & Systems 2026-05-20 Agustin Castellano , Shijie Pan , Enrique Mallada

Model predictive control is a powerful framework for enabling optimal control of constrained systems. However, for systems that are described by high-dimensional state spaces this framework can be too computationally demanding for real-time…

Systems and Control · Electrical Eng. & Systems 2020-08-24 Joseph Lorenzetti , Marco Pavone

Recent work in imitation learning has shown that having an expert controller that is both suitably smooth and stable enables stronger guarantees on the performance of the learned controller. However, constructing such smoothed expert…

Systems and Control · Electrical Eng. & Systems 2024-10-02 Daniel Pfrommer , Swati Padmanabhan , Kwangjun Ahn , Jack Umenberger , Tobia Marcucci , Zakaria Mhammedi , Ali Jadbabaie

Discrete Optimal Transport problems give rise to very large linear programs (LP) with a particular structure of the constraint matrix. In this paper we present a hybrid algorithm that mixes an interior point method (IPM) and column…

Optimization and Control · Mathematics 2023-05-15 Filippo Zanetti , Jacek Gondzio

Nonlinear Model Predictive Control (NMPC) is a general and flexible control approach, used in many industrial contexts, and is based on the online solution of a nonlinear optimization problem. This operation requires in general a high…

Systems and Control · Electrical Eng. & Systems 2024-11-06 Carlo Novara , Mattia Boggio , Deborah Volpe

We establish an algorithm to learn feedback maps from data for a class of robust model predictive control (MPC) problems. The algorithm accounts for the approximation errors due to the learning directly at the synthesis stage, ensuring…

Optimization and Control · Mathematics 2025-10-16 Siddhartha Ganguly , Shubham Gupta , Debasish Chatterjee

The development of control methods based on data has seen a surge of interest in recent years. When applying data-driven controllers in real-world applications, providing theoretical guarantees for the closed-loop system is of crucial…

Systems and Control · Electrical Eng. & Systems 2025-12-23 Julian Berberich , Frank Allgöwer

In this paper, we propose a novel online optimization algorithm built by combining ideas from control theory and system identification. The foundation of our algorithm is a control-based design that makes use of the internal model of the…

Optimization and Control · Mathematics 2025-11-26 Wouter J. A. van Weerelt , Lantian Zhang , Silun Zhang , Nicola Bastianello

In this paper, a self-triggered adaptive model predictive control (MPC) algorithm is proposed for constrained discrete-time nonlinear systems subject to parametric uncertainties and additive disturbances. To bound the parametric…

Optimization and Control · Mathematics 2019-12-17 Kunwu Zhang , Changxin Liu , Yang Shi
‹ Prev 1 8 9 10 Next ›