SearcharxivSearch

arXiv subjects

Vincent Andrieu

Publications and source records attributed to Vincent Andrieu.

At least 19 recordsLinked to original sources

Learning a Contracting KKL-observer with Local Optimal Guarantees

The Kazantzis-Kravaris-Luenberger (KKL) observer provides a general framework for nonlinear state estimation by immersing the system dynamics into a stable linear or nonlinear latent dynamics. However, the performance of KKL observers relies heavily on the specific choice of these latent dynamics, which is often heuristic. This paper proposes a methodology to learn a KKL observer that combines global stability guarantees with local optimality. We derive a condition on the latent dynamics such that the observer locally mimics the behavior of a Minimum Energy Estimator (Mortensen observer). We then employ Deep Learning to approximate the KKL transformation and the latent dynamics, using neural network architectures that structurally enforce the contraction property. The proposed strategy is validated through numerical simulations on nonlinear benchmarks, demonstrating a good performance in the presence of state and measurement noise.

eess.SY

Proximal observers for secure state estimation

This paper discusses a general framework for designing robust state estimators for a class of discrete-time nonlinear systems. We consider systems that may be impacted by impulsive (sparse but otherwise arbitrary) measurement noise sequences. We show that a family of state estimators, robust to this type of undesired signal, can be obtained by minimizing a class of nonsmooth convex functions at each time step. The resulting state observers are defined through proximal operators. We obtain a nonlinear implicit dynamical system in term of estimation error and prove, in the noise-free setting, that it vanishes asymptotically when the minimized loss function and the to-be-observed system enjoy appropriate properties. From a computational perspective, even though the proposed observers can be implemented via efficient numerical procedures, they do not admit closed-form expressions. The paper argues that by adopting appropriate relaxations, simple and fast analytic expressions can be derived.

math.OC

Edges' Riemannian energy analysis for synchronization of multi-agent nonlinear systems over undirected weighted graphs

In this note we investigate the problem of global exponential synchronization of multi-agent systems described by nonlinear input affine dynamics. We consider the case of networks described by undirected connected graphs possibly without leader. We present a set of sufficient conditions based on a Riemannian metric approach in order to design a state-feedback distributed control law. Then, we study the convergence properties of the overall network. By exploiting the properties of the edge Laplacian we construct a Lyapunov function that allows to conclude global exponential synchronization of the overall network.

math.OC

Generalized Lyapunov conditions for k-contraction: analysis and feedback design

Recently, the concept of k-contraction has been introduced as a promising generalization of contraction for dynamical systems. However, the study of k-contraction properties has faced significant challenges due to the reliance on complex mathematical objects called matrix compounds. As a result, related control design methodologies have yet to appear in the literature. In this paper, we overcome existing limitations and propose new sufficient conditions for k-contraction which do not require matrix compounds computation. Notably, these conditions are also necessary in the linear time-invariant framework. Leveraging on these findings, we propose a feedback design methodology for both the linear and the nonlinear scenarios which can be used to enforce k-contractivity properties on the closed-loop dynamics.

eess.SY

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

Integral action feedback design for conservative abstract systems in the presence of input nonlinearities

In this article, we present a stabilization feedback law with integral action for conservative abstract linear systems subjected to actuator nonlinearity. Based on the designed control law, we first prove the well-posedness and global asymptotic stability of the origin of the closed-loop system by constructing a weak Lyapunov functional. Secondly, as an illustration, we apply the results to a wave equation coupled with an ordinary differential equation (ODE) at the boundary. Finally, we give the simulation results to illustrate the effectiveness of our method.

math.OC

Exponential stabilizability and observability at the target imply semiglobal exponential stabilizability by templated output feedback

For nonlinear analytic control systems, we introduce a new paradigm for dynamic output feedback stabilization. We propose to periodically sample the usual observer based control law, and to reshape it so that it coincides with a ''control template'' on each time period. By choosing a control template making the system observable, we prove that this method allows to bypass the uniform observability assumption that is used in most nonlinear separation principles. We prove the genericity of control templates by adapting a universality theorem of Sussmann.

math.OC

Distributed Event-Triggered Leader-Follower Consensus of Nonlinear Multi-Agent Systems

We consider the distributed leader-follower consensus problem with event-triggered communications. The system under consideration is a non-linear input-affine multi agent system. The agents are assumed to have identical dynamics structure with uncertain parameters and satisfying an incremental stabilisability condition. A distributed control law is proposed which achieves consensus based on two novel Communication Triggering Conditions (CTCs): the first one to achieve an asymptotic consensus but without any guarantees on Zeno behaviour and the second one to exclude Zeno behaviour but with practical consensus.

math.OC

Total stability and integral action for discrete-time nonlinear systems

Robustness guarantees are important properties to be looked for during control design. They ensure stability of closed-loop systems in face of uncertainties, unmodeled effects and bounded disturbances. While the theory on robust stability is well established in the continuous-time nonlinear framework, the same cannot be stated for its discrete-time counterpart. In this paper, we propose the discrete-time parallel of total stability results for continuous-time nonlinear system. This enables the analysis of robustness properties via simple model difference in the discrete-time context. First, we study how existence of equilibria for a nominal model transfers to sufficiently similar ones. Then, we provide results on the

eess.SY

Deep KKL: Data-driven Output Prediction for Non-Linear Systems

We address the problem of output prediction, ie. designing a model for autonomous nonlinear systems capable of forecasting their future observations. We first define a general framework bringing together the necessary properties for the development of such an output predictor. In particular, we look at this problem from two different viewpoints, control theory and data-driven techniques (machine learning), and try to formulate it in a consistent way, reducing the gap between the two fields. Building on this formulation and problem definition, we propose a predictor structure based on the Kazantzis-Kravaris/Luenberger (KKL) observer and we show that KKL fits well into our general framework. Finally, we propose a constructive solution for this predictor that solely relies on a small set of trajectories measured from the system. Our experiments show that our solution allows to obtain an efficient predictor over a subset of the observation space.

cs.LG

Forwarding-Lyapunov design for the stabilization of coupled ODEs and exponentially stable PDEs

This paper is about the stabilization of a cascade system composed by an infinite-dimensional system, that we suppose to be exponentially stable, and an ordinary differential equation (ODE), that we suppose to be marginally stable. The system is controlled through the infinite-dimensional system. Such a structure is particularly useful when applying the internal model approach on infinite-dimensional systems. Our strategy relies on the forwarding method, which uses a Lyapunov functional and a Sylvester equation to build a feedback-law. Under some classical assumptions in the output regulation theory, we prove that the closed-loop system is globally exponentially stable.

math.AP

Luenberger observers for infinite-dimensional systems, Back and Forth Nudging and application to a crystallization process

This paper deals with the observer design problem for time-varying linear infinite-dimensional systems. We address both the problem of online estimation of the state of the system from the output via an asymptotic observer, and the problem of offline estimation of the initial state via a Back and Forth Nudging (BFN) algorithm. In both contexts, we show under a weak detectability assumption that a Luenberger-like observer may reconstruct the so-called observable subspace of the system. However, since no exact observability hypothesis is required, only a weak convergence of the observer holds in general. Additional conditions on the system are required to show the strong convergence. We provide an application of our results to a batch crystallization process modeled by a one-dimensional transport equation with periodic boundary conditions, in which we try to estimate the Crystal Size Distribution from the Chord Length Distribution.

math.OC

Interval-valued estimation for discrete-time linear systems: application to switched systems

This paper proposes a new framework for constructing interval-valued state estimators for discrete-time linear and switched linear systems. Our main results are (i) the derivation of the tightest interval-valued estimator for linear discrete-time systems; (ii) a systematic design method for interval-valued state estimators; (iii) an application of the proposed estimation framework to switched linear systems.

eess.SY

Dynamic Output Feedback Stabilization of Non-uniformly Observable Dissipative Systems

Output feedback stabilization of control systems is a crucial issue in engineering. Most of these systems are not uniformly observable, which proves to be a difficulty to move from state feedback stabilization to dynamic output feedback stabilization. In this paper, we present a methodology to overcome this challenge in the case of dissipative systems by requiring only target detectability. These systems appear in many physical systems and we provide various examples and applications of the result.

math.OC

New dynamical observer for a batch crystallization process based on solute concentration

In this paper a new observer is introduced to estimate the Crystal Size Distribution (CSD) only from the measurements of the solute concentration, temperature and a model of the growth rate. No model of the nucleation rate is needed. This approach is based on the use of a Kazantzis-Kravaris/Luenberger observer which exponentially estimates functionals of the CSD. Then, the full state is estimated by means of a Tikhonov regularization procedure. Numerical simulations are provided. Our approach relies on an infinite-dimensional observer, contrarily to the usual moment based observers.

math.OC

From local to global asymptotic stabilizability for weakly contractive control systems

A nonlinear control system is said to be weakly contractive in the control if the flow that it generates is non-expanding (in the sense that the distance between two trajectories is a non-increasing function of time) for some fixed Riemannian metric independent of the control. We prove in this paper that for such systems, local asymptotic stabilizability implies global asymptotic stabilizability by means of a dynamic state feedback. We link this result and the so-called Jurdjevic and Quinn approach.

math.OC

Luenberger observers for discrete-time nonlinear systems

In this paper, we consider the problem of designing an asymptotic observer for a nonlin-ear dynamical system in discrete-time following Luenberger's original idea. This approach is a two-step design procedure. In a first step, the problem is to estimate a function of the state. The state estimation is obtained by inverting this mapping. Similarly to the continuous-time context, we show that the first step is always possible provided a linear and stable discrete-time system fed by the output is introduced. Based on a weak observ-ability assumption, it is shown that picking the dimension of the stable auxiliary system sufficiently large, the estimated function of the state is invertible. This approach is illustrated on linear systems with polynomial output. The link with the Luenberger observer obtained in the continuous-time case is also investigated.

math.OC

Adding integral action for open-loop exponentially stable semigroups and application to boundary control of PDE systems

The paper deals with output feedback stabilization of exponentially stable systems by an integral controller. We propose appropriate Lyapunov functionals to prove exponential stability of the closed-loop system. An example of parabolic PDE (partial differential equation) systems and an example of hyperbolic systems are worked out to show how exponentially stabilizing integral controllers are designed. The proof is based on a novel Lyapunov functional construction which employs the forwarding techniques.

math.AP