arXiv subjects

Laurent Praly

Publications and source records attributed to Laurent Praly.

13 recordsLinked to original sources

arXiv2024

On the existence of KKL observers with nonlinear contracting dynamics (Long Version)

KKL (Kazantzis-Kravaris/Luenberger) observers are based on the idea of immersing a given nonlinear system into a target system that is a linear stable filter of the measured output. In the present paper, we extend this theory by allowing this target system to be a nonlinear contracting filter of the output. We prove, under a differential observability condition, the existence of these new KKL observers. We motivate their introduction by showing numerically the possibility of combining convergence speed and robustness to noise, unlike what is known for linear filtering.

math.OC↗

arXiv2023

Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part III)

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.

eess.SY↗

arXiv2021

Nonlinear Robust Periodic Output Regulation of Minimum Phase Systems

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.

eess.SY↗

arXiv2018

Expressing an observer in preferred coordinates by transforming an injective immersion into a surjective diffeomorphism

When designing observers for nonlinear systems, the dynamics of the given system and of the designed observer are usually not expressed in the same coordinates or even have states evolving in different spaces. In general, the function, denoted $τ$ (or its inverse, denoted $τ^*$) giving one state in terms of the other is not explicitly known and this creates implementation issues. We propose to round this problem by expressing the observer dynamics in the the same coordinates as the given system. But this may impose to add extra coordinates, problem that we call augmentation. This may also impose to modify the domain or the range of the augmented" $τ$ or $τ^*$, problem that we call extension. We show that the augmentation problem can be solved partly by a continuous completion of a free family of vectors and that the extension problem can be solved by a function extension making the image of the extended function the whole space. We also show how augmentation and extension can be done without modifying the observer dynamics and therefore with maintaining convergence.Several examples illustrate our results.

math.DS↗

arXiv2017

On the triangular canonical form for uniformly observable controlled systems

We study controlled systems which are uniformly observable and differentially observable with an order larger than the system state dimension. We establish that they may be transformed into a (partial) triangular canonical form but with possibly non locally Lipschitz functions. We characterize the points where this Lipschitzness may be lost and investigate the link with uniform infinitesimal observability.

math.OC↗

arXiv2017

Observers for a non-Lipschitz triangular form

We address the problem of designing an observer for triangular non locally Lipschitz dynamical systems. We show the convergence with an arbitrary small error of the classical high gain observer in presence of nonlinearities verifying some H{ö}lder-like condition. Also, for the case when this H{ö}lder condition is not verified, we propose a novel cascaded high gain observer. Under slightly more restrictive assumptions, we prove the convergence of a homogeneous observer and of its cascaded version with the help of an explicit Lyapunov function.

math.OC↗

arXiv2016

Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part II)

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.

math.OC↗

arXiv2016

Transverse exponential stability and applications

We investigate how the following properties are related to each other: i)-A manifold is "transversally" exponentially stable; ii)-The "transverse" linearization along any solution in the manifold is exponentially stable; iii)-There exists a field of positive definite quadratic forms whose restrictions to the directions transversal to the manifold are decreasing along the flow. We illustrate their relevance with the study of exponential incremental stability. Finally, we apply these results to two control design problems, nonlinear observer design and synchronization. In particular, we provide necessary and sufficient conditions for the design of nonlinear observer and of nonlinear synchronizer with exponential convergence property.

math.DS↗

arXiv2015

Integral Action in Output Feedback for multi-input multi-output nonlinear systems

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.

eess.SY↗

arXiv2015

Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part I)

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.

math.OC↗

arXiv2009

On the Existence of a Kazantzis-Kravaris/Luenberger Observer

We state sufficient conditions for the existence, on a given open set, of the extension, to nonlinear systems, of the Luenberger observer as it has been proposed by Kazantzis and Kravaris. We prove it is sufficient to choose the dimension of the system, giving the observer, less than or equal to 2 + twice the dimension of the state to be observed. We show that it is sufficient to know only an approximation of the solution of a PDE, needed for the implementation. We establish a link with high gain observers. Finally we extend our results to systems satisfying an unboundedness observability property.

math.OC↗

arXiv2009

Homogeneous Approximation, Recursive Observer Design, and Output Feedback

We introduce two new tools that can be useful in nonlinear observer and output feedback design. The first one is a simple extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this extension, we give several results concerning stability and robustness for a homogeneous in the bi-limit vector field. The second tool is a new recursive observer design procedure for a chain of integrator. Combining these two tools, we propose a new global asymptotic stabilization result by output feedback for feedback and feedforward systems.

math.OC↗

arXiv2006

Output Stabilization via Nonlinear Luenberger Observers

The present paper addresses the problem of existence of an (output) feedback law to the purposes of asymptotically steering to zero a given controlled variable, while keeping all state variables bounded, for any initial conditions in a given compact set. The problem can be viewed as an extension of the classical problem of semi-globally stabilizing the trajectories of a controlled system to a compact set. The problem also encompasses a version of the classical problem of output regulation. Assuming only the existence of a feedback law that keeps the trajectories of the zero dynamics of the controlled plant bounded, it is shown that there exists a controller solving the problem at hand. The paper is deliberately focused on theoretical results regarding the existence of such controller. Practical aspects involving the design and the implementation of the controller are left to a forthcoming work.

math.OC↗