Searcharxiv⌕ Search

arXiv subjects

Matthieu Barreau

Publications and source records attributed to Matthieu Barreau.

At least 37 records · Page 2Linked to original sources

Data-driven multi-agent modelling of calcium interactions in cell culture: PINN vs Regularized Least-squares

Data-driven discovery of dynamics in biological systems allows for better observation and characterization of processes, such as calcium signaling in cell culture. Recent advancements in techniques allow the exploration of previously unattainable insights of dynamical systems, such as the Sparse Identification of Non-Linear Dynamics (SINDy), overcoming the limitations of more classic methodologies. The latter requires some prior knowledge of an effective library of candidate terms, which is not realistic for a real case study. Using inspiration from fields like traffic density estimation and control theory, we propose a methodology for characterization and performance analysis of calcium delivery in a family of cells. In this work, we compare the performance of the Constrained Regularized Least-Squares Method (CRLSM) and Physics-Informed Neural Networks (PINN) for system identification and parameter discovery for governing ordinary differential equations (ODEs). The CRLSM achieves a fairly good parameter estimate and a good data fit when using the learned parameters in the Consensus problem. On the other hand, despite the initial hypothesis, PINNs fail to match the CRLSM performance and, under the current configuration, do not provide fair parameter estimation. However, we have only studied a limited number of PINN architectures, and it is expected that additional hyperparameter tuning, as well as uncertainty quantification, could significantly improve the performance in future works.

q-bio.QM↗

Online Traffic Density Estimation using Physics-Informed Neural Networks

Recent works on the application of Physics-Informed Neural Networks to traffic density estimation have shown to be promising for future developments due to their robustness to model errors and noisy data. In this paper, we introduce a methodology for online approximation of the traffic density using measurements from probe vehicles in two settings: one using the Greenshield model and the other considering a high-fidelity traffic simulation. The proposed method continuously estimates the real-time traffic density in space and performs model identification with each new set of measurements. The density estimate is updated in almost real-time using gradient descent and adaptive weights. In the case of full model knowledge, the resulting algorithm has similar performance to the classical open-loop one. However, in the case of model mismatch, the iterative solution behaves as a closed-loop observer and outperforms the baseline method. Similarly, in the high-fidelity setting, the proposed algorithm correctly reproduces the traffic characteristics.

cs.LG↗

Integral Quadratic Constraints on Linear Infinite-dimensional Systems for Robust Stability Analysis

This paper proposes a framework to assess the stability of an ordinary differential equation which is coupled to a 1D-partial differential equation (PDE). The stability theorem is based on a new result on Integral Quadratic Constraints (IQCs) and expressed in terms of two linear matrix inequalities with a moderate computational burden. The IQCs are not generated using dissipation inequalities involving the whole state of an infinite-dimensional system, but by using projection coefficients of the infinite-dimensional state. This permits to generalize our robustness result to many other PDEs. The proposed methodology is applied to a time-delay system and numerical results comparable to those in the literature are obtained.

math.OC↗

Optimal Sensor Placement in Power Transformers Using Physics-Informed Neural Networks

Our work aims at simulating and predicting the temperature conditions inside a power transformer using Physics-Informed Neural Networks (PINNs). The predictions obtained are then used to determine the optimal placement for temperature sensors inside the transformer under the constraint of a limited number of sensors, enabling efficient performance monitoring. The method consists of combining PINNs with Mixed Integer Optimization Programming to obtain the optimal temperature reconstruction inside the transformer. First, we extend our PINN model for the thermal modeling of power transformers to solve the heat diffusion equation from 1D to 2D space. Finally, we construct an optimal sensor placement model inside the transformer that can be applied to problems in 1D and 2D.

cs.LG↗

Data-Driven vs Traditional Approaches to Power Transformer's Top-Oil Temperature Estimation

Power transformers are subjected to electrical currents and temperature fluctuations that, if not properly controlled, can lead to major deterioration of their insulation system. Therefore, monitoring the temperature of a power transformer is fundamental to ensure a long-term operational life. Models presented in the IEC 60076-7 and IEEE standards, for example, monitor the temperature by calculating the top-oil and the hot-spot temperatures. However, these models are not very accurate and rely on the power transformers' properties. This paper focuses on finding an alternative method to predict the top-oil temperatures given previous measurements. Given the large quantities of data available, machine learning methods for time series forecasting are analyzed and compared to the real measurements and the corresponding prediction of the IEC standard. The methods tested are Artificial Neural Networks (ANNs), Time-series Dense Encoder (TiDE), and Temporal Convolutional Networks (TCN) using different combinations of historical measurements. Each of these methods outperformed the IEC 60076-7 model and they are extended to estimate the temperature rise over ambient. To enhance prediction reliability, we explore the application of quantile regression to construct prediction intervals for the expected top-oil temperature ranges. The best-performing model successfully estimates conditional quantiles that provide sufficient coverage.

cs.LG↗

MILP initialization for solving parabolic PDEs with PINNs

Physics-Informed Neural Networks (PINNs) are a powerful deep learning method capable of providing solutions and parameter estimations of physical systems. Given the complexity of their neural network structure, the convergence speed is still limited compared to numerical methods, mainly when used in applications that model realistic systems. The network initialization follows a random distribution of the initial weights, as in the case of traditional neural networks, which could lead to severe model convergence bottlenecks. To overcome this problem, we follow current studies that deal with optimal initial weights in traditional neural networks. In this paper, we use a convex optimization model to improve the initialization of the weights in PINNs and accelerate convergence. We investigate two optimization models as a first training step, defined as pre-training, one involving only the boundaries and one including physics. The optimization is focused on the first layer of the neural network part of the PINN model, while the other weights are randomly initialized. We test the methods using a practical application of the heat diffusion equation to model the temperature distribution of power transformers. The PINN model with boundary pre-training is the fastest converging method at the current stage.

cs.LG↗

Sensor Fault Detection and Isolation in Autonomous Nonlinear Systems Using Neural Network-Based Observers

This paper presents a novel observer-based approach to detect and isolate faulty sensors in nonlinear systems. The proposed sensor fault detection and isolation (s-FDI) method applies to a general class of nonlinear systems. Our focus is on s-FDI for two types of faults: complete failure and sensor degradation. The key aspect of this approach lies in the utilization of a neural network-based Kazantzis-Kravaris/Luenberger (KKL) observer. The neural network is trained to learn the dynamics of the observer, enabling accurate output predictions of the system. Sensor faults are detected by comparing the actual output measurements with the predicted values. If the difference surpasses a theoretical threshold, a sensor fault is detected. To identify and isolate which sensor is faulty, we compare the numerical difference of each sensor meassurement with an empirically derived threshold. We derive both theoretical and empirical thresholds for detection and isolation, respectively. Notably, the proposed approach is robust to measurement noise and system uncertainties. Its effectiveness is demonstrated through numerical simulations of sensor faults in a network of Kuramoto oscillators.

math.OC↗

Physics-informed Learning for Identification and State Reconstruction of Traffic Density

We consider the problem of traffic density reconstruction using measurements from probe vehicles (PVs) with a low penetration rate. In other words, the number of sensors is small compared to the number of vehicles on the road. The model used assumes noisy measurements and a partially unknown first-order model. All these considerations make the use of machine learning to reconstruct the state the only applicable solution. We first investigate how the identification and reconstruction processes can be merged and how a sparse dataset can still enable a good identification. Secondly, we propose a pre-training procedure that aids the hyperparameter tuning, preventing the gradient descent algorithm from getting stuck at saddle points. Examples using numerical simulations and the SUMO traffic simulator show that the reconstructions are close to the real density in all cases.

math.OC↗

Lyapunov Stability Analysis of a Mass-Spring system subject to Friction

This paper deals with the stability analysis of a mass-spring system subject to friction using Lyapunov-based arguments. As the described system presents a stick-slip phenomenon, the mass may then periodically sticks to the ground. The objective consists of developing numerically tractable conditions ensuring the global asymptotic stability of the unique equilibrium point. The proposed approach merges two intermediate results: The first one relies on the characterization of an attractor around the origin, to which converges the closed-loop trajectories. The second result assesses the regional asymptotic stability of the equilibrium point by estimating its basin of attraction. The main result relies on conditions allowing to ensure that the attractor issued from the first result is included in the basin of attraction of the origin computed from the second result. An illustrative example draws the interest of the approach.

math.OC↗

Learning-based Traffic State Reconstruction using Probe Vehicles

This article investigates the use of a model-based neural-network for the traffic reconstruction problem using noisy measurements coming from probe vehicles. The traffic state is assumed to be the density only, modeled by a partial differential equation. There exist various methods for reconstructing the density in that case. However, none of them perform well with noise and very few deal with lagrangian measurements. This paper introduces a method that can reduce the processes of identification, reconstruction, prediction, and noise rejection into a single optimization problem. Numerical simulations, based either on a macroscopic or a microscopic model, show good performance for a moderate computational burden.

math.OC↗

Numerical Investigation of Traffic State Reconstruction and Control Using Connected Automated Vehicles

In this paper we present a numerical study on control and observation of traffic flow using Lagrangian measurements and actuators. We investigate the effect of some basic control and observation schemes using probe and actuated vehicles within the flow. The aim is to show the effect of the state reconstruction on the efficiency of the control, compared to the case using full information about the traffic. The effectiveness of the proposed state reconstruction and control algorithms is demonstrated in simulations. They show that control using the reconstructed state approaches the full-information control when the gap between the connected vehicles is not too large, reducing the delay by more than $60\%$ when the gap between the sensor vehicles is $1.25$~km on average, compared to a delay reduction of almost $80\%$ in the full-information control case. %It shows that the reconstruction is well achieved if the distance between two connected and autonomous vehicles is not too large (more than 1 vehicle per kilometer). %We also show that it is possible to further improve the control performance by employing a simple adaptive probe vehicle selection scheme. Moreover, we propose a simple scheme for selecting which vehicles to use as sensors, in order to reduce the communication burden. Numerical simulations demonstrate that %It also demonstrates that it is possible to reduce the communication burden using a triggering mechanism with with this triggering mechanism, the delay is reduced by around $65\%$, compared to a reduction of $72\%$ if all connected vehicles are communicating at all times.

math.OC↗

Dynamic Traffic Reconstruction using Probe Vehicles

This article deals with the observation problem in traffic flow theory. The model used is the semilinear viscous Burgers equation. Instead of using the traditional fixed sensors to estimate the state of the traffic at given points, the measurements here are obtained from Probe Vehicles (PVs). We propose then a moving dynamic boundary observer whose boundaries are defined by the trajectories of the PVs. The main result of this article is the exponential convergence of the observation error, and, in some cases, its finite-time convergence. Finally, numerical simulations show that it is possible to observe the traffic in the congested, free-flow, and mixed regimes provided that the number of PVs is large enough.

math.OC↗

Practical Stability Analysis of a Drilling Pipe under Friction with a PI-Controller

This paper deals with the exponential stability of a drilling pipe controlled by a PI controller. The model used leads to a coupled ODE / PDE and is consequently of infinite dimension. Using recent advances in time-delay systems, we derive a new Lyapunov functional based on an state extension made up of projections of the Riemann coordinates. Two cases will be considered. First, we will provide an exponential stability result expressed using the LMI framework. This result is dedicated to a linear version of the torsional dynamic. On a second hand, the nonlinear terms in the initial model, that generates the well-known stick-slip phenomenon is captured through a new stability theorem. Numerical simulations show the effectiveness of the method and that the stick-slip oscillations cannot be weaken using a PI controller.

math.OC↗

Input / Output Stability of a Damped String Equation coupled with Ordinary Differential System

The input/output stability of an interconnected system composed of an ordinary differential equation and a damped string equation is studied. Issued from the literature on time-delay systems, an exact stability result is firstly derived using pole locations. Then, based on the Small-Gain theorem and on the Quadratic Separation framework, some robust stability criteria are provided. The latter follows from a projection of the infinite dimensional state on an orthogonal basis of Legendre polynomials. Numerical examples comparing these results with the ones in the literature are proposed and a comparison of its efficiency is made.

math.OC↗

Stabilization of an unstable wave equation using an infinite dimensional dynamic controller

This paper deals with the stabilization of an anti-stable string equation with Dirichlet actuation where the instability appears because of the uncontrolled boundary condition. Then, infinitely many unstable poles are generated and an infinite dimensional control law is therefore proposed to exponentially stabilize the system. The idea behind the choice of the controller is to extend the domain of the PDE so that the anti-damping term is compensated by a damping at the other boundary condition. Additionally, notice that the system can then be exponentially stabilized with a chosen decay-rate and is robust to uncertainties on the wave speed and the anti-damped coefficient of the wave equation, with the only use of a point-wise boundary measurement. The efficiency of this new control strategy is then compared to the backstepping approach.

math.OC↗

Exponential Lyapunov Stability Analysis of a Drilling Mechanism

This article deals with the stability analysis of a drilling system which is modelled as a coupled ordinary differential equation / string equation. The string is damped at the two boundaries but leading to a stable open-loop system. The aim is to derive a linear matrix inequality ensuring the exponential stability with a guaranteed decay-rate of this interconnected system. A strictly proper dynamic controller based on boundary measurements is proposed to accelerate the system dynamics and its effects are investigated through the stability theorem and simulations. It results in an efficient finite dimension controller which subsequently improves the system performances.

math.OC↗

Static State and Output Feedback Synthesis for Time-Delay Systems

In this paper, the design of a static feedback gain for a linear system subject to an input delay is studied. This synthesis is based on a stability analysis conducted using Lyapunov-Krasovskii theorem and Bessel-Legendre inequalities expressed in terms of LMIs. Some bilinear non-convex matrix inequalities are obtained to go from analysis to synthesis. They are then difficult to solve and an iterative LMI procedure is given which takes advantage of the elimination lemma. Naturally, slack variables are introduced and then, following an optimization process, values for them are proposed to reduce the conservatism. The two main corollaries discuss the static state and output feedback synthesis. Finally, a comparison is proposed and shows that this formulation introduces small conservatism.

math.OC↗

Lyapunov stability analysis of a string equation coupled with an ordinary differential system

This paper considers the stability problem of a linear time invariant system in feedback with a string equation. A new Lyapunov functional candidate is proposed based on the use of augmented states which enriches and encompasses the classical Lyapunov functional proposed in the literature. It results in tractable stability conditions expressed in terms of linear matrix inequalities. This methodology follows from the application of the Bessel inequality together with Legendre polynomials. Numerical examples illustrate the potential of our approach through three scenari: a stable ODE perturbed by the PDE, an unstable open-loop ODE stabilized by the PDE and an unstable closed-loop ODE stabilized by the PDE.

math.AP↗