arXiv subjects

Emmanuel Witrant

Publications and source records attributed to Emmanuel Witrant.

14 recordsLinked to original sources

arXiv2026

Spectral Boundary Observer for Counter-Flow Heat Exchangers

We consider a system of two coupled first-order linear hyperbolic partial differential equations modeling heat transport in a counter-flow heat exchanger: one equation describes the transport of a hot fluid, and the other the transport of a cold fluid in the opposite direction. For this system, we design a boundary observer that uses only the temperature of the cold fluid measured at one boundary. Our approach is spectral: by assigning the spectrum of the operator governing the observation error dynamics to a prescribed region within the open left-half complex plane, we can freely tune the convergence rate of the observation error to zero in the $L^2$ norm. The main technical contribution is the proof that spectral stability, that is, the location of the spectrum in the open left-half plane, is equivalent to $L^2$ exponential stability of the origin for the observation error dynamics. This equivalence is established by showing that the operator governing the observation error dynamics satisfies the so-called spectral mapping property.

eess.SY↗

arXiv2025

Optimal Control of H-Mode Tokamak Plasma Temperature based on Pontryagin's Principle

This paper studies the decay of an objective functional using a new control technique within Pontryagin's framework. Convergence analysis is carried out on the infinite-dimensional space of Tokamak plasma dynamical state as described by weakly decoupled nonlinear partial differential equations. An adjoint-based optimal control is derived to minimize the deviation from a predefined dynamical trajectory leading to the desired target state at stationary regime, by turning Pontryagin's transversality conditions into a continuum of horizons. A feedback controller is proposed to steer the system efficiently in real time, as opposed to an open-loop controller resulting from the classical Pontryagin's setting. An algorithm synthesizing the constraint-free optimal controller is used for profile tracking based on experimental data.

math.OC↗

arXiv2025

Stream Function-Based Navigation for Complex Quadcopter Obstacle Avoidance

This article presents a novel stream function-based navigational control system for obstacle avoidance, where obstacles are represented as two-dimensional (2D) rigid surfaces in inviscid, incompressible flows. The approach leverages the vortex panel method (VPM) and incorporates safety margins to control the stream function and flow properties around virtual surfaces, enabling navigation in complex, partially observed environments using real-time sensing. To address the limitations of the VPM in managing relative distance and avoiding rapidly accelerating obstacles at close proximity, the system integrates a model predictive controller (MPC) based on higher-order control barrier functions (HOCBF). This integration incorporates VPM trajectory generation, state estimation, and constraint handling into a receding-horizon optimization problem. The 2D rigid surfaces are enclosed using minimum bounding ellipses (MBEs), while an adaptive Kalman filter (AKF) captures and predicts obstacle dynamics, propagating these estimates into the MPC-HOCBF for rapid avoidance maneuvers. Evaluation is conducted using a PX4-powered Clover drone Gazebo simulator and real-time experiments involving a COEX Clover quadcopter equipped with a 360 degree LiDAR sensor.

cs.RO↗

arXiv2025

Boundary Control for Wildfire Mitigation

In this paper, we propose a feedback control strategy to protect vulnerable areas from wildfires. We consider a system of coupled partial differential equations (PDEs) that models heat propagation and fuel depletion in wildfires and study two cases. First, when the wind velocity is known, we design a Neumann-type boundary controller guaranteeing that the temperature of some protected region converges exponentially, in the $L^2$ norm, to the ambient temperature. Second, when the wind velocity is unknown, we design an adaptive Neumann-type boundary controller guaranteeing the asymptotic convergence, in the $L^2$ norm, of the temperature of the protected region to the ambient temperature. In both cases, the controller acts along the boundary of the protected region and relies solely on temperature measurements along that boundary. Our results are supported by numerical simulations.

math.AP↗

arXiv2024

Inverse Optimal Cardano-Lyapunov Feedback for PDEs with Convection

We consider the problem of inverse optimal control design for systems that are not affine in the control. In particular, we consider some classes of partial differential equations (PDEs) with quadratic convection and counter-convection, for which the L2 norm is a control Lyapunov function (CLF) whose derivative has either a depressed cubic or a quadratic dependence in the boundary control input. We also consider diffusive PDEs with or without linear convection, for which a weighted L2 norm is a CLF whose derivative has a quadratic dependence in the control input. For each structure on the derivative of the CLF, we achieve inverse optimality with respect to a meaningful cost functional. For the case where the derivative of the CLF has a depressed cubic dependence in the control, we construct a cost functional for which the unique minimizer is the unique real root of a cubic polynomial: the Cardano-Lyapunov controller. When the derivative of the CLF is quadratic in the control, we construct a cost functional that is minimized by two distinct feedback laws, that correspond to the two distinct real roots of a quadratic equation. We show how to switch from one root to the other to reduce the control effort.

eess.SY↗

arXiv2024

Adaptive Boundary Control of the Kuramoto-Sivashinsky Equation Under Intermittent Sensing

We study in this paper boundary stabilization, in the L2 sense, of the perturbed Kuramoto-Sivashinsky (KS) equation subject to intermittent sensing. We assume that we measure the state on a given spatial subdomain during certain time intervals, while we measure the state on the remaining spatial subdomain during the remaining time intervals. We assign a feedback law at the boundary of the spatial domain and force to zero the value of the state at the junction of the two subdomains. Throughout the study, the equation's destabilizing coefficient is assumed to be unknown and possibly space dependent but bounded. As a result, adaptive boundary controllers are designed under different assumptions on the perturbation. In particular, we guarantee input-to-state stability (ISS) when an upperbound on the perturbation's size is known. Otherwise, only global uniform ultimate boundedness (GUUB) is guaranteed. In contrast, when the state is measured at every spatial point all the time (full state measurement), convergence to an arbitrarily-small neighborhood of the origin is guaranteed, even if the perturbation's maximal size is unknown. Numerical simulations are performed to illustrate our results.

eess.SY↗

arXiv2024

From Sontag s to Cardano-Lyapunov Formula for Systems Not Affine in the Control: Convection-Enabled PDE Stabilization

We propose the first generalization of Sontag s universal controller to systems not affine in the control, particularly, to PDEs with boundary actuation. We assume that the system admits a control Lyapunov function (CLF) whose derivative, rather than being affine in the control, has either a depressed cubic, quadratic, or depressed quartic dependence on the control. For each case, a continuous universal controller that vanishes at the origin and achieves global exponential stability is derived. We prove our result in the context of convectionreaction-diffusion PDEs with Dirichlet actuation. We show that if the convection has a certain structure, then the L2 norm of the state is a CLF. In addition to generalizing Sontag s formula to some non-affine systems, we present the first general Lyapunov approach for boundary control of nonlinear PDEs. We illustrate our results via a numerical example.

eess.SY↗

arXiv2024

Convection-Enabled Boundary Control of a 2D Channel Flow

Nonlinear convection, the source of turbulence in fluid flows, may hold the key to stabilizing turbulence by solving a specific cubic polynomial equation. We consider the incompressible Navier-Stokes equations in a two-dimensional channel. The tangential and normal velocities are assumed to be periodic in the streamwise direction. The pressure difference between the left and right ends of the channel is constant. Moreover, we consider no-slip boundary conditions, that is, zero tangential velocity, at the top and bottom walls of the channel, and normal velocity actuation at the top and bottom walls. We design the boundary control inputs to achieve global exponential stabilization, in the L2 sense, of a chosen Poiseuille equilibrium profile for an arbitrarily large Reynolds number. The key idea behind our approach is to select the boundary controllers such that they have zero spatial mean (to guarantee mass conservation) but non-zero spatial cubic mean. We reveal that, because of convection, the time derivative of the L2 energy of the regulation error is a cubic polynomial in the cubic mean of the boundary inputs. Regulation is then achieved by solving a specific cubic equation, using the Cardano root formula. The results are illustrated via a numerical example.

eess.SY↗

arXiv2024

Improving a Proportional Integral Controller with Reinforcement Learning on a Throttle Valve Benchmark

This paper presents a learning-based control strategy for non-linear throttle valves with an asymmetric hysteresis, leading to a near-optimal controller without requiring any prior knowledge about the environment. We start with a carefully tuned Proportional Integrator (PI) controller and exploit the recent advances in Reinforcement Learning (RL) with Guides to improve the closed-loop behavior by learning from the additional interactions with the valve. We test the proposed control method in various scenarios on three different valves, all highlighting the benefits of combining both PI and RL frameworks to improve control performance in non-linear stochastic systems. In all the experimental test cases, the resulting agent has a better sample efficiency than traditional RL agents and outperforms the PI controller.

eess.SY↗

arXiv2023

On the Intelligent Proportional Controller Applied to Linear Systems

We analyze in this paper the effect of the well known intelligent proportional controller on the stability of linear control systems. Inspired by the literature on neutral time delay systems and advanced type systems, we derive sufficient conditions on the order of the control system, under which, the used controller fails to achieve exponential stability. Furthermore, we obtain conditions, relating the system s and the control parameters, such that the closed-loop system is either unstable or not exponentially stable. After that, we provide cases where the intelligent proportional controller achieves exponential stability. The obtained results are illustrated via numerical simulations, and on an experimental benchmark that consists of an electronic throttle valve.

math.OC↗

arXiv2023

Teaching data-driven control: from linear design to adaptive control with throttle valves

Electric throttle valves represent a challenge for control design, as their dynamics involve strong nonlinearities, characterized by an asymmetric hysteresis. Carrying experiments on multiple valves, a large variability in the characteristics of each valve and erratic steady-state behaviors can also be noticed, impairing classical model-based control strategies. Nevertheless, local data-driven linear models can be obtained and simple proportional-integral (PI) controllers, tuned individually for each valve with the appropriate data set, provide good tracking performance. As these controllers cannot be transposed from one valve to another, a robust strategy and an adaptive controller (using identification in closed-loop and controller re-design) may be necessary to propose a general method. This work aims at promoting control education on a simple yet challenging process, going from frequency analysis and linear design to an adaptive control method implemented with an online recursive algorithm.

eess.SY↗

arXiv2017

Compositional abstraction and safety synthesis using overlapping symbolic models

In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlapping symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided. Numerical experiments show that the proposed approach for symbolic control synthesis enables a significant complexity reduction with respect to the centralized approach, while reducing the conservatism with respect to compositional approaches using non-overlapping subsystems.

eess.SY↗

arXiv2013

Stability of switched linear hyperbolic systems by Lyapunov techniques (full version)

Switched linear hyperbolic partial differential equations are considered in this paper. They model infinite dimensional systems of conservation laws and balance laws, which are potentially affected by a distributed source or sink term. The dynamics and the boundary conditions are subject to abrupt changes given by a switching signal, modeled as a piecewise constant function and possibly a dwell time. By means of Lyapunov techniques some sufficient conditions are obtained for the exponential stability of the switching system, uniformly for all switching signals. Different cases are considered with or without a dwell time assumption on the switching signals, and on the number of positive characteristic velocities (which may also depend on the switching signal). Some numerical simulations are also given to illustrate some main results, and to motivate this study.

math.OC↗

arXiv2007

Towards Control of Steady State Plasma on Tore Supra

The Tore Supra tokamak is the largest superconducting magnetic fusion facility, has been devoted to long-duration high-performance discharge research. With a steady-state magnetic field and water cooled plasma facing components, discharges up to 6 minutes 24 seconds duration with injected / extracted energy up to 1 GJ have been performed. The Tore Supra real time measurements and control (RTMC) system has been upgraded to address schemes dedicated to long pulse operation with simultaneous control of an increasing number of plasma parameters. This includes plasma equilibrium control with possible self calibration during the discharge, plasma density control with possible pellet injection, current profile control to avoid magneto-hydrodynamic (MHD) instabilities and infrared monitoring of plasma facing components preventing overheating. Most of these improvements are relevant to the tokamaks operation in a fully steady state regime.

physics.plasm-ph↗