-
Fast and memory-efficient optimization for large-scale data-driven predictive control
Authors:
Philipp Schmitz,
Manuel Schaller,
Matthias Voigt,
Karl Worthmann
Abstract:
Recently, data-enabled predictive control (DeePC) schemes based on Willems' fundamental lemma have attracted considerable attention. At the core are computations using Hankel-like matrices and their connection to the concept of persistency of excitation. We propose an iterative solver for the underlying data-driven optimal control problems resulting from linear discrete-time systems. To this end,…
▽ More
Recently, data-enabled predictive control (DeePC) schemes based on Willems' fundamental lemma have attracted considerable attention. At the core are computations using Hankel-like matrices and their connection to the concept of persistency of excitation. We propose an iterative solver for the underlying data-driven optimal control problems resulting from linear discrete-time systems. To this end, we apply factorizations based on the discrete Fourier transform of the Hankel-like matrices, which enable fast and memory-efficient computations. To take advantage of this factorization in an optimal control solver and to reduce the effect of inherent bad conditioning of the Hankel-like matrices, we propose an augmented Lagrangian lBFGS-method. We illustrate the performance of our method by means of a numerical study.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Fixed-Order H-Infinity Controller Design for Port-Hamiltonian Systems
Authors:
Paul Schwerdtner,
Matthias Voigt
Abstract:
We present a new fixed-order H-infinity controller design method for potentially large-scale port-Hamiltonian (pH) plants. Our method computes controllers that are also pH (and thus passive) such that the resulting closed-loop systems is again passive, which ensures closed-loop stability simply from the structure of the plant and controller matrices. In this way, we can avoid computationally expen…
▽ More
We present a new fixed-order H-infinity controller design method for potentially large-scale port-Hamiltonian (pH) plants. Our method computes controllers that are also pH (and thus passive) such that the resulting closed-loop systems is again passive, which ensures closed-loop stability simply from the structure of the plant and controller matrices. In this way, we can avoid computationally expensive eigenvalue computations that would otherwise be necessary. In combination with a sample-based objective function which allows us to avoid multiple evaluations of the H-infinity norm (which is typically the main computational burden in fixed-order H-infinity controller synthesis), this makes our method well-suited for plants with a high state-space dimension.
In our numerical experiments, we show that applying a passivity-enforcing post-processing step after using well-established H-infinity synthesis methods often leads to a deteriorated H-infinity performance. In constrast to that, our method computes pH controllers, that are automatically passive and simultaneously aim to minimize the H-infinity norm of the closed-loop transfer function. Moreover, our experiments show that for large-scale plants, our method is significantly faster than the well-established fixed-order H-infinity controller synthesis methods.
△ Less
Submitted 27 September, 2022; v1 submitted 15 September, 2022;
originally announced September 2022.
-
Structure-Preserving Model Order Reduction for Index Two Port-Hamiltonian Descriptor Systems
Authors:
Tim Moser,
Paul Schwerdtner,
Volker Mehrmann,
Matthias Voigt
Abstract:
We present a new optimization-based structure-preserving model order reduction (MOR) method for port-Hamiltonian descriptor systems (pH-DAEs) with differentiation index two. Our method is based on a novel parameterization that allows us to represent any linear time-invariant pH-DAE with a minimal number of parameters, which makes it well-suited to model reduction. We propose two algorithms which d…
▽ More
We present a new optimization-based structure-preserving model order reduction (MOR) method for port-Hamiltonian descriptor systems (pH-DAEs) with differentiation index two. Our method is based on a novel parameterization that allows us to represent any linear time-invariant pH-DAE with a minimal number of parameters, which makes it well-suited to model reduction. We propose two algorithms which directly optimize the parameters of a reduced model to approximate a given large-scale model with respect to either the H-infinity or the H-2 norm. This approach has several benefits. Our parameterization ensures that the reduced model is again a pH-DAE system and enables a compact representation of the algebraic part of the large-scale model, which in projection-based methods often requires a more involved treatment. The direct optimization is entirely based on transfer function evaluations of the large-scale model and is therefore independent of the system matrices' structure. Numerical experiments are conducted to illustrate the high accuracy and small reduced model orders in comparison to other structure-preserving MOR methods.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Structure-Preserving Model Order Reduction for Index One Port-Hamiltonian Descriptor Systems
Authors:
Paul Schwerdtner,
Tim Moser,
Volker Mehrmann,
Matthias Voigt
Abstract:
We develop optimization-based structure-preserving model order reduction (MOR) methods for port-Hamiltonian (pH) descriptor systems of differentiation index one. Descriptor systems in pH form permit energy-based modeling and intuitive coupling of physical systems across different physical domains, scales, and accuracies. This makes pH models well-suited building-blocks for component-wise modeling…
▽ More
We develop optimization-based structure-preserving model order reduction (MOR) methods for port-Hamiltonian (pH) descriptor systems of differentiation index one. Descriptor systems in pH form permit energy-based modeling and intuitive coupling of physical systems across different physical domains, scales, and accuracies. This makes pH models well-suited building-blocks for component-wise modeling of large system networks. In this context, it is often necessary to preserve the pH structure during MOR. We discuss current projection-based and structure-preserving MOR algorithms for pH systems and present a new optimization-based framework for that task. The benefits of our method include a simplified treatment of algebraic constraints and often a higher accuracy of the resulting reduced-order model, which is demonstrated by several numerical examples.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Sequences of the Stable Matching Problem
Authors:
Matvey Borodin,
Eric Chen,
Aidan Duncan,
Tanya Khovanova,
Boyan Litchev,
Jiahe Liu,
Veronika Moroz,
Matthew Qian,
Rohith Raghavan,
Garima Rastogi,
Michael Voigt
Abstract:
In this paper, we begin by discussing different types of preference profiles related to the stable marriage problem. We then introduce the concept of soulmates, which are a man and a woman who rank each other first. Inversely, we examine hell-pairs, where a man and a woman rank each other last. We generate sequences enumerating preference profiles of different types. We also calculate sequences re…
▽ More
In this paper, we begin by discussing different types of preference profiles related to the stable marriage problem. We then introduce the concept of soulmates, which are a man and a woman who rank each other first. Inversely, we examine hell-pairs, where a man and a woman rank each other last. We generate sequences enumerating preference profiles of different types. We also calculate sequences related to the egalitarian cost, or "quality", of a matching. In total, we introduce and discuss 30 new sequences related to the stable marriage problem and discuss 6 sequences that are already in the OEIS.
△ Less
Submitted 29 December, 2021;
originally announced January 2022.
-
Justice through the lens of calculus: Framing new possibilities for diversity, equity, and inclusion
Authors:
Matthew Voigt,
Jess Ellis Hagman,
Jessica Gehrtz,
Brea Ratliff,
Nathan Alexander,
Rachel Levy
Abstract:
In this volume, we encouraged a broad array of submissions that highlight issues of Diversity, Equity, and Inclusion (DEI) in introductory mathematics programs with special attention to precalculus, differential calculus, and integral calculus and surrounding departmental programs to support students in these courses. The volume features illustrative case studies that showcase ways in which depart…
▽ More
In this volume, we encouraged a broad array of submissions that highlight issues of Diversity, Equity, and Inclusion (DEI) in introductory mathematics programs with special attention to precalculus, differential calculus, and integral calculus and surrounding departmental programs to support students in these courses. The volume features illustrative case studies that showcase ways in which departments and instructors are attending to promoting diverse introductory mathematics programs, achieving, or monitoring equitable student outcomes and experiences, and promoting inclusive teaching practices. Achieving and promoting DEI issues in introductory mathematics programs is not an easy undertaking so we encouraged submissions of models in progress, discussions of potential obstacles, challenges, and what departments and instructors have done to overcome barriers to address these issues. The volume also features thematic chapters that create a vision for DEI based on the illustrative case studies and known literature.
△ Less
Submitted 28 October, 2022; v1 submitted 22 November, 2021;
originally announced November 2021.
-
X-PIPS-M Data Summary
Authors:
Ciera Street,
Naneh Apkarian,
Jessica Gehrtz,
Rachel Tremaine,
Victoria Barron,
Matthew Voigt,
Jessica Ellis Hagman
Abstract:
A compilation of descriptive statistics of responses to the X-PIPS-M suite of surveys for students, student instructors, and faculty instructors of introductory mathematics courses. Data were obtained from Precalculus, Calculus 1, and Calculus 2 courses at 12 universities during the 2017-18 and 2018-19 academic years, as part of the Progress through Calculus research project (NSF DUE IUSE #1430540…
▽ More
A compilation of descriptive statistics of responses to the X-PIPS-M suite of surveys for students, student instructors, and faculty instructors of introductory mathematics courses. Data were obtained from Precalculus, Calculus 1, and Calculus 2 courses at 12 universities during the 2017-18 and 2018-19 academic years, as part of the Progress through Calculus research project (NSF DUE IUSE #1430540).
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
Model Reduction of Parametric Differential-Algebraic Systems by Balanced Truncation
Authors:
Jennifer Przybilla,
Matthias Voigt
Abstract:
We deduce a procedure to apply balanced truncation to parameter-dependent differential-algebraic systems. For that we solve multiple projected Lyapunov equations for different parameter values to compute the Gramians that are required for the truncation procedure. As this process would lead to high computational costs if we perform it for a large number of parameters, we combine this approach with…
▽ More
We deduce a procedure to apply balanced truncation to parameter-dependent differential-algebraic systems. For that we solve multiple projected Lyapunov equations for different parameter values to compute the Gramians that are required for the truncation procedure. As this process would lead to high computational costs if we perform it for a large number of parameters, we combine this approach with the reduced basis method that determines a reduced representation of the Lyapunov equation solutions for the parameters of interest. Residual-based error estimators are then used to evaluate the quality of the approximations. After introducing the procedure for a general class of differential-algebraic systems we turn our focus to systems with a specific structure, for which the method can be applied particularly efficiently. We illustrate the efficiency of our approach on several models from fluid dynamics and mechanics.
△ Less
Submitted 5 January, 2024; v1 submitted 19 August, 2021;
originally announced August 2021.
-
The Stable Matching Problem and Sudoku
Authors:
Matvey Borodin,
Eric Chen,
Aidan Duncan,
Tanya Khovanova,
Boyan Litchev,
Jiahe Liu,
Veronika Moroz,
Matthew Qian,
Rohith Raghavan,
Garima Rastogi,
Michael Voigt
Abstract:
Are you having trouble getting married? These days, there are lots of products on the market for dating, from apps to websites and matchmakers, but we know a simpler way! That's right -- your path to coupled life isn't through Tinder: it's through Sudoku! Read our fabulous paper where we explore the Stable Marriage Problem to help you find happiness and stability in marriage through math. As a bon…
▽ More
Are you having trouble getting married? These days, there are lots of products on the market for dating, from apps to websites and matchmakers, but we know a simpler way! That's right -- your path to coupled life isn't through Tinder: it's through Sudoku! Read our fabulous paper where we explore the Stable Marriage Problem to help you find happiness and stability in marriage through math. As a bonus, you get two Sudoku puzzles with a new flavor.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Adaptive Sampling for Structure Preserving Model Order Reduction of Port-Hamiltonian Systems
Authors:
Paul Schwerdtner,
Matthias Voigt
Abstract:
We present an adaptive sampling strategy for the optimization-based structure preserving model order reduction (MOR) algorithm developed in [Schwerdtner, P. and Voigt, M. (2020). Structure preserving model order reduction by parameter optimization, Preprint arXiv:2011.07567]. This strategy reduces the computational demand and the required a priori knowledge about the given full order model, while…
▽ More
We present an adaptive sampling strategy for the optimization-based structure preserving model order reduction (MOR) algorithm developed in [Schwerdtner, P. and Voigt, M. (2020). Structure preserving model order reduction by parameter optimization, Preprint arXiv:2011.07567]. This strategy reduces the computational demand and the required a priori knowledge about the given full order model, while at the same time retaining a high accuracy compared to other structure preserving but also unstructured MOR algorithms. A numerical study with a port-Hamiltonian benchmark system demonstrates the effectiveness of our method combined with its new adaptive sampling strategy. We also investigate the distribution of the sample points.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
SOBMOR: Structured Optimization-Based Model Order Reduction
Authors:
Paul Schwerdtner,
Matthias Voigt
Abstract:
Model order reduction (MOR) methods that are designed to preserve structural features of a given full order model (FOM) often suffer from a lower accuracy when compared to their non-structure-preserving counterparts. In this paper, we present a framework for structure-preserving MOR, which allows to compute structured reduced order models (ROMs) with a much higher accuracy. The framework is based…
▽ More
Model order reduction (MOR) methods that are designed to preserve structural features of a given full order model (FOM) often suffer from a lower accuracy when compared to their non-structure-preserving counterparts. In this paper, we present a framework for structure-preserving MOR, which allows to compute structured reduced order models (ROMs) with a much higher accuracy. The framework is based on parameter optimization, i.e., the elements of the system matrices of the ROM are iteratively varied to minimize an objective functional that measures the difference between the FOM and the ROM. The structural constraints can be encoded in the parametrization of the ROM. The method only depends on frequency response data and can thus be applied to a wide range of dynamical systems.
We illustrate the effectiveness of our method on a port-Hamiltonian and on a symmetric second-order system in a comparison with other structure-preserving MOR algorithms.
△ Less
Submitted 15 May, 2022; v1 submitted 15 November, 2020;
originally announced November 2020.
-
Structure-Preserving Model Reduction for Dissipative Mechanical Systems
Authors:
Rebekka S. Beddig,
Peter Benner,
Ines Dorschky,
Timo Reis,
Paul Schwerdtner,
Matthias Voigt,
Steffen W. R. Werner
Abstract:
Suppressing vibrations in mechanical systems, usually described by second-order dynamical models, is a challenging task in mechanical engineering in terms of computational resources even nowadays. One remedy is structure-preserving model order reduction to construct easy-to-evaluate surrogates for the original dynamical system having the same structure. In our work, we present an overview of recen…
▽ More
Suppressing vibrations in mechanical systems, usually described by second-order dynamical models, is a challenging task in mechanical engineering in terms of computational resources even nowadays. One remedy is structure-preserving model order reduction to construct easy-to-evaluate surrogates for the original dynamical system having the same structure. In our work, we present an overview of recently developed structure-preserving model reduction methods for second-order systems. These methods are based on modal and balanced truncation in different variants, as well as on rational interpolation. Numerical examples are used to illustrate the effectiveness of all described methods.
△ Less
Submitted 25 January, 2022; v1 submitted 13 October, 2020;
originally announced October 2020.
-
Derivative Interpolating Subspace Frameworks for Nonlinear Eigenvalue Problems
Authors:
Rifqi Aziz,
Emre Mengi,
Matthias Voigt
Abstract:
We first consider the problem of approximating a few eigenvalues of a rational matrix-valued function closest to a prescribed target. It is assumed that the proper rational part of the rational matrix-valued function is expressed in the transfer function form $H(s) = C (sI - A)^{-1} B$, where the middle factor is large, whereas the number of rows of $C$ and the number of columns of $B$ are equal a…
▽ More
We first consider the problem of approximating a few eigenvalues of a rational matrix-valued function closest to a prescribed target. It is assumed that the proper rational part of the rational matrix-valued function is expressed in the transfer function form $H(s) = C (sI - A)^{-1} B$, where the middle factor is large, whereas the number of rows of $C$ and the number of columns of $B$ are equal and small. We propose a subspace framework that performs two-sided or one-sided projections on the state-space representation of $H(\cdot)$, commonly employed in model reduction and giving rise to a reduced transfer function. At every iteration, the projection subspaces are expanded to attain Hermite interpolation conditions at the eigenvalues of the reduced transfer function closest to the target, which in turn leads to a new reduced transfer function. We prove in theory that, when a sequence of eigenvalues of the reduced transfer functions converges to an eigenvalue of the full problem, it converges at least at a quadratic rate. In the second part, we extend the proposed framework to locate the eigenvalues of a general square large-scale nonlinear meromorphic matrix-valued function $T(\cdot)$, where we exploit a representation $\mathcal{R}(s) = C(s) A(s)^{-1} B(s) - D(s)$ defined in terms of the block components of $T(\cdot)$. The numerical experiments illustrate that the proposed framework is reliable in locating a few eigenvalues closest to the target point, and that, with respect to runtime, it is competitive to established methods for nonlinear eigenvalue problems.
△ Less
Submitted 7 January, 2022; v1 submitted 25 June, 2020;
originally announced June 2020.
-
Balanced truncation model reduction for symmetric second order systems -- A passivity-based approach
Authors:
Ines Dorschky,
Timo Reis,
Matthias Voigt
Abstract:
We introduce a model reduction approach for linear time-invariant second order systems based on positive real balanced truncation. Our method guarantees asymptotic stability and passivity of the reduced order model as well as the positive definiteness of the mass and stiffness matrices. Moreover, we receive an a priori gap metric error bound. Finally, we show that our method based on positive real…
▽ More
We introduce a model reduction approach for linear time-invariant second order systems based on positive real balanced truncation. Our method guarantees asymptotic stability and passivity of the reduced order model as well as the positive definiteness of the mass and stiffness matrices. Moreover, we receive an a priori gap metric error bound. Finally, we show that our method based on positive real balanced truncation preserves the structure of overdamped second order systems.
△ Less
Submitted 16 June, 2020;
originally announced June 2020.
-
Balanced Truncation Model Reduction with A Priori Error Bounds for LTI Systems with Nonzero Initial Value
Authors:
Christian Schröder,
Matthias Voigt
Abstract:
In standard balanced truncation model order reduction, the initial condition is typically ignored in the reduction procedure and is assumed to be zero instead. However, such a reduced-order model may be a bad approximation to the full-order system, if the initial condition is not zero. In the literature there are several attempts for modified reduction methods at the price of having no error bound…
▽ More
In standard balanced truncation model order reduction, the initial condition is typically ignored in the reduction procedure and is assumed to be zero instead. However, such a reduced-order model may be a bad approximation to the full-order system, if the initial condition is not zero. In the literature there are several attempts for modified reduction methods at the price of having no error bound or only a posteriori error bounds which are often too expensive to evaluate. In this work we propose a new balancing procedure that is based on a shift transformation on the state. We first derive a joint projection reduced-order model in which the part of the system depending only on the input and the one depending only on the initial value are reduced at once and we prove an a priori error bound. With this result at hand, we derive a separate projection procedure in which the two parts are reduced separately. This gives the freedom to choose different reduction orders for the different subsystems. Moreover, we discuss how the reduced-order models can be constructed in practice. Since the error bounds are parameter-dependent we show how they can be optimized efficiently. We conclude this paper by comparing our results with the ones from the literature by a series of numerical experiments.
△ Less
Submitted 15 March, 2022; v1 submitted 3 June, 2020;
originally announced June 2020.
-
Discounted Cost Linear Quadratic Gaussian Control for Descriptor Systems
Authors:
Hermann Mena,
Lena-Maria Pfurtscheller,
Matthias Voigt
Abstract:
We consider the linear quadratic Gaussian control problem with a discounted cost functional for descriptor systems on the infinite time horizon. Based on recent results from the deterministic framework, we characterize the feasibility of this problem using a linear matrix inequality. In particular, conditions for existence and uniqueness of optimal controls are derived, which are weaker compared t…
▽ More
We consider the linear quadratic Gaussian control problem with a discounted cost functional for descriptor systems on the infinite time horizon. Based on recent results from the deterministic framework, we characterize the feasibility of this problem using a linear matrix inequality. In particular, conditions for existence and uniqueness of optimal controls are derived, which are weaker compared to the standard approaches in the literature. We further show that also for the stochastic problem, the optimal control is given in terms of the stabilizing solution of the Lur'e equation, which generalizes the algebraic Riccati equation.
△ Less
Submitted 19 April, 2020;
originally announced April 2020.
-
Semi-active $\mathcal{H}_{\infty}$ dam** optimization by adaptive interpolation
Authors:
Zoran Tomljanović,
Matthias Voigt
Abstract:
In this work we consider the problem of semi-active dam** optimization of mechanical systems with fixed damper positions. Our goal is to compute a dam** that is locally optimal with respect to the $\mathcal{H}_\infty$-norm of the transfer function from the exogenous inputs to the performance outputs. We make use of a new greedy method for computing the $\mathcal{H}_\infty$-norm of a transfer f…
▽ More
In this work we consider the problem of semi-active dam** optimization of mechanical systems with fixed damper positions. Our goal is to compute a dam** that is locally optimal with respect to the $\mathcal{H}_\infty$-norm of the transfer function from the exogenous inputs to the performance outputs. We make use of a new greedy method for computing the $\mathcal{H}_\infty$-norm of a transfer function based on rational interpolation. In this paper, this approach is adapted to parameter-dependent transfer functions. The interpolation leads to parametric reduced-order models that can be optimized more efficiently. At the optimizers we then take new interpolation points to refine the reduced-order model and to obtain updated optimizers. In our numerical examples we show that this approach normally converges fast and thus can highly accelerate the optimization procedure. Another contribution of this work are heuristics for choosing initial interpolation points.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
A Subspace Framework for ${\mathcal H}_\infty$-Norm Minimization
Authors:
Nicat Aliyev,
Peter Benner,
Emre Mengi,
Matthias Voigt
Abstract:
We deal with the minimization of the ${\mathcal H}_\infty$-norm of the transfer function of a parameter-dependent descriptor system over the set of admissible parameter values. Subspace frameworks are proposed for such minimization problems where the involved systems are of large order. The proposed algorithms are greedy interpolatory approaches inspired by our recent work [Aliyev et al., SIAM J.…
▽ More
We deal with the minimization of the ${\mathcal H}_\infty$-norm of the transfer function of a parameter-dependent descriptor system over the set of admissible parameter values. Subspace frameworks are proposed for such minimization problems where the involved systems are of large order. The proposed algorithms are greedy interpolatory approaches inspired by our recent work [Aliyev et al., SIAM J. Matrix Anal. Appl., 38(4):1496--1516, 2017] for the computation of the ${\mathcal H}_\infty$-norm. In this work, we minimize the ${\mathcal H}_\infty$-norm of a reduced-order parameter-dependent system obtained by two-sided restrictions onto certain subspaces. Then we expand the subspaces so that Hermite interpolation properties hold between the full and reduced-order system at the optimal parameter value for the reduced order system. We formally establish the superlinear convergence of the subspace frameworks under some smoothness assumptions. The fast convergence of the proposed frameworks in practice is illustrated by several large-scale systems.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Large-Scale Computation of ${\mathcal L}_\infty$-Norms by a Greedy Subspace Method
Authors:
Nicat Aliyev,
Peter Benner,
Emre Mengi,
Paul Schwerdtner,
Matthias Voigt
Abstract:
We are concerned with the computation of the ${\mathcal L}_\infty$-norm for an ${\mathcal L}_\infty$-function of the form $H(s) = C(s) D(s)^{-1} B(s)$, where the middle factor is the inverse of a meromorphic matrix-valued function, and $C(s),\, B(s)$ are meromorphic functions map** to short-and-fat and tall-and-skinny matrices, respectively. For instance, transfer functions of descriptor systems…
▽ More
We are concerned with the computation of the ${\mathcal L}_\infty$-norm for an ${\mathcal L}_\infty$-function of the form $H(s) = C(s) D(s)^{-1} B(s)$, where the middle factor is the inverse of a meromorphic matrix-valued function, and $C(s),\, B(s)$ are meromorphic functions map** to short-and-fat and tall-and-skinny matrices, respectively. For instance, transfer functions of descriptor systems and delay systems fall into this family. We focus on the case where the middle factor is large-scale. We propose a subspace projection method to obtain approximations of the function $H$ where the middle factor is of much smaller dimension. The ${\mathcal L}_\infty$-norms are computed for the resulting reduced functions, then the subspaces are refined by means of the optimal points on the imaginary axis where the ${\mathcal L}_\infty$-norm of the reduced function is attained. The subspace method is designed so that certain Hermite interpolation properties hold between the largest singular values of the original and reduced functions. This leads to a locally superlinearly convergent algorithm with respect to the subspace dimension, which we prove and illustrate on various numerical examples.
△ Less
Submitted 2 June, 2017; v1 submitted 29 May, 2017;
originally announced May 2017.
-
On linear-quadratic optimal control of implicit difference equations
Authors:
Daniel Bankmann,
Matthias Voigt
Abstract:
In this work we investigate explicit and implicit difference equations and the corresponding infinite time horizon linear-quadratic optimal control problem. We derive conditions for feasibility of the optimal control problem as well as existence and uniqueness of optimal controls under certain weaker assumptions compared to the standard approaches in the literature which are using algebraic Riccat…
▽ More
In this work we investigate explicit and implicit difference equations and the corresponding infinite time horizon linear-quadratic optimal control problem. We derive conditions for feasibility of the optimal control problem as well as existence and uniqueness of optimal controls under certain weaker assumptions compared to the standard approaches in the literature which are using algebraic Riccati equations. To this end, we introduce and analyze a discrete-time Lur'e equation and a corresponding Kalman-Yakubovich-Popov inequality. We show that solvability of the Kalman-Yakubovich-Popov inequality can be characterized via the spectral structure of a certain palindromic matrix pencil. The deflating subspaces of this pencil are finally used to construct solutions of the Lur'e equation. The results of this work are transferred from the continuous-time case. However, many additional technical difficulties arise in this context.
△ Less
Submitted 27 October, 2017; v1 submitted 3 March, 2017;
originally announced March 2017.
-
List colorings of $K_5$-minor-free graphs with special list assignments
Authors:
Daniel W. Cranston,
Anja Pruchnewski,
Zsolt Tuza,
Margit Voigt
Abstract:
A {\it list assignment} $L$ of a graph $G$ is a function that assigns a set (list) $L(v)$ of colors to every vertex $v$ of $G$. Graph $G$ is called {\it $L$-list colorable} if it admits a vertex coloring $φ$ such that $φ(v)\in L(v)$ for all $v\in V(G)$ and $φ(v)\not=φ(w)$ for all $vw\in E(G)$.
The following question was raised by Bruce Richter. Let $G$ be a planar, 3-connected graph that is not…
▽ More
A {\it list assignment} $L$ of a graph $G$ is a function that assigns a set (list) $L(v)$ of colors to every vertex $v$ of $G$. Graph $G$ is called {\it $L$-list colorable} if it admits a vertex coloring $φ$ such that $φ(v)\in L(v)$ for all $v\in V(G)$ and $φ(v)\not=φ(w)$ for all $vw\in E(G)$.
The following question was raised by Bruce Richter. Let $G$ be a planar, 3-connected graph that is not a complete graph. Denoting by $d(v)$ the degree of vertex $v$, is $G$ $L$-list colorable for every list assignment $L$ with $|L(v)|=\min \{d(v), 6\}$ for all $v\in V(G)$?
More generally, we ask for which pairs $(r,k)$ the following question has an affirmative answer. Let $r$ and $k$ be integers and let $G$ be a $K_5$-minor-free $r$-connected graph that is not a Gallai tree (i.e., at least one block of $G$ is neither a complete graph nor an odd cycle). Is $G$ $L$-list colorable for every list assignment $L$ with $|L(v)|=\min\{d(v),k\}$ for all $v\in V(G)$?
We investigate this question by considering the components of $G[S_k]$, where $S_k:=\{v\in V(G) | d(v)<k\}$ is the set of vertices with small degree in $G$. We are especially interested in the minimum distance $d(S_k)$ in $G$ between the components of $G[S_k]$.
△ Less
Submitted 12 May, 2011;
originally announced May 2011.