TL;DR: It is reviewed how various classical relaxations based on the S-procedure can be subsumed to a unified framework based on Lagrange duality for semi-definite programs, and the systematic construction of families of relaxations which can be shown to be asymptotically exact.
TL;DR: In this article, an algorithm is presented that computes the transformation to a canonical basis, starting from some basis that is, for instance, obtained by the usual integration-by-parts reduction techniques.
Abstract: The method of differential equations has been proven to be a powerful tool for the computation of multi-loop Feynman integrals appearing in quantum field theory. It has been observed that in many instances a canonical basis can be chosen, which drastically simplifies the solution of the differential equation. In this paper, an algorithm is presented that computes the transformation to a canonical basis, starting from some basis that is, for instance, obtained by the usual integration-by-parts reduction techniques. The algorithm requires the existence of a rational transformation to a canonical basis, but is otherwise completely agnostic about the differential equation. In particular, it is applicable to problems involving multiple scales and allows for a rational dependence on the dimensional regulator. It is demonstrated that the algorithm is suitable for current multi-loop calculations by presenting its successful application to a number of non-trivial examples.
TL;DR: A two-stage linear matrix inequality (LMI) procedure is proposed, which provides better results than other LMI based conditions from the literature on reduced order robust H∞ dynamic output feedback control design for uncertain continuous-time linear systems.
Abstract: This technical note is concerned with the problem of reduced order robust H∞ dynamic output feedback control design for uncertain continuous-time linear systems. The uncertain time-invariant parameters belong to a polytopic domain and affect all the system matrices. The search for a reduced-order controller is converted in a problem of static output feedback control design for an augmented system. To solve the problem, a two-stage linear matrix inequality (LMI) procedure is proposed. At the first step, a stabilizing state feedback scheduled controller with polynomial or rational dependence on the parameters is determined. This parameter-dependent state feedback controller is used at the second stage, which synthesizes the robust (parameter-independent) output feedback H∞ dynamic controller. A homogeneous polynomially parameter-dependent Lyapunov function of arbitrary degree is used to assess closed-loop stability with a prescribed H∞ attenuation level. As illustrated by numerical examples, the proposed method provides better results than other LMI based conditions from the literature.
TL;DR: In this article, it was shown that the stability group of a (suitably nondegenerate) real-analytic generic submanifold is a real algebraic Lie group.
Abstract: We consider CR submersive mappings between generic submanifolds in complex space. We show that, under suitable conditions on the manifolds, there is an integer k such that any jet of the CR mapping at a given point is a rational function of its k-jet at that point. As a consequence, it is shown that the stability group of a (suitably nondegenerate) real-analytic generic submanifold is a real algebraic Lie group. Moreover, it is shown that a formal equivalence between two such real-analytic submanifolds is necessarily convergent.
TL;DR: In this paper, an algorithm is presented that computes the transformation to a canonical basis, starting from some basis that is, for instance, obtained by the usual integration-by-parts reduction techniques.
Abstract: The method of differential equations has been proven to be a powerful tool for the computation of multi-loop Feynman integrals appearing in quantum field theory. It has been observed that in many instances a canonical basis can be chosen, which drastically simplifies the solution of the differential equation. In this paper, an algorithm is presented that computes the transformation to a canonical basis, starting from some basis that is, for instance, obtained by the usual integration-by-parts reduction techniques. The algorithm requires the existence of a rational transformation to a canonical basis, but is otherwise completely agnostic about the differential equation. In particular, it is applicable to problems involving multiple scales and allows for a rational dependence on the dimensional regulator. It is demonstrated that the algorithm is suitable for current multi-loop calculations by presenting its successful application to a number of non-trivial examples.