Set propagation techniques for reachability analysis

M Althoff, G Frehse, A Girard - Annual Review of Control …, 2021 - annualreviews.org
Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …

Linear tracking MPC for nonlinear systems—Part II: The data-driven case

J Berberich, J Köhler, MA Müller… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
In this article, we present a novel data-driven model predictive control (MPC) approach to
control unknown nonlinear systems using only measured input–output data with closed-loop …

Control of nonlinear systems under dynamic constraints: A unified barrier function-based approach

K Zhao, Y Song, CLP Chen, L Chen - Automatica, 2020 - Elsevier
Although there are fruitful results on adaptive control of constrained parametric/
nonparametric strict-feedback nonlinear systems, most of them are contingent upon …

Stochastic model predictive control with a safety guarantee for automated driving

T Brüdigam, M Olbrich, D Wollherr… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
Automated vehicles require efficient and safe planning to maneuver in uncertain
environments. Largely this uncertainty is caused by other traffic participants, eg, surrounding …

Model predictive control for micro aerial vehicles: A survey

H Nguyen, M Kamel, K Alexis… - 2021 European Control …, 2021 - ieeexplore.ieee.org
This paper presents a review of the design and application of model predictive control
strategies for Micro Aerial Vehicles and specifically multirotor configurations such as …

Comparison of guaranteed state estimators for linear time-invariant systems

M Althoff, JJ Rath - Automatica, 2021 - Elsevier
Guaranteed state estimation computes the set of possible states of dynamical systems given
the bounds of model uncertainties, disturbances, and noises. For the first time, we evaluate …

Provably safe reinforcement learning via action projection using reachability analysis and polynomial zonotopes

N Kochdumper, H Krasowski, X Wang… - IEEE Open Journal …, 2023 - ieeexplore.ieee.org
While reinforcement learning produces very promising results for many applications, its main
disadvantage is the lack of safety guarantees, which prevents its use in safety-critical …

Provably safe reinforcement learning: Conceptual analysis, survey, and benchmarking

H Krasowski, J Thumm, M Müller, L Schäfer… - … on Machine Learning …, 2023 - openreview.net
Ensuring the safety of reinforcement learning (RL) algorithms is crucial to unlock their
potential for many real-world tasks. However, vanilla RL and most safe RL approaches do …

Linear tracking MPC for nonlinear systems—Part I: The model-based case

J Berberich, J Köhler, MA Müller… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
In this article, we develop a tracking model predictive control (MPC) scheme for nonlinear
systems using the linearized dynamics at the current state as a prediction model. Under …

Review on set‐theoretic methods for safety verification and control of power system

Y Zhang, Y Li, K Tomsovic… - IET Energy Systems …, 2020 - Wiley Online Library
Increasing penetration of renewable energy introduces significant uncertainty into power
systems. Traditional simulation‐based verification methods may not be applicable due to the …