Mini-Workshop: Recent Developments on Approximation Methods for Controlled Evolution Equations

This mini-workshop brought together mathematicians engaged in partial differential equations, functional analysis, numerical analysis and systems theory in order to address a number of current problems in the approximation of controlled evolution equations

Robust filtering for joint state parameter estimation for distributed mechanical systems

International audienceWe present an effective filtering procedure for jointly estimating state variables and parameters in a distributed mechanical system. This method is based on a robust, low-cost filter related to collocated feedback and used to estimate state variables, and an $H^\infty$ setting is then employed to formulate a joint state-parameter estimation filter. In addition to providing a tractable filtering approach for an infinite-dimensional mechanical system, the $H^\infty$ setting allows to consider measurement errors that cannot be handled by Kalman type filters, e.g. for measurements only available on the boundary. For this estimation strategy a complete error analysis is given, and a detailed numerical assessment - using a test problem inspired from cardiac biomechanics - demonstrates the effectiveness of our approach

Backstepping boundary observer based-control for hyperbolic PDE in rotary drilling system

International audienceIt is well known that torsional vibrations in oil well system affect the drilling directions and may be inherent for drilling systems. The drill pipe model is described by second order hyperbolic Partial Differential Equation (PDE) with mixed boundary conditions in which a sliding velocity is considered at the top end. In this paper, we consider the problem of boundary observer design for one-dimensional PDE with the usually neglected damping term. The main purpose is the construction of a control law which stabilizes the damped wave PDE, using only boundary measurements. From the Lyapunov theory, we show an exponentially vibration stability of the partially equipped oil well drilling system. The observer-based control law is found using the backstepping approach for second-order hyperbolic PDE. The numerical simulations confirm the effectiveness of the proposed PDE observer based controller

Filtering for distributed mechanical systems using position measurements: perspectives in medical imaging

International audienceWe propose an effective filtering methodology designed to perform estimation in a distributed mechanical system using position measurements. As in a previously introduced method, the filter is inspired from robust control feedback, but here we take full advantage of the estimation specificity to choose a feedback law that can act on displacements instead of velocities and still retain the same kind of dissipativity property which guarantees robustness. This is very valuable in many applications for which positions are more readily available than velocities, as in medical imaging. We provide an in-depth analysis of the proposed procedure, as well as detailed numerical assessments using a test problem inspired from cardiac biomechanics, as medical diagnosis assistance is an important perspective for this approach. The method is formulated first for measurements based on Lagrangian displacements, but we then derive a nonlinear extension allowing to instead consider segmented images, which of course is even more relevant in medical applications

Dynamic polynomial stabilization of a 1D wave equation

We study observer-based dynamic stabilization of a one-dimensional wave equation with boundary control and distributed observation. The control system we consider is exponentially stabilizable but not exponentially detectable. Consequently, exponential energy decay is not achievable with dynamic output feedback. As our main result we design an observer-based controller which achieves rational decay of energy for a class of initial conditions. The controller design relies on helpful results on polynomial stability of semigroups generated by block operator matrices.acceptedVersionPeer reviewe