Searcharxiv⌕ Search

arXiv subjects

Sebastiaan van den Eijnden

Publications and source records attributed to Sebastiaan van den Eijnden.

8 recordsLinked to original sources

Incremental Stability and Convergence Properties of Discrete-Time Projected Control Systems

Projection-based controllers can overcome fundamental limitations of classical linear time-invariant control by modifying the controller's input-output behavior via projection. A key example is given by the hybrid integrator-gain system, a projected integrator, which has recently found successful application in several industrial systems. While prior work on analysis and design of projection-based control systems has primarily focused on the continuous-time setting and non-incremental analysis, a more refined incremental analysis in discrete-time is needed to better reflect actual digital implementation and obtain more accurate (robust) performance assessment. To address this need, this paper considers incremental stability and convergence analysis of discrete-time projection-based control systems. Our first methodology is based on showing that such controllers preserve the quadratic incremental stability of their nominal (unprojected) dynamics, if the projection metric is well-designed. Building on this, we derive a small-gain condition guaranteeing incremental input-to-state stability for interconnections of projected controllers with general nonlinear plants. A second approach is grounded in a direct Lyapunov-based method for verifying incremental stability in input-affine piecewise-smooth systems, which can be seen as an extension of the classical discrete-time Demidovic conditions. We illustrate our results through several examples, and demonstrate performance quantification via nonlinear Bode plots, with a special focus on first-order projection elements.

eess.SY↗

Scaled Graph Bounding Techniques for Reset Systems

Reset systems can overcome fundamental limitations of linear time-invariant control. The recently introduced notion of scaled (relative) graphs provides a promising framework for developing graphical analysis and design tools for reset systems, in line with widely adopted loopshaping methods for linear systems. The aim of this paper is to derive techniques for over-bounding the scaled graph of reset systems, and obtain insights in their accuracy. We exploit connections between quadratic dissipativity and scaled graphs to recast the over-bounding problem as the search for piecewise quadratic storage functions. Using specific sampling techniques, we reveal a fundamental limitation of general scaled graph approximation methods that are based on quadratic dissipativity.

math.OC↗

Scaled Relative Graphs and Dynamic Integral Quadratic Constraints: Connections and Computations for Nonlinear Systems

Scaled relative graphs (SRGs) enable graphical analysis and design of nonlinear systems. In this paper, we present a systematic approach for computing both soft and hard SRGs of nonlinear systems using dynamic integral quadratic constraints (IQCs). These constraints are exploited via application of the S-procedure to compute tractable SRG overbounds. In particular, we show that the multipliers associated with the IQCs define regions in the complex plane. Soft SRG computations are formulated through frequency-domain conditions, while hard SRGs are obtained via hard factorizations of multipliers and linear matrix inequalities. The overbounds are used to derive an SRG-based feedback stability result for Lur'e-type systems, providing a new graphical interpretation of classical IQC stability results with dynamic multipliers.

math.OC↗

Continuity Conditions for Piecewise Quadratic Functions on Simplicial Conic Partitions are Equivalent

Analysis of continuous-time piecewise linear systems based on piecewise quadratic (PWQ) Lyapunov functions typically requires continuity of these functions over a partition of the state space. Several conditions for guaranteeing continuity of PWQ functions over state space partitions can be found in the literature. In this technical note, we show that these continuity conditions are equivalent over so-called simplicial conic partitions. As a consequence, the choice of which condition to impose can be based solely on practical considerations such as specific application or numerical aspects, without introducing additional conservatism in the analysis.

math.OC↗

A Dissipativity Framework for Constructing Scaled Graphs

Scaled relative graphs have been originally introduced in the context of convex optimization and have recently gained attention in the control systems community for the graphical analysis of nonlinear systems. Of particular interest in stability analysis of feedback systems is the scaled graph, a special case of the scaled relative graph. In many ways, scaled graphs can be seen as a generalization of the classical Nyquist plot for linear time-invariant systems, and facilitate a powerful graphical tool for analyzing nonlinear feedback systems. In their current formulation, however, scaled graphs require characterizing the input-output behaviour of a system for an uncountable number of inputs. This poses a practical bottleneck in obtaining the scaled graph of a nonlinear system, and currently limits its use. This paper presents a framework grounded in dissipativity for efficiently computing the scaled graph of several important classes of systems, including multivariable linear time-invariant systems, impulsive systems, and piecewise linear systems. The proposed approach leverages novel connections between linear matrix inequalities, integral quadratic constraints, and scaled graphs, and is shown to be exact for specific linear time-invariant systems. The results are accompanied by several examples illustrating the potential and effectiveness of the presented framework.

math.OC↗

On phase in scaled graphs

The scaled graph has been introduced recently as a nonlinear extension of the classical Nyquist plot for linear time-invariant systems. In this paper, we introduce a modified definition for the scaled graph, termed the signed scaled graph (SSG), in which the phase component is characterized by making use of the Hilbert transform. Whereas the original definition of the scaled graph uses unsigned phase angles, the new definition has signed phase angles which ensures the possibility to differentiate between phase-lead and phase-lag properties in a system. Making such distinction is important from both an analysis and a synthesis perspective, and helps in providing tighter stability estimates of feedback interconnections. We show how the proposed SSG leads to intuitive characterizations of positive real and negative imaginary nonlinear systems, and present various interconnection results. We showcase the effectiveness of our results through several motivating examples.

eess.SY↗

Exploiting Structure in MIMO Scaled Graph Analysis

Scaled graphs offer a graphical tool for analysis of nonlinear feedback systems. Although recently substantial progress has been made in scaled graph analysis, at present their use in multivariable feedback systems is limited by conservatism. In this paper, we aim to reduce this conservatism by introducing multipliers and exploit system structure in the analysis with scaled graphs. In particular, we use weighted inner products to arrive at a weighted scaled graph and combine this with a commutation property to formulate a stability result for multivariable feedback systems. We present a method for computing the weighted scaled graph of Lur'e systems based on solving sets of linear matrix inequalities, and demonstrate a significant reduction in conservatism through an example.

eess.SY↗

Characterizing nonlinear systems with mixed input-output properties through dissipation inequalities

Systems that show different characteristics, such as finite-gain and passivity, depending on the nature of the inputs, are said to possess mixed input-output properties. In this paper, we provide a constructive method for characterizing mixed input-output properties of nonlinear systems using a dissipativity framework. Our results take inspiration from the generalized Kalman-Yakubovich-Popov lemma, and show that a system is mixed if it is dissipative with respect to highly specialized supply rates. The mixed input-output characterization is used for assessing stability of feedback interconnections in which the feedback components violate conditions of classical results such as the small-gain and passivity theorem. We showcase applicability of our results through various examples.

eess.SY↗