SearcharxivSearch

arXiv subjects

Jean Auriol

Publications and source records attributed to Jean Auriol.

At least 19 recordsLinked to original sources

Stabilization of 1D Linear Hyperbolic Balance Laws by Integral Difference Control and Application to Networks Stabilization

This paper develops a unified method for the exponential stabilization of first-order linear hyperbolic balance laws under general actuation, including both underactuated boundary and in-domain control. The proposed framework brings together a wide range of underactuated configurations within a single formulation and substantially extends existing results restricted to particular actuation settings. Using cutting and folding transformations, the proposed approach is further applied to networks of hyperbolic balance laws, including configurations with cycles. The control design is developed under a stabilizability condition and a robustness assumption. It is based on an invertible backstepping transformation, which partially decouples the system, followed by a reformulation of the stabilization problem at the level of an Integral Difference Equation (IDE). The gains of the resulting dynamic feedback law are constructed at the IDE level by combining a stable rank-reduction procedure, which reduces the problem to a single-input design, with the solution of an interpolation equation arising from a Corona problem. Numerical simulations are presented for a relevant cycle network that cannot be addressed by existing methods in the literature.

math.OC

Event-Triggered Gain Scheduling of 2 x 2 Linear Hyperbolic PDEs via Neural Operators (Full Version)

This paper introduces a new framework for event-triggered gain scheduling applied to linear hyperbolic Partial Differential Equations (PDEs) with time- and space-varying coefficients. The approach leverages neural operators to address the challenges of real-time control in such systems. At each triggering time, the control input is designed using the classical static backstepping control law, while the gains of the boundary controller are updated according to the triggering mechanism and the spatial variation of the coefficients. Neural operators are employed to learn the mapping between the system parameters in the PDEs and the corresponding backstepping kernels. By integrating neural operators into the event-triggered framework, we eliminate the need to repeatedly solve complex kernel equations at every triggering instant, thereby reducing computational overhead while ensuring closed-loop stability. The proposed method is validated through theoretical analysis and numerical simulations, demonstrating its effectiveness and strong potential for real-time control of time-varying hyperbolic PDE systems.

eess.SY

On hyperbolic PDEs, filtered feedback control laws, and fractal-like stability crossing curves

The paper addresses the boundary control of a class of hyperbolic PDEs, based on an equivalent representation in terms of an integral-difference equation. The situation is considered where direct compensation of reflection terms induces a fragile closed-loop system, in the sense of lack of strong stability. This is theoretically resolved by adding a low-pass filter to the control law, but the choice of its cut-off frequency is crucial in balancing robustness at high frequencies and performance at low frequencies. First, the maximum stability interval in parameter $T$ is determined, with $T$ the inverse of the filter's cutoff frequency. Next, model mismatch on the PDE parameters is considered and a sufficient stability condition is derived in terms of allowable mismatch and cut-off frequency, satisfied in a region in the combined parameter space with a conic shape around $T=0$. Finally, this qualitative behavior is confirmed by exact stability charts for a special case where all model mismatch is contained into one parameter. It is highlighted that the set of stability crossing curves exhibits a fractal-like structure, which is explained using a limit system with discrete delays.

math.OC

Stabilization of Integral Difference Equations by Solving a Corona Problem

This paper proposes a stabilizing state-feedback control law for vector-valued state systems with a scalar control input, governed by a general class of integral difference equations that incorporate both pointwise and distributed input delays. The proposed controller is expressed through integral operators acting on the state and input histories over a finite time horizon. Closed-loop stability is established by characterizing the controller kernels as solutions to a convolution equation arising from a Corona problem. The existence of such solutions is ensured under a suitable spectral stabilizability condition, and a least-square procedure is implemented to find them numerically. The approach extends existing IDE stabilization results to more general settings, allowing for arbitrary numbers of pointwise delays affecting both the state and input, without requiring commensurability assumptions.

math.OC

A mathematical framework for time-delay reservoir computing analysis

Reservoir computing is a well-established approach for processing data with a much lower complexity compared to traditional neural networks. Despite two decades of experimental progress, the core properties of reservoir computing (namely separation, robustness, and fading memory) still lack rigorous mathematical foundations. This paper addresses this gap by providing a control-theoretic framework for the analysis of time-delay-based reservoir computers. We introduce formal definitions of the separation property and fading memory in terms of functional norms, and establish their connection to well-known stability notions for time-delay systems as incremental input-to-state stability. For a class of linear reservoirs, we derive an explicit lower bound for the separation distance via Fourier analysis, offering a computable criterion for reservoir design. Numerical results on the NARMA10 benchmark and continuous-time system prediction validate the approach with a minimal digital implementation.

math.OC

A Spectral Exponential Stability Criterion for Integral Difference Equations and Delay Differential Equations in various state spaces

It is well-known that the exponential stability of Integral Difference Equations and Delay Difference Equations, in the usual state space of continuous functions, is equivalent to the location of the roots of its associated characteristic equation strictly in the open left half-plane (see e.g. [16, Chapter 9]). In this paper, we use results from [15, Chapter 4] to show that this characterization still holds for other functional state spaces: Lebesgue spaces, the space of Borel measurable bounded functions, and the space of functions with bounded variation.

math.OC

Stabilization of a chain of 3 hyperbolic PDEs with 2 inputs in arbitrary position

This paper addresses the stabilization of a chain of three coupled hyperbolic partial differential equations actuated by two control inputs applied at arbitrary nodes of the network. With the exception of configurations where one input is located at an endpoint, cases already well studied in the literature, all admissible two-inputs configurations are treated in this paper within a unified framework. The proposed approach relies on a backstepping transformation combined with a reformulation of the closed-loop dynamics as an Integral Difference Equation (IDE). This IDE representation reveals a common structural pattern across configurations and clarifies the role played by delayed dynamics in the stability analysis. Within this formulation, the stabilization problem can be handled using existing IDE control techniques. For most configurations, the stabilization of the PDE system requires an approximate spectral controllability assumption. Remarkably, one specific configuration can be stabilized without imposing any additional spectral condition. In contrast, we also provide an explicit example of a configuration for which the required spectral controllability property fails to hold.

math.OC

A Gradient Method for Risk Averse Control of a PDE-SDE Interconnected System

In this paper, we design a risk-averse controller for an interconnected system composed of a linear Stochastic Differential Equation (SDE) actuated through a linear parabolic heat equation. These dynamics arise in various applications, such as coupled heat transfer systems and chemical reaction processes that are subject to disturbances. While existing optimal control methods for these systems focus on minimizing average performance, this risk-neutral perspective may allow rare but highly undesirable system behaviors. To account for such events, we instead minimize the cost within a coherent risk measure. Our approach reformulates the coupled dynamics as a stochastic PDE, approximates it by a finite-dimensional SDE system, and applies a gradient-based method to compute a riskaverse feedback controller. Numerical simulations show that the proposed controller substantially reduces the tail of the cost distribution, improving reliability with only a minor reduction in average performance.

math.OC

A Backstepping-KKL observer for a cascade of a nonlinear ODE with a heat equation

We propose an observer design for a cascaded system composed of an arbitrary nonlinear ordinary differential equation (ODE) with a 1D heat equation. The nonlinear output of the ODE imposes a boundary condition on one side of the heat equation, while the measured output is on the other side. The observer design combines an infinitedimensional Kazantzis-Kravaris/Luenberger (KKL) observer for the ODE with a backstepping observer for the heat equation. This construction is the first extension of the KKL methodology to infinite-dimensional systems. We establish the convergence of the observer under a differential observability condition on the ODE. The effectiveness of the proposed approach is illustrated in numerical simulations.

math.OC

Optimal Control of an Interconnected SDE -Parabolic PDE System

In this paper, we design a controller for an interconnected system where a linear Stochastic Differential Equation (SDE) is actuated through a linear parabolic heat equation. These dynamics arise in various applications, such as coupled heat transfer systems and chemical reaction processes that are subject to disturbances. Our goal is to develop a computational method for approximating the controller that minimizes a quadratic cost associated with the state of the SDE component. To achieve this, we first perform a change of variables to shift the actuation inside the PDE domain and reformulate the system as a linear Stochastic Partial Differential Equation (SPDE). We use a spectral approximation of the Laplacian operator to discretize the coupled dynamics into a finite-dimensional SDE and compute the optimal control for this approximated system. The resulting control serves as an approximation of the optimal control for the original system. We then establish the convergence of the approximated optimal control and the corresponding closed-loop dynamics to their infinite-dimensional counterparts. Numerical simulations are provided to illustrate the effectiveness of our approach.

math.AP

Stabilization of a Chain of Three Hyperbolic PDEs using a Time-Delay Representation

This paper addresses the stabilization of a chain system consisting of three hyperbolic Partial Differential Equations (PDEs). The system is reformulated into a pure transport system of equations via an invertible backstepping transformation. Using the method of characteristics and exploiting the inherent cascade structure of the chain, the stabilization problem is reduced to that of an associated Integral Difference Equation (IDE). A dynamic controller is designed for the IDE, whose gains are computed by solving a system of Fredholm-type integral equations. This approach provides a systematic framework for achieving exponential stabilization of the chain of hyperbolic PDEs.

math.OC

Stabilization and Optimal Control of an Interconnected $n + m$ Hetero-directional Hyperbolic PDE-SDE System

In this paper, we design a controller for an interconnected system composed of a linear Stochastic Differential Equation (SDE) controlled through a linear hetero-directional hyperbolic Partial Differential Equation (PDE). Our objective is to steer the coupled system to a desired final state on average, while keeping the variance-in-time as small as possible, improving robustness to disturbances. By employing backstepping techniques, we decouple the original PDE, reformulating the system as an input delayed SDE with a stochastic drift. We first establish a controllability result, shading light on lower bounds for the variance. This shows that the system can never improve variance below strict structural limits. Under standard controllability conditions, we then design a controller that drives the mean of the states while keeping the variance bounded. Finally, we analyze the optimal control problem of variance minimization along the entire trajectory. Under additional controllability assumptions, we prove that the optimal control can achieve any variance level above the fundamental structural limit.

math.OC

A novel necessary and sufficient condition for the stability of $2\times 2$ first-order linear hyperbolic systems

In this paper, we establish a necessary and sufficient stability condition for a class of two coupled first-order linear hyperbolic partial differential equations. Through a backstepping transform, the problem is reformulated as a stability problem for an integral difference equation, that is, a difference equation with distributed delay. Building upon a St\'ep\'an--Hassard argument variation theorem originally designed for time-delay systems of retarded type, we then introduce a theorem that counts the number of unstable roots of our integral difference equation. This leads to the expected necessary and sufficient stability criterion for the system of first-order linear hyperbolic partial differential equations. Finally, we validate our theoretical findings through simulations.

math.OC

Operator Learning for Robust Stabilization of Linear Markov-Jumping Hyperbolic PDEs

This paper addresses the problem of robust stabilization for linear hyperbolic Partial Differential Equations (PDEs) with Markov-jumping parameter uncertainty. We consider a 2 x 2 heterogeneous hyperbolic PDE and propose a control law using operator learning and the backstepping method. Specifically, the backstepping kernels used to construct the control law are approximated with neural operators (NO) in order to improve computational efficiency. The key challenge lies in deriving the stability conditions with respect to the Markov-jumping parameter uncertainty and NO approximation errors. The mean-square exponential stability of the stochastic system is achieved through Lyapunov analysis, indicating that the system can be stabilized if the random parameters are sufficiently close to the nominal parameters on average, and NO approximation errors are small enough. The theoretical results are applied to freeway traffic control under stochastic upstream demands and then validated through numerical simulations.

eess.SY

Backstepping for Partial Differential Equations:A Survey

Systems modeled by partial differential equations (PDEs) are at least as ubiquitous as systems that are by nature finite-dimensional and modeled by ordinary differential equations (ODEs). And yet, systematic and readily usable methodologies, for such a significant portion of real systems, have been historically scarce. Around the year 2000, the backstepping approach to PDE control began to offer not only a less abstract alternative to PDE control techniques replicating optimal and spectrum assignment techniques of the 1960s, but also enabled the methodologies of adaptive and nonlinear control, matured in the 1980s and 1990s, to be extended from ODEs to PDEs, allowing feedback synthesis for physical and engineering systems that are uncertain, nonlinear, and infinite-dimensional. The PDE backstepping literature has grown in its nearly a quarter century of development to many hundreds of papers and nearly a dozen books. This survey aims to facilitate the entry, for a new researcher, into this thriving area of overwhelming size and topical diversity. Designs of controllers and observers, for parabolic, hyperbolic, and other classes of PDEs, in one and more dimensions (in box and spherical geometries), with nonlinear, adaptive, sampled-data, and event-triggered extensions, are covered in the survey. The lifeblood of control are technology and physics. The survey places a particular emphasis on applications that have motivated the development of the theory and which have benefited from the theory and designs: applications involving flows, flexible structures, materials, thermal and chemically reacting dynamics, energy (from oil drilling to batteries and magnetic confinement fusions), and vehicles.

math.OC

Output-feedback stabilization of an underactuated network of N interconnected n + m hyperbolic PDE systems

In this article, we detail the design of an output feedback stabilizing control law for an underactuated network of N subsystems of n + m heterodirectional linear first-order hyperbolic Partial Differential Equations interconnected through their boundaries. The network has a chain structure, as only one of the subsystems is actuated. The available measurements are located at the opposite extremity of the chain. The proposed approach introduces a new type of integral transformation to tackle in-domain couplings in the different subsystems while guaranteeing a ''clear actuation path'' between the control input and the different subsystems. Then, it is possible to state several essential properties of each subsystem: output trajectory tracking, input-to-state stability, and predictability (the possibility of designing a state prediction). We recursively design a stabilizing state-feedback controller by combining these properties. We then design a state-observer that reconstructs delayed values of the states. This observer is combined with the state-feedback control law to obtain an output-feedback controller. Simulations complete the presentation.

math.AP

Output-feedback stabilization of a class of n+m linear hyperbolic ODE-PDE-ODE systems

In this paper, we design an output-feedback controller to stabilize n +m hetero-directional transport partial differential equations (PDEs) coupled on both domain boundaries to ordinary differential equations (ODEs). This class of systems can represent, for instance, actuator and load dynamics at the boundaries of a hyperbolic system. The actuator is located at the connection point between the PDE and one of the ODEs, and we consider anti-collocated PDE measurements. We first design a state-observer by combining the backstepping methodology with time-delay system approaches. We then introduce a state feedback controller using analogous techniques before designing the wanted output-feedback control law.

math.AP

Stabilization and Optimal Control of Interconnected SDE - Scalar PDE System

In this paper, we design a controller for an interconnected system consisting of a linear Stochastic Differential Equation (SDE) actuated through a linear hyperbolic Partial Differential Equation (PDE). Our approach aims to minimize the variance of the state of the SDE component. We leverage a backstepping technique to transform the original PDE into an uncoupled stochastic PDE. As such, we reformulate our initial problem as the control of a delayed SDE with a non-deterministic drift. Under standard controllability assumptions, we design a controller steering the mean of the states to zero while keeping its covariance bounded. As final step, we address the optimal control of the delayed SDE employing Artstein's transformation and Linear Quadratic stochastic control techniques.

math.OC