arXiv subjects

Rolf Findeisen

Publications and source records attributed to Rolf Findeisen.

63 records · Page 4Linked to original sources

arXiv2019

Scalable and Data Privacy Conserving Controller Tuning for Large-Scale Power Networks

The increasing share of renewable generation leads to new challenges in reliable power system operation, such as the rising volatility of power generation, which leads to time-varying dynamics and behavior of the system. To counteract the changing dynamics, we propose to adapt the parameters of existing controllers to the changing conditions. Doing so, however, is challenging, as large power systems often involve multiple subsystem operators, which, for safety and privacy reasons, do not want to exchange detailed information about their subsystems. Furthermore, centralized tuning of structured controllers for large-scale systems, such as power networks, is often computationally very challenging. For this reason, we present a hierarchical decentralized approach for controller tuning, which increases data security and scalability. The proposed method is based on the exchange of structured reduced models of subsystems, which conserves data privacy and reduces computational complexity. For this purpose, suitable methods for model reduction and model matching are introduced. Furthermore, we demonstrate how increased renewable penetration leads to time-varying dynamics on the IEEE 68 bus power system, which underlines the importance of the problem. Then, we apply the proposed approach on simulation studies to show its effectiveness. As shown, a similar system performance as with a centralized method can be obtained. Finally, we show the scalability of the approach on a large power system with more than 2500 states and about 1500 controller parameters.

eess.SY↗

arXiv2017

Comments on Truncation Errors for Polynomial Chaos Expansions

Methods based on polynomial chaos expansion allow to approximate the behavior of systems with uncertain parameters by deterministic dynamics. These methods are used in a wide range of applications, spanning from simulation of uncertain systems to estimation and control. For practical purposes the exploited spectral series expansion is typically truncated to allow for efficient computation, which leads to approximation errors. Despite the Hilbert space nature of polynomial chaos, there are only a few results in the literature that explicitly discuss and quantify these approximation errors. This work derives error bounds for polynomial chaos approximations of polynomial and non-polynomial mappings. Sufficient conditions are established, which allow investigating the question whether zero truncation errors can be achieved and which series order is required to achieve this. Furthermore, convex quadratic programs, whose argmin operator is a special case of a piecewise polynomial mapping, are studied due to their relevance in predictive control. Several simulation examples illustrate our findings.

eess.SY↗

arXiv2017

Modeling metabolic networks including gene expression and uncertainties

Constraint based methods, such as the Flux Balance Analysis, are widely used to model cellular growth processes without relying on extensive information on the regulatory features. The regulation is instead substituted by an optimization problem usually aiming at maximal biomass accumulation. A recent extension to these methods called the dynamic enzyme-cost Flux Balance Analysis (deFBA) is a fully dynamic modeling method allowing for the prediction of necessary enzyme levels under changing environmental conditions. However, this method was designed for deterministic settings in which all dynamics, parameters, etc. are exactly known. In this work, we present a theoretical framework extending the deFBA to handle uncertainties and provide a robust solution. We use the ideas from multi-stage nonlinear Model Predictive Control (MPC) and its feature to represent the evolution of uncertainties by an exponentially growing scenario tree. While this representation is able to construct a deterministic optimization problem in the presence of uncertainties, the computational cost also increases exponentially. We counter this by using a receding prediction horizon and reshape the standard deFBA to the short-time deFBA (sdeFBA). This leads us, along with further simplification of the scenario tree, to the robust deFBA (rdeFBA). This framework is capable of handling the uncertainties in the model itself as well as uncertainties experienced by the modeled system. We applied these algorithms to two case-studies: a minimal enzymatic nutrient uptake network, and the abstraction of the core metabolic process in bacteria.

math.OC↗

arXiv2016

Implementation of Nonlinear Model Predictive Path-Following Control for an Industrial Robot

Many robotic applications, such as milling, gluing, or high precision measurements, require the exact following of a pre-defined geometric path. In this paper, we investigate the real-time feasible implementation of model predictive path-following control for an industrial robot. We consider constrained output path following with and without reference speed assignment. We present results from an implementation of the proposed model predictive path-following controller on a KUKA LWR IV robot.

eess.SY↗

arXiv2015

Nonlinear Model Predictive Control for Constrained Output Path Following

We consider the tracking of geometric paths in output spaces of nonlinear systems subject to input and state constraints without pre-specified timing requirements. Such problems are commonly referred to as constrained output path-following problems. Specifically, we propose a predictive control approach to constrained path-following problems with and without velocity assignments and provide sufficient convergence conditions based on terminal regions and end penalties. Furthermore, we analyze the geometric nature of constrained output path-following problems and thereby provide insight into the computation of suitable terminal control laws and terminal regions. We draw upon an example from robotics to illustrate our findings.

eess.SY↗

arXiv2013

Probabilistic and Set-based Model Invalidation and Estimation using LMIs

Probabilistic and set-based methods are two approaches for model invalidation, parameter and state estimation. Both classes of methods use different types of data, i.e. deterministic or probabilistic data, which allow different statements and applications. Ideally, however, all available data should be used in estimation and model invalidation methods. This paper presents an estimation and model invalidation framework combining set-based and probabilistically uncertain data for polynomial continuous-time systems. In particular, uncertain data on the moments and the support is used without the need to make explicit assumptions on the type of probability densities. The paper derives pointwise-in-time outer approximations of the moments of the probability densities associated with the states and parameters of the system. These approximations can be interpreted as guaranteed confidence intervals for the moment estimates. Furthermore, guaranteed bounds on the probability masses on subsets are derived and allow an estimation of the unknown probability densities. To calculate the estimates, the dynamics of the probability densities of the state trajectories are found by occupation measures of the nonlinear dynamics. This allows the construction of an infinite-dimensional linear program which incorporates the set- and moment-based data. This linear program is relaxed by a hierarchy of LMI problems providing, as shown elsewhere, an almost uniformly convergent sequence of outer approximations of the estimated sets. The approach is demonstrated with numerical examples.

math.OC↗

arXiv2013

Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations

Obtaining initial conditions and parameterizations leading to a model consistent with available measurements or safety specifications is important for many applications. Examples include model (in-)validation, prediction, fault diagnosis, and controller design. We present an approach to determine inner- and outer-approximations of the set containing all consistent initial conditions/parameterizations for nonlinear continuous-time systems. These approximations are found by occupation measures that encode the system dynamics and measurements, and give rise to an infinite-dimensional linear program. We exploit the flexibility and linearity of the decision problem to incorporate uncertain-but-bounded and pointwise-in-time state and output constraints, a feature which was not addressed in previous works. The infinite-dimensional linear program is relaxed by a hierarchy of LMI problems that provide certificates in case no consistent initial condition/parameterization exists. Furthermore, the applied LMI relaxation guarantees that the approximations converge (almost uniformly) to the true consistent set. We illustrate the approach with a biochemical reaction network involving unknown initial conditions and parameters.

math.OC↗

arXiv2011

Robustness of Prediction Based Delay Compensation for Nonlinear Systems

Control of systems where the information between the controller, actuator, and sensor can be lost or delayed can be challenging with respect to stability and performance. One way to overcome the resulting problems is the use of prediction based compensation schemes. Instead of a single input, a sequence of (predicted) future controls is submitted and implemented at the actuator. If suitable, so-called prediction consistent compensation and control schemes, such as certain predictive control approaches, are used, stability of the closed loop in the presence of delays and packet losses can be guaranteed. In this paper, we show that control schemes employing prediction based delay compensation approaches do posses inherent robustness properties. Specifically, if the nominal closed loop system without delay compensation is ISS with respect to perturbation and measurement errors, then the closed loop system employing prediction based delay compensation techniques is robustly stable. We analyze the influence of the prediction horizon on the robustness gains and illustrate the results in simulation.

math.OC↗

arXiv2009

Global Sensitivity Analysis of Biochemical Reaction Networks via Semidefinite Programming

We study the problem of computing outer bounds for the region of steady states of biochemical reaction networks modelled by ordinary differential equations, with respect to parameters that are allowed to vary within a predefined region. Using a relaxed version of the corresponding feasibility problem and its Lagrangian dual, we show how to compute certificates for regions in state space not containing any steady states. Based on these results, we develop an algorithm to compute outer bounds for the region of all feasible steady states. We apply our algorithm to the sensitivity analysis of a Goldbeter--Koshland enzymatic cycle, which is a frequent motif in reaction networks for regulation of metabolism and signal transduction.

q-bio.MN↗