-
Kernel-based error bounds of bilinear Koopman surrogate models for nonlinear data-driven control
Authors:
Robin Strässer,
Manuel Schaller,
Julian Berberich,
Karl Worthmann,
Frank Allgöwer
Abstract:
We derive novel deterministic bounds on the approximation error of data-based bilinear surrogate models for unknown nonlinear systems. The surrogate models are constructed using kernel-based extended dynamic mode decomposition to approximate the Koopman operator in a reproducing kernel Hilbert space. Unlike previous methods that require restrictive assumptions on the invariance of the dictionary,…
▽ More
We derive novel deterministic bounds on the approximation error of data-based bilinear surrogate models for unknown nonlinear systems. The surrogate models are constructed using kernel-based extended dynamic mode decomposition to approximate the Koopman operator in a reproducing kernel Hilbert space. Unlike previous methods that require restrictive assumptions on the invariance of the dictionary, our approach leverages kernel-based dictionaries that allow us to control the projection error via pointwise error bounds, overcoming a significant limitation of existing theoretical guarantees. The derived state- and input-dependent error bounds allow for direct integration into Koopman-based robust controller designs with closed-loop guarantees for the unknown nonlinear system. Numerical examples illustrate the effectiveness of the proposed framework.
△ Less
Submitted 20 June, 2025; v1 submitted 17 March, 2025;
originally announced March 2025.
-
Bringing Quantum Systems under Control: A Tutorial Invitation to Quantum Computing and Its Relation to Bilinear Control Systems
Authors:
Julian Berberich,
Robert L. Kosut,
Thomas Schulte-Herbrüggen
Abstract:
Quantum computing comes with the potential to push computational boundaries in various domains including, e.g., cryptography, simulation, optimization, and machine learning. Exploiting the principles of quantum mechanics, new algorithms can be developed with capabilities that are unprecedented by classical computers. However, the experimental realization of quantum devices is an active field of re…
▽ More
Quantum computing comes with the potential to push computational boundaries in various domains including, e.g., cryptography, simulation, optimization, and machine learning. Exploiting the principles of quantum mechanics, new algorithms can be developed with capabilities that are unprecedented by classical computers. However, the experimental realization of quantum devices is an active field of research with enormous open challenges, including robustness against noise and scalability. While systems and control theory plays a crucial role in tackling these challenges, the principles of quantum physics lead to a (perceived) high entry barrier for entering the field of quantum computing. This tutorial paper aims at lowering the barrier by introducing basic concepts required to understand and solve research problems in quantum systems. First, we introduce fundamentals of quantum algorithms, ranging from basic ingredients such as qubits and quantum logic gates to prominent examples and more advanced concepts, e.g., variational quantum algorithms. Next, we formalize some engineering questions for building quantum devices in the real world, which requires the careful manipulation of microscopic quantities obeying quantum effects. To this end for N-level systems, we introduce basic concepts of (bilinear) quantum systems and control theory including controllability, observability, and optimal control in a unified frame. Finally, we address the problem of noise in real-world quantum systems via robust quantum control, which relies on a set-membership uncertainty description frequently employed in control.
△ Less
Submitted 1 December, 2024;
originally announced December 2024.
-
Koopman-based control of nonlinear systems with closed-loop guarantees
Authors:
Robin Strässer,
Julian Berberich,
Manuel Schaller,
Karl Worthmann,
Frank Allgöwer
Abstract:
In this paper, we provide a tutorial overview and an extension of a recently developed framework for data-driven control of unknown nonlinear systems with rigorous closed-loop guarantees. The proposed approach relies on the Koopman operator representation of the nonlinear system, for which a bilinear surrogate model is estimated based on data. In contrast to existing Koopman-based estimation proce…
▽ More
In this paper, we provide a tutorial overview and an extension of a recently developed framework for data-driven control of unknown nonlinear systems with rigorous closed-loop guarantees. The proposed approach relies on the Koopman operator representation of the nonlinear system, for which a bilinear surrogate model is estimated based on data. In contrast to existing Koopman-based estimation procedures, we state guaranteed bounds on the approximation error using the stability- and certificate-oriented extended dynamic mode decomposition (SafEDMD) framework. The resulting surrogate model and the uncertainty bounds allow us to design controllers via robust control theory and sum-of-squares optimization, guaranteeing desirable properties for the closed-loop system. We present results on stabilization both in discrete and continuous time, and we derive a method for controller design with performance objectives. The benefits of the presented framework over established approaches are demonstrated with a numerical example.
△ Less
Submitted 18 March, 2025; v1 submitted 15 November, 2024;
originally announced November 2024.
-
Koopman-based control using sum-of-squares optimization: Improved stability guarantees and data efficiency
Authors:
Robin Strässer,
Julian Berberich,
Frank Allgöwer
Abstract:
In this paper, we propose a novel controller design approach for unknown nonlinear systems using the Koopman operator. In particular, we use the recently proposed stability- and certificate-oriented extended dynamic mode decomposition (SafEDMD) architecture to generate a data-driven bilinear surrogate model with certified error bounds. Then, by accounting for the obtained error bounds in a control…
▽ More
In this paper, we propose a novel controller design approach for unknown nonlinear systems using the Koopman operator. In particular, we use the recently proposed stability- and certificate-oriented extended dynamic mode decomposition (SafEDMD) architecture to generate a data-driven bilinear surrogate model with certified error bounds. Then, by accounting for the obtained error bounds in a controller design based on the bilinear system, one can guarantee closed-loop stability for the true nonlinear system. While existing approaches over-approximate the bilinearity of the surrogate model, thus introducing conservatism and providing only local guarantees, we explicitly account for the bilinearity by using sum-of-squares (SOS) optimization in the controller design. More precisely, we parametrize a rational controller stabilizing the error-affected bilinear surrogate model and, consequently, the underlying nonlinear system. The resulting SOS optimization problem provides explicit data-driven controller design conditions for unknown nonlinear systems based on semidefinite programming. Our approach significantly reduces conservatism by establishing a larger region of attraction and improved data efficiency. The proposed method is evaluated using numerical examples, demonstrating its advantages over existing approaches.
△ Less
Submitted 14 March, 2025; v1 submitted 6 November, 2024;
originally announced November 2024.
-
Data-driven MPC with terminal conditions in the Koopman framework
Authors:
Karl Worthmann,
Robin Strässer,
Manuel Schaller,
Julian Berberich,
Frank Allgöwer
Abstract:
We investigate nonlinear model predictive control (MPC) with terminal conditions in the Koopman framework using extended dynamic mode decomposition (EDMD) to generate a data-based surrogate model for prediction and optimization. We rigorously show recursive feasibility and prove practical asymptotic stability w.r.t. the approximation accuracy. To this end, finite-data error bounds are employed. Th…
▽ More
We investigate nonlinear model predictive control (MPC) with terminal conditions in the Koopman framework using extended dynamic mode decomposition (EDMD) to generate a data-based surrogate model for prediction and optimization. We rigorously show recursive feasibility and prove practical asymptotic stability w.r.t. the approximation accuracy. To this end, finite-data error bounds are employed. The construction of the terminal conditions is based on recently derived proportional error bounds to ensure the required Lyapunov decrease. Finally, we illustrate the effectiveness of the proposed data-driven predictive controller including the design procedure to construct the terminal region and controller.
△ Less
Submitted 22 August, 2024;
originally announced August 2024.
-
Robustness of optimal quantum annealing protocols
Authors:
Niklas Funcke,
Julian Berberich
Abstract:
Noise in quantum computing devices poses a key challenge in their realization. In this paper, we study the robustness of optimal quantum annealing protocols against coherent control errors, which are multiplicative Hamlitonian errors causing detrimental effects on current quantum devices. We show that the norm of the Hamiltonian quantifies the robustness against these errors, motivating the introd…
▽ More
Noise in quantum computing devices poses a key challenge in their realization. In this paper, we study the robustness of optimal quantum annealing protocols against coherent control errors, which are multiplicative Hamlitonian errors causing detrimental effects on current quantum devices. We show that the norm of the Hamiltonian quantifies the robustness against these errors, motivating the introduction of an additional regularization term in the cost function. We analyze the optimality conditions of the resulting robust quantum optimal control problem based on Pontryagin's maximum principle, showing that robust protocols admit larger smooth annealing sections. This suggests that quantum annealing admits improved robustness in comparison to bang-bang solutions such as the quantum approximate optimization algorithm. Finally, we perform numerical simulations to verify our analytical results and demonstrate the improved robustness of the proposed approach.
△ Less
Submitted 16 September, 2024; v1 submitted 13 August, 2024;
originally announced August 2024.
-
An overview of systems-theoretic guarantees in data-driven model predictive control
Authors:
Julian Berberich,
Frank Allgöwer
Abstract:
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 importance to ensure reliable operation. In this review, we provide an overview of data-driven model predictive control (MPC) methods for controlling unknown systems…
▽ More
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 importance to ensure reliable operation. In this review, we provide an overview of data-driven model predictive control (MPC) methods for controlling unknown systems with guarantees on systems-theoretic properties such as stability, robustness, and constraint satisfaction. The considered approaches rely on the Fundamental Lemma from behavioral theory in order to predict input-output trajectories directly from data. We cover various setups, ranging from linear systems and noise-free data to more realistic formulations with noise and nonlinearities, and we provide an overview of different techniques to ensure guarantees for the closed-loop system. Moreover, we discuss avenues for future research that may further improve the theoretical understanding and practical applicability of data-driven MPC.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Adaptive tracking MPC for nonlinear systems via online linear system identification
Authors:
Tatiana Strelnikova,
Johannes Köhler,
Julian Berberich
Abstract:
This paper presents an adaptive tracking model predictive control (MPC) scheme to control unknown nonlinear systems based on an adaptively estimated linear model. The model is determined based on linear system identification using a moving window of past measurements, and it serves as a local approximation of the underlying nonlinear dynamics. We prove that the presented scheme ensures practical e…
▽ More
This paper presents an adaptive tracking model predictive control (MPC) scheme to control unknown nonlinear systems based on an adaptively estimated linear model. The model is determined based on linear system identification using a moving window of past measurements, and it serves as a local approximation of the underlying nonlinear dynamics. We prove that the presented scheme ensures practical exponential stability of the (unknown) optimal reachable equilibrium for a given output setpoint. Finally, we apply the proposed scheme in simulation and compare it to an alternative direct data-driven MPC scheme based on the Fundamental Lemma.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Using quantum computers in control: interval matrix properties
Authors:
Jan Schneider,
Julian Berberich
Abstract:
Quantum computing provides a powerful framework for tackling computational problems that are classically intractable. The goal of this paper is to explore the use of quantum computers for solving relevant problems in systems and control theory. In the recent literature, different quantum algorithms have been developed to tackle binary optimization, which plays an important role in various control-…
▽ More
Quantum computing provides a powerful framework for tackling computational problems that are classically intractable. The goal of this paper is to explore the use of quantum computers for solving relevant problems in systems and control theory. In the recent literature, different quantum algorithms have been developed to tackle binary optimization, which plays an important role in various control-theoretic problems. As a prototypical example, we consider the verification of interval matrix properties such as non-singularity and stability on a quantum computer. We present a quantum algorithm solving these problems and we study its performance in simulation. Our results demonstrate that quantum computers provide a promising tool for control whose applicability to further computationally complex problems remains to be explored.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems
Authors:
Robin Strässer,
Manuel Schaller,
Karl Worthmann,
Julian Berberich,
Frank Allgöwer
Abstract:
The Koopman operator serves as the theoretical backbone for machine learning of dynamical control systems, where the operator is heuristically approximated by extended dynamic mode decomposition (EDMD). In this paper, we propose SafEDMD, a novel stability- and certificate-oriented EDMD-based controller design framework. Our approach leverages a reliable surrogate model generated in a data-driven f…
▽ More
The Koopman operator serves as the theoretical backbone for machine learning of dynamical control systems, where the operator is heuristically approximated by extended dynamic mode decomposition (EDMD). In this paper, we propose SafEDMD, a novel stability- and certificate-oriented EDMD-based controller design framework. Our approach leverages a reliable surrogate model generated in a data-driven fashion in order to provide closed-loop guarantees. In particular, we establish a controller design based on semi-definite programming with guaranteed stabilization of the underlying nonlinear system. As central ingredient, we derive proportional error bounds that vanish at the origin and are tailored to control tasks. We illustrate the developed method by means of several benchmark examples and highlight the advantages over state-of-the-art methods.
△ Less
Submitted 25 April, 2025; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Koopman-based feedback design with stability guarantees
Authors:
Robin Strässer,
Manuel Schaller,
Karl Worthmann,
Julian Berberich,
Frank Allgöwer
Abstract:
We present a method to design a state-feedback controller ensuring exponential stability for nonlinear systems using only measurement data. Our approach relies on Koopman-operator theory and uses robust control to explicitly account for approximation errors due to finitely many data samples. To simplify practical usage across various applications, we provide a tutorial-style exposition of the feed…
▽ More
We present a method to design a state-feedback controller ensuring exponential stability for nonlinear systems using only measurement data. Our approach relies on Koopman-operator theory and uses robust control to explicitly account for approximation errors due to finitely many data samples. To simplify practical usage across various applications, we provide a tutorial-style exposition of the feedback design and its stability guarantees for single-input systems. Moreover, we extend this controller design to multi-input systems and more flexible nonlinear state-feedback controllers using gain-scheduling techniques to increase the guaranteed region of attraction. As the proposed controller design is framed as a semidefinite program, it allows for an efficient solution. Further, we enhance the geometry of the region of attraction through a heuristic algorithm that establishes a connection between the employed Koopman lifting and the dynamics of the system. Finally, we validate the proposed feedback design procedure by means of numerical examples.
△ Less
Submitted 3 May, 2024; v1 submitted 3 December, 2023;
originally announced December 2023.
-
Training robust and generalizable quantum models
Authors:
Julian Berberich,
Daniel Fink,
Daniel Pranjić,
Christian Tutschku,
Christian Holm
Abstract:
Adversarial robustness and generalization are both crucial properties of reliable machine learning models. In this paper, we study these properties in the context of quantum machine learning based on Lipschitz bounds. We derive parameter-dependent Lipschitz bounds for quantum models with trainable encoding, showing that the norm of the data encoding has a crucial impact on the robustness against d…
▽ More
Adversarial robustness and generalization are both crucial properties of reliable machine learning models. In this paper, we study these properties in the context of quantum machine learning based on Lipschitz bounds. We derive parameter-dependent Lipschitz bounds for quantum models with trainable encoding, showing that the norm of the data encoding has a crucial impact on the robustness against data perturbations. Further, we derive a bound on the generalization error which explicitly involves the parameters of the data encoding. Our theoretical findings give rise to a practical strategy for training robust and generalizable quantum models by regularizing the Lipschitz bound in the cost. Further, we show that, for fixed and non-trainable encodings, as those frequently employed in quantum machine learning, the Lipschitz bound cannot be influenced by tuning the parameters. Thus, trainable encodings are crucial for systematically adapting robustness and generalization during training. The practical implications of our theoretical findings are illustrated with numerical results.
△ Less
Submitted 23 May, 2024; v1 submitted 20 November, 2023;
originally announced November 2023.
-
Quantum computing through the lens of control: A tutorial introduction
Authors:
Julian Berberich,
Daniel Fink
Abstract:
Quantum computing is a fascinating interdisciplinary research field that promises to revolutionize computing by efficiently solving previously intractable problems. Recent years have seen tremendous progress on both the experimental realization of quantum computing devices as well as the development and implementation of quantum algorithms. Yet, realizing computational advantages of quantum comput…
▽ More
Quantum computing is a fascinating interdisciplinary research field that promises to revolutionize computing by efficiently solving previously intractable problems. Recent years have seen tremendous progress on both the experimental realization of quantum computing devices as well as the development and implementation of quantum algorithms. Yet, realizing computational advantages of quantum computers in practice remains a widely open problem due to numerous fundamental challenges. Interestingly, many of these challenges are connected to performance, robustness, scalability, optimization, or feedback, all of which are central concepts in control theory. This paper provides a tutorial introduction to quantum computing from the perspective of control theory. We introduce the mathematical framework of quantum algorithms ranging from basic elements including quantum bits and quantum gates to more advanced concepts such as variational quantum algorithms and quantum errors. The tutorial only requires basic knowledge of linear algebra and, in particular, no prior exposure to quantum physics. Our main goal is to equip readers with the mathematical basics required to understand and possibly solve (control-related) problems in quantum computing. In particular, beyond the tutorial introduction, we provide a list of research challenges in the field of quantum computing and discuss their connections to control.
△ Less
Submitted 3 December, 2024; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Control of bilinear systems using gain-scheduling: Stability and performance guarantees
Authors:
Robin Strässer,
Julian Berberich,
Frank Allgöwer
Abstract:
In this paper, we present a state-feedback controller design method for bilinear systems. To this end, we write the bilinear system as a linear fractional representation by interpreting the state in the bilinearity as a structured uncertainty. Based on that, we derive convex conditions in terms of linear matrix inequalities for the controller design, which are efficiently solvable by semidefinite…
▽ More
In this paper, we present a state-feedback controller design method for bilinear systems. To this end, we write the bilinear system as a linear fractional representation by interpreting the state in the bilinearity as a structured uncertainty. Based on that, we derive convex conditions in terms of linear matrix inequalities for the controller design, which are efficiently solvable by semidefinite programming. Further, we prove asymptotic stability and quadratic performance of the resulting closed-loop system locally in a predefined region. The proposed design uses gain-scheduling techniques and results in a state feedback with rational dependence on the state, which can substantially reduce conservatism and improve performance in comparison to a simpler, linear state feedback. Moreover, the design method is easily adaptable to various scenarios due to its modular formulation in the robust control framework. Finally, we apply the developed approaches to numerical examples and illustrate the benefits of the approach.
△ Less
Submitted 12 September, 2023; v1 submitted 10 April, 2023;
originally announced April 2023.
-
Robust data-driven control for nonlinear systems using the Koopman operator
Authors:
Robin Strässer,
Julian Berberich,
Frank Allgöwer
Abstract:
Data-driven analysis and control of dynamical systems have gained a lot of interest in recent years. While the class of linear systems is well studied, theoretical results for nonlinear systems are still rare. In this paper, we present a data-driven controller design method for discrete-time control-affine nonlinear systems. Our approach relies on the Koopman operator, which is a linear but infini…
▽ More
Data-driven analysis and control of dynamical systems have gained a lot of interest in recent years. While the class of linear systems is well studied, theoretical results for nonlinear systems are still rare. In this paper, we present a data-driven controller design method for discrete-time control-affine nonlinear systems. Our approach relies on the Koopman operator, which is a linear but infinite-dimensional operator lifting the nonlinear system to a higher-dimensional space. Particularly, we derive a linear fractional representation of a lifted bilinear system representation based on measured data. Further, we restrict the lifting to finite dimensions, but account for the truncation error using a finite-gain argument. We derive a linear matrix inequality based design procedure to guarantee robust local stability for the resulting bilinear system for all error terms satisfying the finite-gain bound and, thus, also for the underlying nonlinear system. Finally, we apply the developed design method to the nonlinear Van der Pol oscillator.
△ Less
Submitted 9 May, 2023; v1 submitted 7 April, 2023;
originally announced April 2023.
-
Robustness of quantum algorithms against coherent control errors
Authors:
Julian Berberich,
Daniel Fink,
Christian Holm
Abstract:
Coherent control errors, for which ideal Hamiltonians are perturbed by unknown multiplicative noise terms, are a major obstacle for reliable quantum computing. In this paper, we present a framework for analyzing the robustness of quantum algorithms against coherent control errors using Lipschitz bounds. We derive worst-case fidelity bounds which show that the resilience against coherent control er…
▽ More
Coherent control errors, for which ideal Hamiltonians are perturbed by unknown multiplicative noise terms, are a major obstacle for reliable quantum computing. In this paper, we present a framework for analyzing the robustness of quantum algorithms against coherent control errors using Lipschitz bounds. We derive worst-case fidelity bounds which show that the resilience against coherent control errors is mainly influenced by the norms of the Hamiltonians generating the individual gates. These bounds are explicitly computable even for large circuits, and they can be used to guarantee fault-tolerance via threshold theorems. Moreover, we apply our theoretical framework to derive a novel guideline for robust quantum algorithm design and transpilation, which amounts to reducing the norms of the Hamiltonians. Using the $3$-qubit Quantum Fourier Transform as an example application, we demonstrate that this guideline targets robustness more effectively than existing ones based on circuit depth or gate count. Furthermore, we apply our framework to study the effect of parameter regularization in variational quantum algorithms. The practicality of the theoretical results is demonstrated via implementations in simulation and on a quantum computer.
△ Less
Submitted 3 December, 2024; v1 submitted 1 March, 2023;
originally announced March 2023.
-
A well-balanced Active Flux method for the shallow water equations with wetting and drying
Authors:
Wasilij Barsukow,
Jonas P. Berberich
Abstract:
Active Flux is a third order accurate numerical method which evolves cell averages and point values at cell interfaces independently. It naturally uses a continuous reconstruction, but is stable when applied to hyperbolic problems. In this work, the Active Flux method is extended for the first time to a nonlinear hyperbolic system of balance laws, namely to the shallow water equations with bottom…
▽ More
Active Flux is a third order accurate numerical method which evolves cell averages and point values at cell interfaces independently. It naturally uses a continuous reconstruction, but is stable when applied to hyperbolic problems. In this work, the Active Flux method is extended for the first time to a nonlinear hyperbolic system of balance laws, namely to the shallow water equations with bottom topography. We demonstrate how to achieve an Active Flux method that is well-balanced, positivity preserving, and allows for dry states in one spatial dimension. Because of the continuous reconstruction all these properties are achieved using new approaches. To maintain third order accuracy, we also propose a novel high-order approximate evolution operator for the update of the point values. A variety of test problems demonstrates the good performance of the method even in presence of shocks.
△ Less
Submitted 5 December, 2022;
originally announced December 2022.
-
A quantitative and constructive proof of Willems' Fundamental Lemma and its implications
Authors:
Julian Berberich,
Andrea Iannelli,
Alberto Padoan,
Jeremy Coulson,
Florian Dörfler,
Frank Allgöwer
Abstract:
Willems' Fundamental Lemma provides a powerful data-driven parametrization of all trajectories of a controllable linear time-invariant system based on one trajectory with persistently exciting (PE) input. In this paper, we present a novel proof of this result which is inspired by the classical adaptive control literature and differs from existing proofs in multiple aspects. The proof involves a qu…
▽ More
Willems' Fundamental Lemma provides a powerful data-driven parametrization of all trajectories of a controllable linear time-invariant system based on one trajectory with persistently exciting (PE) input. In this paper, we present a novel proof of this result which is inspired by the classical adaptive control literature and differs from existing proofs in multiple aspects. The proof involves a quantitative and directional PE notion, allowing to characterize robust PE properties via singular value bounds, as opposed to binary rank-based PE conditions. Further, the proof is constructive, i.e., we derive an explicit PE lower bound for the generated data. As a contribution of independent interest, we generalize existing PE results from the adaptive control literature and reveal a crucial role of the system's zeros.
△ Less
Submitted 7 March, 2023; v1 submitted 1 August, 2022;
originally announced August 2022.
-
Stability in data-driven MPC: an inherent robustness perspective
Authors:
Julian Berberich,
Johannes Köhler,
Matthias A. Müller,
Frank Allgöwer
Abstract:
Data-driven model predictive control (DD-MPC) based on Willems' Fundamental Lemma has received much attention in recent years, allowing to control systems directly based on an implicit data-dependent system description. The literature contains many successful practical applications as well as theoretical results on closed-loop stability and robustness. In this paper, we provide a tutorial introduc…
▽ More
Data-driven model predictive control (DD-MPC) based on Willems' Fundamental Lemma has received much attention in recent years, allowing to control systems directly based on an implicit data-dependent system description. The literature contains many successful practical applications as well as theoretical results on closed-loop stability and robustness. In this paper, we provide a tutorial introduction to DD-MPC for unknown linear time-invariant (LTI) systems with focus on (robust) closed-loop stability. We first address the scenario of noise-free data, for which we present a DD-MPC scheme with terminal equality constraints and derive closed-loop properties. In case of noisy data, we introduce a simple yet powerful approach to analyze robust stability of DD-MPC by combining continuity of DD-MPC w.r.t. noise with inherent robustness of model-based MPC, i.e., robustness of nominal MPC w.r.t. small disturbances. Moreover, we discuss how the presented proof technique allows to show closed-loop stability of a variety of DD-MPC schemes with noisy data, as long as the corresponding model-based MPC is inherently robust.
△ Less
Submitted 25 August, 2022; v1 submitted 24 May, 2022;
originally announced May 2022.
-
Practical exponential stability of a robust data-driven nonlinear predictive control scheme
Authors:
Mohammad Alsalti,
Victor G. Lopez,
Julian Berberich,
Frank Allgöwer,
Matthias A. Müller
Abstract:
We provide theoretical guarantees for recursive feasibility and practical exponential stability of the closed-loop system of a feedback linearizable nonlinear system when controlled by a robust data-driven nonlinear predictive control scheme. This technical report serves as a supplementary material to our recent paper "Data-driven Nonlinear Predictive Control for Feedback Linearizable Systems". Th…
▽ More
We provide theoretical guarantees for recursive feasibility and practical exponential stability of the closed-loop system of a feedback linearizable nonlinear system when controlled by a robust data-driven nonlinear predictive control scheme. This technical report serves as a supplementary material to our recent paper "Data-driven Nonlinear Predictive Control for Feedback Linearizable Systems". The arguments shown in this report follow similar steps to those for the LTI case, since feedback linearizable systems are linear in transformed coordinates. However, the proof was suitably adapted to match the nonlinear setting under consideration, and the differences are emphasized throughout the proof.
△ Less
Submitted 27 March, 2023; v1 submitted 3 April, 2022;
originally announced April 2022.
-
Data-based Control of Feedback Linearizable Systems
Authors:
Mohammad Alsalti,
Victor G. Lopez,
Julian Berberich,
Frank Allgöwer,
Matthias A. Müller
Abstract:
We present an extension of Willems' Fundamental Lemma to the class of multi-input multi-output discrete-time feedback linearizable nonlinear systems, thus providing a data-based representation of their input-output trajectories. Two sources of uncertainty are considered. First, the unknown linearizing input is inexactly approximated by a set of basis functions. Second, the measured output data is…
▽ More
We present an extension of Willems' Fundamental Lemma to the class of multi-input multi-output discrete-time feedback linearizable nonlinear systems, thus providing a data-based representation of their input-output trajectories. Two sources of uncertainty are considered. First, the unknown linearizing input is inexactly approximated by a set of basis functions. Second, the measured output data is contaminated by additive noise. Further, we propose an approach to approximate the solution of the data-based simulation and output matching problems, and show that the difference from the true solution is bounded. Finally, the results are illustrated on an example of a fully-actuated double inverted pendulum.
△ Less
Submitted 16 March, 2023; v1 submitted 3 April, 2022;
originally announced April 2022.
-
State space models vs. multi-step predictors in predictive control: Are state space models complicating safe data-driven designs?
Authors:
Johannes Köhler,
Kim P. Wabersich,
Julian Berberich,
Melanie N. Zeilinger
Abstract:
This paper contrasts recursive state space models and direct multi-step predictors for linear predictive control. We provide a tutorial exposition for both model structures to solve the following problems: 1. stochastic optimal control; 2. system identification; 3. stochastic optimal control based on the estimated model. Throughout the paper, we provide detailed discussions of the benefits and lim…
▽ More
This paper contrasts recursive state space models and direct multi-step predictors for linear predictive control. We provide a tutorial exposition for both model structures to solve the following problems: 1. stochastic optimal control; 2. system identification; 3. stochastic optimal control based on the estimated model. Throughout the paper, we provide detailed discussions of the benefits and limitations of these two model parametrizations for predictive control and highlight the relation to existing works. Additionally, we derive a novel (partially tight) constraint tightening for stochastic predictive control with parametric uncertainty in the multi-step predictor.
△ Less
Submitted 6 October, 2023; v1 submitted 29 March, 2022;
originally announced March 2022.
-
A novel constraint tightening approach for robust data-driven predictive control
Authors:
Christian Klöppelt,
Julian Berberich,
Frank Allgöwer,
Matthias A. Müller
Abstract:
In this paper, we present a data-driven model predictive control (MPC) scheme that is capable of stabilizing unknown linear time-invariant systems under the influence of process disturbances. To this end, Willems' lemma is used to predict the future behavior of the system. This allows the entire scheme to be set up using only a priori measured data and knowledge of an upper bound on the system ord…
▽ More
In this paper, we present a data-driven model predictive control (MPC) scheme that is capable of stabilizing unknown linear time-invariant systems under the influence of process disturbances. To this end, Willems' lemma is used to predict the future behavior of the system. This allows the entire scheme to be set up using only a priori measured data and knowledge of an upper bound on the system order. First, we develop a state-feedback MPC scheme, based on input-state data, which guarantees closed-loop practical exponential stability and recursive feasibility as well as closed-loop constraint satisfaction. The scheme is extended by a suitable constraint tightening, which can also be constructed using only data. In order to control a priori unstable systems, the presented scheme contains a pre-stabilizing controller and an associated input constraint tightening. We first present the proposed data-driven MPC scheme for the case of full state measurements, and also provide extensions for obtaining similar closed-loop guarantees in case of output feedback. The presented scheme is applied to a numerical example.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Data-driven distributed MPC of dynamically coupled linear systems
Authors:
Matthias Köhler,
Julian Berberich,
Matthias A. Müller,
Frank Allgöwer
Abstract:
In this paper, we present a data-driven distributed model predictive control (MPC) scheme to stabilise the origin of dynamically coupled discrete-time linear systems subject to decoupled input constraints. The local optimisation problems solved by the subsystems rely on a distributed adaptation of the Fundamental Lemma by Willems et al., allowing to parametrise system trajectories using only measu…
▽ More
In this paper, we present a data-driven distributed model predictive control (MPC) scheme to stabilise the origin of dynamically coupled discrete-time linear systems subject to decoupled input constraints. The local optimisation problems solved by the subsystems rely on a distributed adaptation of the Fundamental Lemma by Willems et al., allowing to parametrise system trajectories using only measured input-output data without explicit model knowledge. For the local predictions, the subsystems rely on communicated assumed trajectories of neighbours. Each subsystem guarantees a small deviation from these trajectories via a consistency constraint. We provide a theoretical analysis of the resulting non-iterative distributed MPC scheme, including proofs of recursive feasibility and (practical) stability. Finally, the approach is successfully applied to a numerical example.
△ Less
Submitted 11 August, 2023; v1 submitted 25 February, 2022;
originally announced February 2022.
-
On the Active Flux scheme for hyperbolic PDEs with source terms
Authors:
Wasilij Barsukow,
Jonas P. Berberich,
Christian Klingenberg
Abstract:
The Active Flux scheme is a Finite Volume scheme with additional point values distributed along the cell boundary. It is third order accurate and does not require a Riemann solver: the continuous reconstruction serves as initial data for the evolution of the points values. The intercell flux is then obtained from the evolved values along the cell boundary by quadrature. This paper focuses on the c…
▽ More
The Active Flux scheme is a Finite Volume scheme with additional point values distributed along the cell boundary. It is third order accurate and does not require a Riemann solver: the continuous reconstruction serves as initial data for the evolution of the points values. The intercell flux is then obtained from the evolved values along the cell boundary by quadrature. This paper focuses on the conceptual extension of Active Flux to include source terms, and thus for simplicity assumes the homogeneous part of the equations to be linear. To a large part, the treatment of the source terms is independent of the choice of the homogeneous part of the system. Additionally, only systems are considered which admit characteristics (instead of characteristic cones). This is the case for scalar equations in any number of spatial dimensions and systems in one spatial dimension. Here, we succeed to extend the Active Flux method to include (possibly nonlinear) source terms while maintaining third order accuracy of the method. This requires a novel (approximate) operator for the evolution of point values and a modified update procedure of the cell average. For linear acoustics with gravity, it is shown how to achieve a well-balanced / stationarity preserving numerical method.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
Data-driven model predictive control: closed-loop guarantees and experimental results
Authors:
Julian Berberich,
Johannes Köhler,
Matthias A. Müller,
Frank Allgöwer
Abstract:
We provide a comprehensive review and practical implementation of a recently developed model predictive control (MPC) framework for controlling unknown systems using only measured data and no explicit model knowledge. Our approach relies on an implicit system parametrization from behavioral systems theory based on one measured input-output trajectory. The presented MPC schemes guarantee closed-loo…
▽ More
We provide a comprehensive review and practical implementation of a recently developed model predictive control (MPC) framework for controlling unknown systems using only measured data and no explicit model knowledge. Our approach relies on an implicit system parametrization from behavioral systems theory based on one measured input-output trajectory. The presented MPC schemes guarantee closed-loop stability for unknown linear time-invariant (LTI) systems, even if the data are affected by noise. Further, we extend this MPC framework to control unknown nonlinear systems by continuously updating the data-driven system representation using new measurements. The simple and intuitive applicability of our approach is demonstrated with a nonlinear four-tank system in simulation and in an experiment.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Linear tracking MPC for nonlinear systems Part II: The data-driven case
Authors:
Julian Berberich,
Johannes Köhler,
Matthias A. Müller,
Frank Allgöwer
Abstract:
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 stability guarantees. Our scheme relies on the data-driven system parametrization provided by the Fundamental Lemma of Willems et al. We use new input-output measurements online to update the data, exploiting local linear approximations…
▽ More
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 stability guarantees. Our scheme relies on the data-driven system parametrization provided by the Fundamental Lemma of Willems et al. We use new input-output measurements online to update the data, exploiting local linear approximations of the underlying system. We prove that our MPC scheme, which only requires solving strictly convex quadratic programs online, ensures that the closed loop (practically) converges to the (unknown) optimal reachable equilibrium that tracks a desired output reference while satisfying polytopic input constraints. As intermediate results of independent interest, we extend the Fundamental Lemma to affine systems and we derive novel robustness bounds w.r.t. noisy data for the open-loop optimal control problem, which are directly transferable to other data-driven MPC schemes in the literature. The applicability of our approach is illustrated with a numerical application to a continuous stirred tank reactor.
△ Less
Submitted 14 April, 2022; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Linear tracking MPC for nonlinear systems Part I: The model-based case
Authors:
Julian Berberich,
Johannes Köhler,
Matthias A. Müller,
Frank Allgöwer
Abstract:
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 reasonable assumptions on the linearized dynamics, we prove that the proposed MPC scheme exponentially stabilizes the optimal reachable equilibrium w.r.t. a desired target setpoint. Our theoretical results rely on the fact that, close to…
▽ More
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 reasonable assumptions on the linearized dynamics, we prove that the proposed MPC scheme exponentially stabilizes the optimal reachable equilibrium w.r.t. a desired target setpoint. Our theoretical results rely on the fact that, close to the steady-state manifold, the prediction error of the linearization is small and hence, we can slide along the steady-state manifold towards the optimal reachable equilibrium. The closed-loop stability properties mainly depend on a cost matrix which allows us to trade off performance, robustness, and the size of the region of attraction. In an application to a nonlinear continuous stirred tank reactor, we show that the scheme, which only requires solving a convex quadratic program online, has comparable performance to a nonlinear MPC scheme while being computationally significantly more efficient. Further, our results provide the basis for controlling nonlinear systems based on data-dependent linear prediction models, which we explore in our companion paper.
△ Less
Submitted 14 April, 2022; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Robust stability analysis of a simple data-driven model predictive control approach
Authors:
Joscha Bongard,
Julian Berberich,
Johannes Köhler,
Frank Allgöwer
Abstract:
In this paper, we provide a theoretical analysis of closed-loop properties of a simple data-driven model predictive control (MPC) scheme. The formulation does not involve any terminal ingredients, thus allowing for a simple implementation without (potential) feasibility issues. The proposed approach relies on an implicit description of linear time-invariant systems based on behavioral systems theo…
▽ More
In this paper, we provide a theoretical analysis of closed-loop properties of a simple data-driven model predictive control (MPC) scheme. The formulation does not involve any terminal ingredients, thus allowing for a simple implementation without (potential) feasibility issues. The proposed approach relies on an implicit description of linear time-invariant systems based on behavioral systems theory, which only requires one input-output trajectory of an unknown system. For the nominal case with noise-free data, we prove that the data-driven MPC scheme ensures exponential stability for the closed loop if the prediction horizon is sufficiently long. Moreover, we analyze the robust data-driven MPC scheme for noisy output measurements for which we prove closed-loop practical exponential stability. The advantages of the presented approach are illustrated with a numerical example.
△ Less
Submitted 14 April, 2022; v1 submitted 1 March, 2021;
originally announced March 2021.
-
Well-balanced treatment of gravity in astrophysical fluid dynamics simulations at low Mach numbers
Authors:
P. V. F. Edelmann,
L. Horst,
J. P. Berberich,
R. Andrassy,
J. Higl,
G. Leidi,
C. Klingenberg,
F. K. Roepke
Abstract:
Accurate simulations of flows in stellar interiors are crucial to improving our understanding of stellar structure and evolution. Because the typically slow flows are merely tiny perturbations on top of a close balance between gravity and the pressure gradient, such simulations place heavy demands on numerical hydrodynamics schemes. We demonstrate how discretization errors on grids of reasonable s…
▽ More
Accurate simulations of flows in stellar interiors are crucial to improving our understanding of stellar structure and evolution. Because the typically slow flows are merely tiny perturbations on top of a close balance between gravity and the pressure gradient, such simulations place heavy demands on numerical hydrodynamics schemes. We demonstrate how discretization errors on grids of reasonable size can lead to spurious flows orders of magnitude faster than the physical flow. Well-balanced numerical schemes can deal with this problem. Three such schemes were applied in the implicit, finite-volume Seven-League Hydro (SLH) code in combination with a low-Mach-number numerical flux function. We compare how the schemes perform in four numerical experiments addressing some of the challenges imposed by typical problems in stellar hydrodynamics. We find that the $α$-$β$ and deviation well-balancing methods can accurately maintain hydrostatic solutions provided that gravitational potential energy is included in the total energy balance. They accurately conserve minuscule entropy fluctuations advected in an isentropic stratification, which enables the methods to reproduce the expected scaling of convective flow speed with the heating rate. The deviation method also substantially increases accuracy of maintaining stationary orbital motions in a Keplerian disk on long timescales. The Cargo-LeRoux method fares substantially worse in our tests, although its simplicity may still offer some merits in certain situations. Overall, we find the well-balanced treatment of gravity in combination with low Mach number flux functions essential to reproducing correct physical solutions to challenging stellar slow-flow problems on affordable collocated grids.
△ Less
Submitted 8 July, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
On the design of terminal ingredients for data-driven MPC
Authors:
Julian Berberich,
Johannes Köhler,
Matthias A. Müller,
Frank Allgöwer
Abstract:
We present a model predictive control (MPC) scheme to control linear time-invariant systems using only measured input-output data and no model knowledge. The scheme includes a terminal cost and a terminal set constraint on an extended state containing past input-output values. We provide an explicit design procedure for the corresponding terminal ingredients that only uses measured input-output da…
▽ More
We present a model predictive control (MPC) scheme to control linear time-invariant systems using only measured input-output data and no model knowledge. The scheme includes a terminal cost and a terminal set constraint on an extended state containing past input-output values. We provide an explicit design procedure for the corresponding terminal ingredients that only uses measured input-output data. Further, we prove that the MPC scheme based on these terminal ingredients exponentially stabilizes the desired setpoint in closed loop. Finally, we illustrate the advantages over existing data-driven MPC approaches with a numerical example.
△ Less
Submitted 25 May, 2021; v1 submitted 14 January, 2021;
originally announced January 2021.
-
Data-Driven Control of Nonlinear Systems: Beyond Polynomial Dynamics
Authors:
Robin Strässer,
Julian Berberich,
Frank Allgöwer
Abstract:
In this paper, we present a data-driven controller design method for continuous-time nonlinear systems, using no model knowledge but only measured data affected by noise. While most existing approaches focus on systems with polynomial dynamics, our approach allows to design controllers for unknown systems with rational or general non-polynomial dynamics. We first derive a data-driven parametrizati…
▽ More
In this paper, we present a data-driven controller design method for continuous-time nonlinear systems, using no model knowledge but only measured data affected by noise. While most existing approaches focus on systems with polynomial dynamics, our approach allows to design controllers for unknown systems with rational or general non-polynomial dynamics. We first derive a data-driven parametrization of unknown nonlinear systems with rational dynamics. By applying robust control techniques to this parametrization, we obtain sum-of-squares based criteria for designing controllers with closed-loop robust stability and performance guarantees for all systems which are consistent with the measured data and the assumed noise bound. We then apply this approach to control systems whose dynamics are linear in general non-polynomial basis functions by transforming them into polynomial systems. Finally, we apply the developed approaches to numerical examples.
△ Less
Submitted 22 September, 2021; v1 submitted 23 November, 2020;
originally announced November 2020.
-
Data-driven analysis and control of continuous-time systems under aperiodic sampling
Authors:
Julian Berberich,
Stefan Wildhagen,
Michael Hertneck,
Frank Allgöwer
Abstract:
We investigate stability analysis and controller design of unknown continuous-time systems under state-feedback with aperiodic sampling, using only noisy data but no model knowledge. We first derive a novel data-dependent parametrization of all linear time-invariant continuous-time systems which are consistent with the measured data and the assumed noise bound. Based on this parametrization and by…
▽ More
We investigate stability analysis and controller design of unknown continuous-time systems under state-feedback with aperiodic sampling, using only noisy data but no model knowledge. We first derive a novel data-dependent parametrization of all linear time-invariant continuous-time systems which are consistent with the measured data and the assumed noise bound. Based on this parametrization and by combining tools from robust control theory and the time-delay approach to sampled-data control, we compute lower bounds on the maximum sampling interval (MSI) for closed-loop stability under a given state-feedback gain, and beyond that, we design controllers which exhibit a possibly large MSI. Our methods guarantee the stability properties robustly for all systems consistent with the measured data. As a technical contribution, the proposed approach embeds existing methods for sampled-data control into a general robust control framework, which can be directly extended to model-based robust controller design for uncertain time-delay systems under general uncertainty descriptions.
△ Less
Submitted 6 May, 2021; v1 submitted 18 November, 2020;
originally announced November 2020.
-
Combining Prior Knowledge and Data for Robust Controller Design
Authors:
Julian Berberich,
Carsten W. Scherer,
Frank Allgöwer
Abstract:
We present a framework for systematically combining data of an unknown linear time-invariant system with prior knowledge on the system matrices or on the uncertainty for robust controller design. Our approach leads to linear matrix inequality (LMI) based feasibility criteria which guarantee stability and performance robustly for all closed-loop systems consistent with the prior knowledge and the a…
▽ More
We present a framework for systematically combining data of an unknown linear time-invariant system with prior knowledge on the system matrices or on the uncertainty for robust controller design. Our approach leads to linear matrix inequality (LMI) based feasibility criteria which guarantee stability and performance robustly for all closed-loop systems consistent with the prior knowledge and the available data. The design procedures rely on a combination of multipliers inferred via prior knowledge and learnt from measured data, where for the latter a novel and unifying disturbance description is employed. While large parts of the paper focus on linear systems and input-state measurements, we also provide extensions to robust output-feedback design based on noisy input-output data and against nonlinear uncertainties. We illustrate through numerical examples that our approach provides a flexible framework for simultaneously leveraging prior knowledge and data, thereby reducing conservatism and improving performance significantly if compared to black-box approaches to data-driven control.
△ Less
Submitted 19 September, 2022; v1 submitted 11 September, 2020;
originally announced September 2020.
-
Robust and optimal predictive control of the COVID-19 outbreak
Authors:
Johannes Köhler,
Lukas Schwenkel,
Anne Koch,
Julian Berberich,
Patricia Pauli,
Frank Allgöwer
Abstract:
We investigate adaptive strategies to robustly and optimally control the COVID-19 pandemic via social distancing measures based on the example of Germany. Our goal is to minimize the number of fatalities over the course of two years without inducing excessive social costs. We consider a tailored model of the German COVID-19 outbreak with different parameter sets to design and validate our approach…
▽ More
We investigate adaptive strategies to robustly and optimally control the COVID-19 pandemic via social distancing measures based on the example of Germany. Our goal is to minimize the number of fatalities over the course of two years without inducing excessive social costs. We consider a tailored model of the German COVID-19 outbreak with different parameter sets to design and validate our approach. Our analysis reveals that an open-loop optimal control policy can significantly decrease the number of fatalities when compared to simpler policies under the assumption of exact model knowledge. In a more realistic scenario with uncertain data and model mismatch, a feedback strategy that updates the policy weekly using model predictive control (MPC) leads to a reliable performance, even when applied to a validation model with deviant parameters. On top of that, we propose a robust MPC-based feedback policy using interval arithmetic that adapts the social distancing measures cautiously and safely, thus leading to a minimum number of fatalities even if measurements are inaccurate and the infection rates cannot be precisely specified by social distancing. Our theoretical findings support various recent studies by showing that 1) adaptive feedback strategies are required to reliably contain the COVID-19 outbreak, 2) well-designed policies can significantly reduce the number of fatalities compared to simpler ones while keeping the amount of social distancing measures on the same level, and 3) imposing stronger social distancing measures early on is more effective and cheaper in the long run than opening up too soon and restoring stricter measures at a later time.
△ Less
Submitted 8 February, 2021; v1 submitted 7 May, 2020;
originally announced May 2020.
-
Training robust neural networks using Lipschitz bounds
Authors:
Patricia Pauli,
Anne Koch,
Julian Berberich,
Paul Kohler,
Frank Allgöwer
Abstract:
Due to their susceptibility to adversarial perturbations, neural networks (NNs) are hardly used in safety-critical applications. One measure of robustness to such perturbations in the input is the Lipschitz constant of the input-output map defined by an NN. In this work, we propose a framework to train multi-layer NNs while at the same time encouraging robustness by keeping their Lipschitz constan…
▽ More
Due to their susceptibility to adversarial perturbations, neural networks (NNs) are hardly used in safety-critical applications. One measure of robustness to such perturbations in the input is the Lipschitz constant of the input-output map defined by an NN. In this work, we propose a framework to train multi-layer NNs while at the same time encouraging robustness by keeping their Lipschitz constant small, thus addressing the robustness issue. More specifically, we design an optimization scheme based on the Alternating Direction Method of Multipliers that minimizes not only the training loss of an NN but also its Lipschitz constant resulting in a semidefinite programming based training procedure that promotes robustness. We design two versions of this training procedure. The first one includes a regularizer that penalizes an accurate upper bound on the Lipschitz constant. The second one allows to enforce a desired Lipschitz bound on the NN at all times during training. Finally, we provide two examples to show that the proposed framework successfully increases the robustness of NNs.
△ Less
Submitted 15 September, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
High order discretely well-balanced methods for arbitrary hydrostatic atmospheres
Authors:
Jonas P. Berberich,
Roger Käppeli,
Praveen Chandrashekar,
Christian Klingenberg
Abstract:
We introduce novel high order well-balanced finite volume methods for the full compressible Euler system with gravity source term. They require no a priori knowledge of the hydrostatic solution which is to be well-balanced and are not restricted to certain classes of hydrostatic solutions. In one spatial dimension we construct a method that exactly balances a high order discretization of any hydro…
▽ More
We introduce novel high order well-balanced finite volume methods for the full compressible Euler system with gravity source term. They require no a priori knowledge of the hydrostatic solution which is to be well-balanced and are not restricted to certain classes of hydrostatic solutions. In one spatial dimension we construct a method that exactly balances a high order discretization of any hydrostatic state. The method is extended to two spatial dimensions using a local high order approximation of a hydrostatic state in each cell. The proposed simple, flexible, and robust methods are not restricted to a specific equation of state. Numerical tests verify that the proposed method improves the capability to accurately resolve small perturbations on hydrostatic states.
△ Less
Submitted 15 December, 2020; v1 submitted 4 May, 2020;
originally announced May 2020.
-
Entropy Stable Numerical Fluxes for Compressible Euler Equations which are Suitable for All Mach Numbers
Authors:
Jonas P. Berberich,
Christian Klingenberg
Abstract:
We propose two novel two-state approximate Riemann solvers for the compressible Euler equations which are provably entropy dissipative and suitable for the simulation of low Mach numbers. What is new, is that one of our two methods in addition is provably kinetic energy stable. Both methods are based on the entropy satisfying and kinetic energy consistent methods of Chandrashekar (2013). The low M…
▽ More
We propose two novel two-state approximate Riemann solvers for the compressible Euler equations which are provably entropy dissipative and suitable for the simulation of low Mach numbers. What is new, is that one of our two methods in addition is provably kinetic energy stable. Both methods are based on the entropy satisfying and kinetic energy consistent methods of Chandrashekar (2013). The low Mach number compliance is achieved by rescaling some speed of sound terms in the diffusion matrix in the spirit of Li & Gu (2008). In numerical tests we demonstrate the low Mach number compliance and the entropy stability of the proposed fluxes.
△ Less
Submitted 3 April, 2020;
originally announced April 2020.
-
Robust Constraint Satisfaction in Data-Driven MPC
Authors:
Julian Berberich,
Johannes Köhler,
Matthias A. Müller,
Frank Allgöwer
Abstract:
We propose a purely data-driven model predictive control (MPC) scheme to control unknown linear time-invariant systems with guarantees on stability and constraint satisfaction in the presence of noisy data. The scheme predicts future trajectories based on data-dependent Hankel matrices, which span the full system behavior if the input is persistently exciting. This paper extends previous work on d…
▽ More
We propose a purely data-driven model predictive control (MPC) scheme to control unknown linear time-invariant systems with guarantees on stability and constraint satisfaction in the presence of noisy data. The scheme predicts future trajectories based on data-dependent Hankel matrices, which span the full system behavior if the input is persistently exciting. This paper extends previous work on data-driven MPC by including a suitable constraint tightening which ensures that the closed-loop trajectory satisfies desired pointwise-in-time output constraints. Furthermore, we provide estimation procedures to compute system constants related to controllability and observability, which are required to implement the constraint tightening. The practicality of the proposed approach is illustrated via a numerical example.
△ Less
Submitted 24 March, 2021; v1 submitted 15 March, 2020;
originally announced March 2020.
-
High order well-balanced finite volume methods for multi-dimensional systems of hyperbolic balance laws
Authors:
Jonas P. Berberich,
Praveen Chandrashekar,
Christian Klingenberg
Abstract:
We introduce a general framework for the construction of well-balanced finite volume methods for hyperbolic balance laws. We use the phrase well-balancing in a broader sense, since our proposed method can be applied to exactly follow any solution of any system of hyperbolic balance laws in multiple spatial dimensions and not only time independent solutions. The solution has to be known a priori, e…
▽ More
We introduce a general framework for the construction of well-balanced finite volume methods for hyperbolic balance laws. We use the phrase well-balancing in a broader sense, since our proposed method can be applied to exactly follow any solution of any system of hyperbolic balance laws in multiple spatial dimensions and not only time independent solutions. The solution has to be known a priori, either as an analytical expression or as discrete data. The proposed framework modifies the standard finite volume approach such that the well-balancing property is obtained and in case the method is high order accurate, this is maintained under our modification. We present numerical tests for the compressible Euler equations with and without gravity source term and with different equations of state, and for the equations of compressible ideal magnetohydrodynamics.
△ Less
Submitted 3 August, 2020; v1 submitted 12 March, 2019;
originally announced March 2019.
-
Second order finite volume scheme for Euler equations with gravity which is well-balanced for general equations of state and grid systems
Authors:
Jonas P. Berberich,
Praveen Chandrashekar,
Christian Klingenberg,
Friedrich K. Röpke
Abstract:
We develop a second order well-balanced finite volume scheme for compressible Euler equations with a gravitational source term. The well-balanced property holds for arbitrary hydrostatic solutions of the corresponding Euler equations without any restriction on the equation of state. The hydrostatic solution must be known a priori either as an analytical formula or as a discrete solution at the gri…
▽ More
We develop a second order well-balanced finite volume scheme for compressible Euler equations with a gravitational source term. The well-balanced property holds for arbitrary hydrostatic solutions of the corresponding Euler equations without any restriction on the equation of state. The hydrostatic solution must be known a priori either as an analytical formula or as a discrete solution at the grid points. The scheme can be applied on curvilinear meshes and in combination with any consistent numerical flux function and time stepping routines. These properties are demonstrated on a range of numerical tests.
△ Less
Submitted 2 August, 2018; v1 submitted 31 July, 2018;
originally announced July 2018.
