Approximate observability and back and forth observer of a PDE model of crystallisation process

In this paper, we are interested in the estimation of Particle Size Distributions (PSDs) during a batch crystallization process in which particles of two different shapes coexist and evolve simultaneously. The PSDs are estimated thanks to a measurement of an apparent Chord Length Distribution (CLD), a measure that we model for crystals of spheroidal shape. Our main result is to prove the approximate observability of the infinite-dimensional system in any positive time. Under this observability condition, we are able to apply a Back and Forth Nudging (BFN) algorithm to reconstruct the PSD

New inversion methods for the single/multi-shape CLD-to-PSD problem with spheroid particles

In this paper, we express the Chord Length Distribution (CLD) measure associated to a given Particle Size Distribution (PSD) when particles are modeled as suspended spheroids in a reactor. Using this approach, we propose two methods to reconstruct the unknown PSD from its CLD. In the single-shape case where all spheroids have the same shape, a Tikhonov regularization procedure is implemented. In the multi-shape case, the measured CLD mixes the contribution of the PSD associated to each shape. Then, an evolution model for a batch crystallization process allows to introduce a Back and Forth Nudging (BFN) algorithm, based on dynamical observers. We prove the convergence of this method when crystals are split into two clusters: spheres and elongated spheroids. These methods are illustrated with numerical simulations

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

A comment on ''Robust stabilization of delayed neural fields with partial measurement and actuation'' [Automatica 83 (2017) 262-274]

In [2], the authors study the stabilization of a class of delayed neural fields through output proportional feedback. They provide a condition under which the resulting closed-loop system is input-to-state stable (ISS). However, a key assumption in that paper is the existence of an equilibrium for the closed-loop system. We show here that such an equilibrium does exist if the activation functions are bounded

Adaptive observer and control of spatiotemporal delayed neural fields

An adaptive observer is proposed to estimate the synaptic distribution between neurons asymptotically from the measurement of a part of the neuronal activity and a delayed neural field evolution model. The convergence of the observer is proved under a persistency of excitation condition. Then, the observer is used to derive a feedback law ensuring asymptotic stabilization of the neural fields. Finally, the feedback law is modified to ensure simultaneously practical stabilization of the neural fields and asymptotic convergence of the observer under additional restrictions on the system. Numerical simulations confirm the relevance of the approach

Forward completeness implies bounded reachable sets for time-delay systems on the state space of essentially bounded measurable functions

We consider time-delay systems with a finite number of delays in the state space $L^\infty\times\mathbb{R}^n$. In this framework, we show that forward completeness implies the bounded reachability sets property, while this implication was recently shown by J.L. Mancilla-Aguilar and H. Haimovich to fail in the state space of continuous functions. As a consequence, we show that global asymptotic stability is always uniform in the state space $L^\infty\times\mathbb{R}^n$

For time-invariant delay systems, global asymptotic stability does not imply uniform global attractivity

Adapting a counterexample recently proposed by J.L. Mancilla-Aguilar and H. Haimovich, we show here that, for time-delay systems, global asymptotic stability does not ensure that solutions converge uniformly to zero over bounded sets of initial states. Hence, the convergence might be arbitrarily slow even if initial states are confined to a bounded set

Avoiding observability singularities in output feedback bilinear systems

Control-affine output systems generically present observability singularities, i.e. inputs that make the system unobservable. This proves to be a difficulty in the context of output feedback stabilization, where this issue is usually discarded by uniform observability assumptions for state feedback stabilizable systems. Focusing on state feedback stabilizable bilinear control systems with linear output, we use a transversality approach to provide perturbations of the stabilizing state feedback law, in order to make our system observable in any time even in the presence of singular inputs

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