Set propagation techniques for reachability analysis
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 …
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
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 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
Although there are fruitful results on adaptive control of constrained parametric/
nonparametric strict-feedback nonlinear systems, most of them are contingent upon …
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 …
environments. Largely this uncertainty is caused by other traffic participants, eg, surrounding …
Model predictive control for micro aerial vehicles: A survey
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 …
strategies for Micro Aerial Vehicles and specifically multirotor configurations such as …
Comparison of guaranteed state estimators for linear time-invariant systems
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 …
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
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 …
disadvantage is the lack of safety guarantees, which prevents its use in safety-critical …
Provably safe reinforcement learning: Conceptual analysis, survey, and benchmarking
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 …
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
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 …
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
Increasing penetration of renewable energy introduces significant uncertainty into power
systems. Traditional simulation‐based verification methods may not be applicable due to the …
systems. Traditional simulation‐based verification methods may not be applicable due to the …