arXiv subjects

Juraj Oravec

Publications and source records attributed to Juraj Oravec.

7 recordsLinked to original sources

arXiv2026

Safety and Security: Experimental Validation of Encrypted Model Predictive Control

In this paper, we revisit the problem of an encrypted model predictive control (MPC) design, representing a significant challenge in the recent field of secure process control. Existing methods in secure optimization-based control are non-existent and even partial implementation fails to address the closed-loop system stability and recursive feasibility properties of the constrained MPC. To overcome these limitations, we propose a novel approach that utilizes a polynomial approximation of the optimal control law. This method evaluates the explicit control law within a fully homomorphic encryption framework, ensuring that the controller is securely deployed on any third-party or cloud-based platform, with both process data and controller coefficients protected. Experimental results from a laboratory-scale implementation and validation of the proposed privacy-aware control method demonstrate its advantages.

eess.SY↗

arXiv2026

Feedback Synthesis for Nonlinear Systems Via Convex Control Lyapunov Functions

This paper introduces computationally efficient methods for synthesizing explicit piecewise affine (PWA) feedback laws for nonlinear discrete-time systems, ensuring robustness and performance guarantees. The approach proceeds by optimizing a configuration-constrained PWA approximation of the value function of an infinite-horizon min-max Hamilton-Jacobi-Bellman equation. Here, robustness and performance are maintained by enforcing the PWA approximation to be a generalized control Lyapunov function for the given nonlinear system. This enables the generation of feedback laws with configurable storage complexity and pre-determined evaluation times, based on a selected configuration template. The framework's effectiveness is demonstrated through a constrained Van der Pol oscillator case study, where an explicit PWA controller with certified ergodic performance and specified complexity is synthesized over a large operational domain.

math.OC↗

arXiv2024

Self-tunable approximated explicit MPC: Heat exchanger implementation and analysis

The tunable approximated explicit model predictive control (MPC) comes with the benefits of real-time tunability without the necessity of solving the optimization problem online. This paper provides a novel self-tunable control policy that does not require any interventions of the control engineer during operation in order to retune the controller subject to the changed working conditions. Based on the current operating conditions, the autonomous tuning parameter scales the control input using linear interpolation between the boundary optimal control actions. The adjustment of the tuning parameter depends on the current reference value, which makes this strategy suitable for reference tracking problems. Furthermore, a novel technique for scaling the tuning parameter is proposed. This extension provides to exploit different ranges of the tuning parameter assigned to specified operating conditions. The self-tunable explicit MPC was implemented on a laboratory heat exchanger with nonlinear and asymmetric behavior. The asymmetric behavior of the plant was compensated by tuning the controller's aggressiveness, as the negative or positive sign of reference change was considered in the tuning procedure. The designed self-tunable controller improved control performance by decreasing sum-of-squared control error, maximal overshoots/ undershoots, and settling time compared to the conventional control strategy based on a single (non-tunable) controller.

eess.SY↗

arXiv2023

A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability

Most of the real-time implementations of the stabilizing optimal control actions suffer from the necessity to provide high computational effort. This paper presents a cutting-edge approach for real-time evaluation of linear-quadratic model predictive control (MPC) that employs a novel generalized stopping criterion, achieving asymptotic stability in the presence of input constraints. The proposed method evaluates a fixed number of iterations independent of the initial condition, eliminating the necessity for computationally expensive methods. We demonstrate the effectiveness of the introduced technique by its implementation of two widely-used first-order optimization methods: the projected gradient descent method (PGDM) and the alternating directions method of multipliers (ADMM). The numerical simulation confirmed a significantly reduced number of iterations, resulting in suboptimality rates of less than 2\,\%, while the effort reductions exceeded 80\,\%. These results nominate the proposed criterion for an efficient real-time implementation method of MPC controllers.

eess.SY↗

arXiv2022

Parallel MPC for Linear Systems with State and Input Constraints

This paper proposes a parallelizable algorithm for linear-quadratic model predictive control (MPC) problems with state and input constraints. The algorithm itself is based on a parallel MPC scheme that has originally been designed for systems with input constraints. In this context, one contribution of this paper is the construction of time-varying yet separable constraint margins ensuring recursive feasibility and asymptotic stability of sub-optimal parallel MPC in a general setting, which also includes state constraints. Moreover, it is shown how to tradeoff online run-time guarantees versus the conservatism that is introduced by the tightened state constraints. The corresponding performance of the proposed method as well as the cost of the recursive feasibility guarantees is analyzed in the context of controlling a large-scale mechatronic system. This is illustrated by numerical experiments for a large-scale control system with more than 100 states and 60 control inputs leading to run-times in the millisecond range.

math.OC↗

arXiv2019

Parallel Explicit Tube Model Predictive Control

This paper is about a parallel algorithm for tube-based model predictive control. The proposed control algorithm solves robust model predictive control problems suboptimally, while exploiting their structure. This is achieved by implementing a real-time algorithm that iterates between the evaluation of piecewise affine functions, corresponding to the parametric solution of small-scale robust MPC problems, and the online solution of structured equality constrained QPs. The performance of the associated real-time robust MPC controllers is illustrated by a numerical case study.

math.OC↗

arXiv2019

Parallel Explicit Model Predictive Control

This paper is about a real-time model predictive control (MPC) algorithm for large-scale, structured linear systems with polytopic state and control constraints. The proposed controller receives the current state measurement as an input and computes a sub-optimal control reaction by evaluating a finite number of piecewise affine functions that correspond to the explicit solution maps of small-scale parametric quadratic programming (QP) problems. We provide recursive feasibility and asymptotic stability guarantees, which can both be verified offline. The feedback controller is suboptimal on purpose because we are enforcing real-time requirements assuming that it is impossible to solve the given large-scale QP in the given amount of time. In this context, a key contribution of this paper is that we provide a bound on the sub-optimality of the controller. Our numerical simulations illustrate that the proposed explicit real-time scheme easily scales up to systems with hundreds of states and long control horizons, system sizes that are completely out of the scope of existing, non-suboptimal Explicit MPC controllers.

math.OC↗