All you need to know about model predictive control for buildings

J Drgoňa, J Arroyo, IC Figueroa, D Blum… - Annual Reviews in …, 2020 - Elsevier
It has been proven that advanced building control, like model predictive control (MPC), can
notably reduce the energy use and mitigate greenhouse gas emissions. However, despite …

On multi-parametric programming and its applications in process systems engineering

R Oberdieck, NA Diangelakis, I Nascu… - … research and design, 2016 - Elsevier
In multi-parametric programming, an optimization problem is solved for a range and as a
function of multiple parameters. In this review, we discuss the main developments of multi …

Formal certification methods for automated vehicle safety assessment

T Zhao, E Yurtsever, JA Paulson… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Challenges related to automated driving are no longer focused on just the construction of
such automated vehicles (AVs) but also on assuring the safety of operation. Recent …

Pop–parametric optimization toolbox

R Oberdieck, NA Diangelakis… - Industrial & …, 2016 - ACS Publications
In this paper, we describe POP, a MATLAB toolbox for parametric optimization. It features (a)
efficient implementations of multiparametric programming problem solvers for …

Experimental validation of safe mpc for autonomous driving in uncertain environments

I Batkovic, A Gupta, M Zanon… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
The full deployment of autonomous driving systems on a worldwide scale requires that the
self-driving vehicle can be operated in a provably safe manner, ie, the vehicle must be able …

Self-triggered MPC with performance guarantee using relaxed dynamic programming

L Lu, JM Maciejowski - Automatica, 2020 - Elsevier
This paper presents a self-triggered MPC controller design strategy for linear systems with
state and input constraints. Based on the so-called relaxed dynamic programming …

Forward stochastic reachability analysis for uncontrolled linear systems using fourier transforms

AP Vinod, B HomChaudhuri, MMK Oishi - Proceedings of the 20th …, 2017 - dl.acm.org
We propose a scalable method for forward stochastic reachability analysis for uncontrolled
linear systems with affine disturbance. Our method uses Fourier transforms to efficiently …

Reachability analysis plus satisfiability modulo theories: An adversary-proof control method for connected and autonomous vehicles

Q Xu, Y Liu, J Pan, J Wang, J Wang… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Connected and autonomous vehicles (CAVs) are expected to operate with safety guarantee
in presence of adversaries from the Internet of Vehicles. This article proposes a control …

[HTML][HTML] Conditional scenario-based model predictive control

E González, J Sanchis, JV Salcedo… - Journal of the Franklin …, 2023 - Elsevier
This paper proposes a novel MPC approach called conditional scenario-based model
predictive control (CSB-MPC), developed for discrete-time linear systems affected by …

Real-time tunable approximated explicit MPC

J Oravec, M Klaučo - Automatica, 2022 - Elsevier
Tunability is a major obstacle in the creation and subsequent application of the explicit
model predictive control (MPC). The main bottleneck lies in the need to reconstruct the …