Tobias Holicki

Abstract

For a partially unknown linear systems, we present a systematic control design approach based on generated data from measurements of closed-loop experiments with suitable test controllers. These experiments are used to improve the achieved performance and to reduce the uncertainty about the unknown parts of the system. This is achieved through a parametrization of auspicious controllers with convex relaxation techniques from robust control, which guarantees that their implementation on the unknown plant is safe. This approach permits to systematically incorporate available prior knowledge about the system by employing the framework of linear fractional representations.

Abstract

We provide a convex solution to the robust gain-scheduled estimation problem based on integral quadratic constraints with dynamic D-scalings for both the uncertain and the scheduled component. This closes an important gap since so far merely static scalings or multipliers could be used for the scheduled component in estimation problems. To this end, we provide novel synthesis criteria in terms of linear matrix inequalities for the design of nominal gain-scheduled estimators which allow for a direct combination with available results on robust estimation. We illustrate the benefit of our design approach by means of a numerical example.

Abstract

The dual iteration was introduced in a conference paper in 1997 by Iwasaki as an iterative and heuristic procedure for the challenging and non-convex design of static output-feedback controllers. We recall in detail its essential ingredients and go beyond the work of Iwasaki by demonstrating that the framework of linear fractional representations allows for a seamless extension the dual iteration to output-feedback designs of tremendous practical relevance such as the design of robust or robust gain-scheduled controllers. In the paper of Iwasaki the dual iteration is solely based on, and motivated by algebraic manipulations resulting from the elimination lemma. We provide a novel control theoretic interpretation of the individual steps, which paves the way for further generalizations of the powerful scheme to situations where the elimination lemma is not applicable. Exemplary, we extend the dual iteration to the multi-objective design of static output-feedback H∞-controllers, which guarantee that the closed-loop poles are contained in an a priori specified generalized stability region. We demonstrate the approach with numerous numerical examples inspired from the literature.

Abstract

We develop novel criteria for robust stability of a class of hybrid systems that are affected by piecewise constant uncertain parameters with dwell-time constraints. These criteria result from clock-dependent Lyapunov arguments that are based on several new robust stability conditions for continuous-time linear time-invariant systems which are affected by parametric passive uncertainties and do not admit any discrete dynamics. In contrast to other approaches, our stability analysis results rely on separation techniques from robust control involving dynamic resetting scalings. Moreover, these techniques are expected to pave the way for covering much more general uncertainties within the framework of integral quadratic constraints. Building upon the new insights on robust stability, we are able to propose an output-feedback gain-scheduling design methodology similarly to our recently obtained synthesis result involving dynamic resetting $D$-scalings. Most of the obtained conditions are expressed as infinite-dimensional (differential) linear matrix inequalities which can be numerically solved by using relaxation methods based on, e.g., linear splines or matrix sum-of-squares. We apply our results to obtain novel stability criteria and to design distributed controllers for networked systems over undirected switching topologies. Finally, the approach is illustrated with several numerical examples.

Abstract

We show how to compose robust stability tests for uncertain systems modeled as linear fractional representations and affected by various types of dynamic uncertainties. Our results are formulated in terms of linear matrix inequalities and rest on the recently established notion of finite-horizon integral quadratic constraints with a terminal cost. The construction of such constraints is motivated by an unconventional application of the S-procedure in the frequency domain with dynamic Lagrange multipliers. Our technical contribution reveals how this construction can be performed by dissipativity arguments in the time-domain and in a lossless fashion. This opens the way for generalizations to time-varying or hybrid systems.

Abstract

A novel convex state-space solution to the robust output-feedback synthesis problem based on dynamic integral quadratic constraints for a particular class of systems is presented. Convexification rests upon the assumption that the control-to-uncertainty block in the generalized plant commutes with the off-diagonal block of the multiplier. We demonstrate that this commutation property is valid for several by themselves interesting concrete scenarios, such as in extremum control, a generalization of the convex design of first-order optimization algorithms involving filtered gradient evaluations.

Abstract

We derive novel criteria for designing stabilizing dynamic output-feedback controllers for a class of aperiodic impulsive systems subject to a range dwell-time condition. Our synthesis conditions are formulated as clock-dependent linear matrix inequalities (LMIs) which can be solved numerically, e.g., by using matrix sum-of-squares relaxation methods. We show that our results allow us to design dynamic output-feedback controllers for aperiodic sample-data systems and illustrate the proposed approach by means of a numerical example.

Abstract

We propose a novel approach for output-feedback controller design for linear systems affected by arbitrary fast time-varying uncertainties. Our approach is based on consecutively solving two related robust synthesis problems which by themselves admit convex solutions. The first one is robust full information controller design, while the subsequent one is similar to the robust estimator design problem. The latter includes a homotopy parameter that serves to construct a solution of the output-feedback synthesis problem from a given solution of the full information problem. In contrast to alternative approaches, ours requires to solve just two linear matrix inequalities and generates guaranteed bounds for the achieved performance. We illustrate our results with several numerical examples taken from the literature.

Abstract

We derive novel criteria for robust stability and output-feedback gain-scheduling controller synthesis for a class of switched systems that are affected by piecewise constant parameters with dwell-time constraints. Our findings are based on clock-dependent Lyapunov arguments and rely, in contrast to other approaches, on separation techniques from robust control involving dynamic multipliers. The obtained conditions are expressed as infinite-dimensional linear matrix inequalities which can be solved by, e.g., using sum-of-squares relaxation methods. We illustrate our results with a numerical example.

Abstract

Robust stability of a class of linear time-invariant systems affected by piecewise constant parameters with dwell-time constraints is considered. In contrast to other approaches the proposed result relies on separation techniques within the framework of integral quadratic constraints and is based on a novel version of the swapping lemma. In particular, our result allows to take additional knowledge on the variation of the parameter into account. The obtained conditions are expressed as infinite-dimensional linear matrix inequalities which can be solved, e.g., by using sum-of-squares relaxation methods. We illustrate the proposed approach with a numerical example.

Abstract

We consider feedback interconnections composed of a linear system whose input-output behavior is constrained by a relation. It is shown how to analyze stability of such interconnections by suitably refining the general framework of integral quadratic constraints. For the special case of static multivalued monotone nonlinearities, we reveal that one can employ Zames-Falb multipliers in order to substantially reduce conservatism if compared with passivity-based approaches and as illustrated with a numerical example. Our results are expected to open up an avenue towards a systematic stability analysis of data-integrated systems.

Abstract

We consider systems that consist of infinitely many identical subsystems over an infinite undirected graph. Stability analysis for such systems is performed and embedded into multiplier theory from robust control. This allows to apply recently developed gain-scheduling methods for dynamic multipliers in order to design stabilizing controllers and yields LMI conditions for their existence that are less conservative than existing ones.

Abstract

Starting from a linear fractional representation of a linear system affected by constant parametric uncertainties, we demonstrate how to enhance standard robust analysis tests by taking available (noisy) input-output data of the uncertain system into account. Our approach relies on a lifting of the system and on the construction of data-dependent multipliers. It leads to a test in terms of linear matrix inequalities which guarantees stability and performance for all systems compatible with the observed data if it is in the affirmative. In contrast to many other data-based approaches, prior physical knowledge is included at the outset due to the underlying linear fractional representation.

Abstract

We propose novel quadratic performance tests for linear discrete-time impulsive systems based on viewing these systems as feedback interconnections of some non-impulsive linear system with an impulsive operator. In order to systematically analyze such interconnections, we employ the framework of integral quadratic constraints and propose novel constraints of this kind for capturing the behavior of the involved impulsive operator. As a major benefit, the modularity of this framework permits seamless extensions to interconnections affected by heterogeneous uncertainties in a straightforward fashion. This contrasts with alternative approaches which are based on capturing the system's impulsive behavior by means of a clock. Building upon the developed analysis criteria, we characterize the existence of non-impulsive estimators for such impulsive interconnections in a lossless fashion and in terms of linear matrix inequalities. Finally, our approach is illustrated by means of several numerical examples.

Abstract

In this paper, we discuss how to synthesize stabilizing Model Predictive Control (MPC) algorithms based on convexly parameterized Integral Quadratic Constraints (IQCs), with the aid of general multipliers. Specifically, we consider Lur’e systems subject to sector-bounded and slope-restricted nonlinearities. As the main novelty, we introduce point-wise IQCs with storage in order to accordingly generate the MPC terminal ingredients, thus enabling closed-loop stability, strict dissipativity with regard to the nonlinear feedback, and recursive feasibility of the optimization. Specifically, we consider formulations involving both static and dynamic multipliers, and provide corresponding algorithms for the synthesis procedures. The major benefit of the proposed approach resides in the flexibility of the IQC framework, which is capable to deal with many classes of uncertainties and nonlinearities. Moreover, for the considered class of nonlinearities, our method yields larger regions of attraction of the synthesized predictive controllers (with reduced conservatism) if compared to the standard approach to deal with sector constraints from the literature.

Abstract

This project focuses on the development of computational methods to design controllers for data-integrated models with emphasis on guarantees for robustness. We target the extension of the scheduling approach to the design of controllers capable of adapting to newly incoming online data with mathematical certificates for the closed-loop system.

Abstract

This project deals with the systematic and scalable design of distributed controllers for networked systems with an undirected switching topology by means of semidefinite programming. The employed approach relies on separation techniques from robust control and is especially tailored to deal with the switching behavior of the underlying networks.

Abstract

We establish a framework for systematically analyzing and designing output-feedback controllers for linear impulsive and related hybrid systems that might even be affected by various types of uncertainties. In particular, the framework encompasses uncertain switched and sampled-data systems as well as networked systems with switching communication topologies. The framework is based on recently developed convex criteria involving a so-called clock for analyzing impulsive systems under dwell-time constraints. We elaborate on the extension of those criteria for dynamic output-feedback controller synthesis by means of convex optimization and generalize the so-called dual iteration to impulsive systems. The latter originally and still constitutes a promising heuristic procedure for the challenging and non-convex design of static output-feedback controllers for standard linear time-invariant systems. Moreover, for uncertain impulsive systems as modeled in terms of linear fractional representations, we generalize the nominal analysis criteria by providing novel robust analysis conditions based on a novel time-domain and clock-dependent formulation of integral quadratic constraints. Finally, by combining the insights on nominal synthesis and robust analysis, we are able to tackle challenging output-feedback designs of practical relevance, such as the design of gain-scheduled, robust or robust gain-scheduled controllers for impulsive systems. Most of the obtained analysis and synthesis conditions involve infinite-dimensional (differential) linear matrix inequalities which can be numerically solved by using relaxation methods based on, e.g., linear splines, B-splines or matrix sum-of-squares that we discuss as well.