-
Nonlinear Robust Periodic Output Regulation of Minimum Phase Systems
Authors:
Daniele Astolfi,
Laurent Praly,
Lorenzo Marconi,
Mines Paristech
Abstract:
In linear systems theory it's a well known fact that a regulator given by the cascade of an oscillatory dynamics, driven by some regulated variables, and of a stabiliser stabilising the cascade of the plant and of the oscillators has the ability of blocking on the steady state of the regulated variables any harmonics matched with the ones of the oscillators. This is the well-celebrated internal mo…
▽ More
In linear systems theory it's a well known fact that a regulator given by the cascade of an oscillatory dynamics, driven by some regulated variables, and of a stabiliser stabilising the cascade of the plant and of the oscillators has the ability of blocking on the steady state of the regulated variables any harmonics matched with the ones of the oscillators. This is the well-celebrated internal model principle. In this paper we are interested to follow the same design route for a controlled plant that is a nonlinear and periodic system with period T : we add a bunch of linear oscillators, embedding n o harmonics that are multiple of 2$π$/T , driven by a "regulated variable" of the nonlinear system, we look for a stabiliser for the nonlinear cascade of the plant and the oscillators, and we study the asymptotic properties of the resulting closedloop regulated variable. In this framework the contributions of the paper are multiple: for specific class of minimum-phase systems we present a systematic way of designing a stabiliser, which is uniform with respect to n o , by using a mix of high-gain and forwarding techniques; we prove that the resulting closed-loop system has a periodic steady state with period T with a domain of attraction not shrinking with n o ; similarly to the linear case, we also show that the spectrum of the steady state closed-loop regulated variable does not contain the n harmonics embedded in the bunch of oscillators and that the L 2 norm of the regulated variable is a monotonically decreasing function of n o. The results are robust, namely the asymptotic properties on the regulated variable hold also in presence of any uncertainties in the controlled plant not destroying closed-loop stability.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part III)
Authors:
Ricardo G. Sanfelice,
Laurent Praly
Abstract:
This paper is the third and final component of a three-part effort on observers contracting a Riemannian distance between the state of the system and its estimate. In Part I, we showed that such a contraction property holds if the system dynamics and the Riemannian metric satisfy two key conditions: a differential detectability property and a geodesic monotonicity property. With the former conditi…
▽ More
This paper is the third and final component of a three-part effort on observers contracting a Riemannian distance between the state of the system and its estimate. In Part I, we showed that such a contraction property holds if the system dynamics and the Riemannian metric satisfy two key conditions: a differential detectability property and a geodesic monotonicity property. With the former condition being the focus of Part II, in this Part III, we study the latter condition in relationship to the nullity of the second fundamental form of the output function. We formulate sufficient and necessary conditions for it to hold. We establish a link between it and the infinite gain margin property, and we provide a systematic way for constructing a metric satisfying this condition. Finally, we illustrate cases where both conditions hold and propose ways to facilitate the satisfaction of these two conditions together.
△ Less
Submitted 4 May, 2023; v1 submitted 16 February, 2021;
originally announced February 2021.
-
Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part II)
Authors:
Ricardo G. Sanfelice,
Laurent Praly
Abstract:
In [1], it is established that a convergent observer with an infinite gain margin can be designed for a given nonlinear system when a Riemannian metric showing that the system is differentially detectable (i.e., the Lie derivative of the Riemannian metric along the system vector field is negative in the space tangent to the output function level sets) and the level sets of the output function are…
▽ More
In [1], it is established that a convergent observer with an infinite gain margin can be designed for a given nonlinear system when a Riemannian metric showing that the system is differentially detectable (i.e., the Lie derivative of the Riemannian metric along the system vector field is negative in the space tangent to the output function level sets) and the level sets of the output function are geodesically convex is available. In this paper, we propose techniques for designing a Riemannian metric satisfying the first property in the case where the system is strongly infinitesimally observable (i.e., each time-varying linear system resulting from the linearization along a solution to the system satisfies a uniform observability property) or where it is strongly differentially observable (i.e. the mapping state to output derivatives is an injective immersion) or where it is Lagrangian. Also, we give results that are complementary to those in [1]. In particular, we provide a locally convergent observer and make a link to the existence of a reduced order observer. Examples illustrating the results are presented.
△ Less
Submitted 19 June, 2016;
originally announced June 2016.
-
Integral Action in Output Feedback for multi-input multi-output nonlinear systems
Authors:
Daniele Astolfi,
Laurent Praly
Abstract:
We address a particular problem of output regulation for multi-input multi-output nonlinear systems. Specifically, we are interested in making the stability of an equilibrium point and the regulation to zero of an output, robust to (small) unmodelled discrepancies between design model and actual system in particular those introducing an offset. We propose a novel procedure which is intended to be…
▽ More
We address a particular problem of output regulation for multi-input multi-output nonlinear systems. Specifically, we are interested in making the stability of an equilibrium point and the regulation to zero of an output, robust to (small) unmodelled discrepancies between design model and actual system in particular those introducing an offset. We propose a novel procedure which is intended to be relevant to real life systems, as illustrated by a (non academic) example.
△ Less
Submitted 3 August, 2015;
originally announced August 2015.
-
Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part I)
Authors:
Ricardo G. Sanfelice,
Laurent Praly
Abstract:
We study how convergence of an observer whose state lives in a copy of the given system's space can be established using a Riemannian metric. We show that the existence of an observer guaranteeing the property that a Riemannian distance between system and observer solutions is nonincreasing implies that the Lie derivative of the Riemannian metric along the system vector field is conditionally nega…
▽ More
We study how convergence of an observer whose state lives in a copy of the given system's space can be established using a Riemannian metric. We show that the existence of an observer guaranteeing the property that a Riemannian distance between system and observer solutions is nonincreasing implies that the Lie derivative of the Riemannian metric along the system vector field is conditionally negative. Moreover, we establish that the existence of this metric is related to the observability of the system's linearization along its solutions. Moreover, if the observer has an infinite gain margin then the level sets of the output function are geodesically convex. Conversely, we establish that, if a complete Riemannian metric has a Lie derivative along the system vector field that is conditionally negative and is such that the output function has a monotonicity property, then there exists an observer with an infinite gain margin.
△ Less
Submitted 14 July, 2015; v1 submitted 21 December, 2014;
originally announced December 2014.
