arXiv subjects

Anne Koch

Publications and source records attributed to Anne Koch.

12 recordsLinked to original sources

arXiv2021

Data-Driven Reachability Analysis from Noisy Data

We consider the problem of computing reachable sets directly from noisy data without a given system model. Several reachability algorithms are presented for different types of systems generating the data. First, an algorithm for computing over-approximated reachable sets based on matrix zonotopes is proposed for linear systems. Constrained matrix zonotopes are introduced to provide less conservative reachable sets at the cost of increased computational expenses and utilized to incorporate prior knowledge about the unknown system model. Then we extend the approach to polynomial systems and, under the assumption of Lipschitz continuity, to nonlinear systems. Theoretical guarantees are given for these algorithms in that they give a proper over-approximate reachable set containing the true reachable set. Multiple numerical examples and real experiments show the applicability of the introduced algorithms, and comparisons are made between algorithms.

eess.SY↗

arXiv2021

Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems

Based on the Fundamental Lemma by Willems et al., the entire behaviour of a Linear Time-Invariant (LTI) system can be characterised by a single data sequence of the system as long the input is persistently exciting. This is an essential result for data-driven analysis and control. In this work, we aim to generalise this LTI result to Linear Parameter-Varying (LPV) systems. Based on the behavioural framework for LPV systems, we prove that one can obtain a result similar to Willems'. Based on an LPV representation, i.e., embedding, of nonlinear systems, this allows the application of the Fundamental Lemma for systems beyond the linear class.

eess.SY↗

arXiv2021

Robust and optimal predictive control of the COVID-19 outbreak

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.

q-bio.PE↗

arXiv2021

Data-Driven Controller Design via Finite-Horizon Dissipativity

Given one open-loop measured trajectory of a single-input single-output discrete-time linear time-invariant system, we present a framework for data-driven controller design for closed-loop finite-horizon dissipativity. First, we parametrize all closed-loop trajectories using the given data of the plant and a model of the controller. We then provide an approach to validate the controller by verifying closed-loop dissipativity in the standard feedback loop based on this parametrization. We use these conditions to design controllers leading to closed-loop dissipativity based on a quadratic matrix inequality feasibility problem. Finally, the results are illustrated with a simulation example.

eess.SY↗

arXiv2020

Offset-free setpoint tracking using neural network controllers

In this paper, we present a method to analyze local and global stability in offset-free setpoint tracking using neural network controllers and we provide ellipsoidal inner approximations of the corresponding region of attraction. We consider a feedback interconnection of a linear plant in connection with a neural network controller and an integrator, which allows for offset-free tracking of a desired piecewise constant reference that enters the controller as an external input. Exploiting the fact that activation functions used in neural networks are slope-restricted, we derive linear matrix inequalities to verify stability using Lyapunov theory. After stating a global stability result, we present less conservative local stability conditions (i) for a given reference and (ii) for any reference from a certain set. The latter result even enables guaranteed tracking under setpoint changes using a reference governor which can lead to a significant increase of the region of attraction. Finally, we demonstrate the applicability of our analysis by verifying stability and offset-free tracking of a neural network controller that was trained to stabilize a linearized inverted pendulum.

eess.SY↗

arXiv2020

Data-Driven Reachability Analysis Using Matrix Zonotopes

In this paper, we propose a data-driven reachability analysis approach for unknown system dynamics. Reachability analysis is an essential tool for guaranteeing safety properties. However, most current reachability analysis heavily relies on the existence of a suitable system model, which is often not directly available in practice. We instead propose a data-driven reachability analysis approach from noisy data. More specifically, we first provide an algorithm for over-approximating the reachable set of a linear time-invariant system using matrix zonotopes. Then we introduce an extension for Lipschitz nonlinear systems. We provide theoretical guarantees in both cases. Numerical examples show the potential and applicability of the introduced methods.

eess.SY↗

arXiv2020

Provably robust verification of dissipativity properties from data

Dissipativity properties have proven to be very valuable for systems analysis and controller design. With the rising amount of available data, there has therefore been an increasing interest in determining dissipativity properties from (measured) trajectories directly, while an explicit model of the system remains undisclosed. Most existing approaches for data-driven dissipativity, however, guarantee the dissipativity condition only over a finite time horizon and provide weak or no guarantees on robustness in the presence of noise. In this paper, we present a framework for verifying dissipativity properties from measured data with desirable guarantees. We first consider the case of input-state measurements, where we provide non-conservative and computationally attractive conditions in the presence of noise. We extend this approach to input-output data, where similar results hold in the noise-free case. We then provide results for the noisy input-output data case, which is particularly challenging. Finally, we apply the proposed approach in a real-world experiment and illustrate its applicability and advantages compared to established methods based on system identification.

eess.SY↗

arXiv2020

Sampling Strategies for Data-Driven Inference of Input-Output System Properties

Due to their relevance in controller design, we consider the problem of determining the $\mathcal{L}^2$-gain, passivity properties and conic relations of an input-output system. While, in practice, the input-output relation is often undisclosed, input-output data tuples can be sampled by performing (numerical) experiments. Hence, we present sampling strategies for discrete time and continuous time linear time-invariant systems to iteratively determine the $\mathcal{L}^2$-gain, the shortage of passivity and the cone with minimal radius that the input-output relation is confined to. These sampling strategies are based on gradient dynamical systems and saddle point flows to solve the reformulated optimization problems, where the gradients can be evaluated from only input-output data samples. This leads us to evolution equations, whose convergence properties are then discussed in continuous time and discrete time.

eess.SY↗

arXiv2020

Training robust neural networks using Lipschitz bounds

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.

cs.LG↗

arXiv2020

Verifying dissipativity properties from noise-corrupted input-state data

There exists a vast amount of literature how dissipativity properties can be exploited to design controllers for stability and performance guarantees for the closed loop. With the rising availability of data, there has therefore been an increasing interest in determining dissipativity properties from data as a means for data-driven systems analysis and control with rigorous guarantees. Most existing approaches, however, consider dissipativity properties that hold only over a finite horizon and mostly only qualitative statements can be made in the presence of noisy data. In this work, we present a novel approach to determine dissipativity of linear time-invariant systems from data where we inherently consider properties that hold over the infinite horizon. Furthermore, we provide rigorous guarantees in the case of noisy state measurements.

eess.SY↗

arXiv2020

Determining optimal input-output properties: A data-driven approach

Due to their relevance in systems analysis and (robust) controller design, we consider the problem of determining control-theoretic system properties of an a priori unknown system from data only. More specifically, we introduce a necessary and sufficient condition for a discrete-time linear time-invariant system to satisfy a given integral quadratic constraint (IQC) over a finite time horizon using only one input-output trajectory of finite length. Furthermore, for certain classes of IQCs, we provide convex optimization problems in form of semidefinite programs (SDPs) to retrieve the optimal, i.e. the tightest, system property description that is satisfied by the unknown system. Finally, we provide bounds on the difference between finite and infinite horizon IQCs and illustrate the effectiveness of the proposed scheme in a variety of simulation studies including noisy measurements and a high dimensional system.

eess.SY↗

arXiv2019

Model-Free Practical Cooperative Control for Diffusively Coupled Systems

In this paper, we develop a data-based controller design framework for diffusively coupled systems with guaranteed convergence to an $\epsilon$-neighborhood of the desired formation. The controller is comprised of a fixed controller with an adjustable gain on each edge. Via passivity theory and network optimization we not only prove that there exists a gain attaining the desired formation control goal, but we present a data-based method to find an upper bound on this gain. Furthermore, by allowing for additional experiments, the conservatism of the upper bound can be reduced via iterative sampling schemes. The introduced scheme is based on the assumption of passive systems, which we relax by discussing different methods for estimating the systems' passivity shortage, as well as applying transformations passivizing them. Finally, we illustrate the developed model-free cooperative control scheme with a case study.

eess.SY↗