-
Sensor Fault Detection and Isolation in Autonomous Nonlinear Systems Using Neural Network-Based Observers
Authors:
John Cao,
Muhammad Umar B. Niazi,
Matthieu Barreau,
Karl Henrik Johansson
Abstract:
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 Kazan…
▽ More
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.
△ Less
Submitted 22 November, 2023; v1 submitted 18 April, 2023;
originally announced April 2023.
-
Physics-informed Learning for Identification and State Reconstruction of Traffic Density
Authors:
Matthieu Barreau,
Miguel Aguiar,
John Liu,
Karl Henrik Johansson
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 22 September, 2021; v1 submitted 25 March, 2021;
originally announced March 2021.
-
Lyapunov Stability Analysis of a Mass-Spring system subject to Friction
Authors:
Matthieu Barreau,
Sophie Tarbouriech,
Frederic Gouaisbaut
Abstract:
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 develo** numerically tractable conditions ensuring the global asymptotic stability of the unique equilibrium point. The proposed approach me…
▽ More
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 develo** 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.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Learning-based State Reconstruction for a Scalar Hyperbolic PDE under noisy Lagrangian Sensing
Authors:
M. Barreau,
J. Liu,
K. H. Johansson
Abstract:
The state reconstruction problem of a heterogeneous dynamic system under sporadic measurements is considered. This system consists of a conversation flow together with a multi-agent network modeling particles within the flow. We propose a partial-state reconstruction algorithm using physics-informed learning based on local measurements obtained from these agents. Traffic density reconstruction is…
▽ More
The state reconstruction problem of a heterogeneous dynamic system under sporadic measurements is considered. This system consists of a conversation flow together with a multi-agent network modeling particles within the flow. We propose a partial-state reconstruction algorithm using physics-informed learning based on local measurements obtained from these agents. Traffic density reconstruction is used as an example to illustrate the results and it is shown that the approach provides an efficient noise rejection.
△ Less
Submitted 27 April, 2021; v1 submitted 19 November, 2020;
originally announced November 2020.
-
Learning-based Traffic State Reconstruction using Probe Vehicles
Authors:
John Liu,
Matthieu Barreau,
Mladen Cicic,
Karl H. Johansson
Abstract:
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 lag…
▽ More
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.
△ Less
Submitted 17 November, 2020; v1 submitted 10 November, 2020;
originally announced November 2020.
-
Numerical Investigation of Traffic State Reconstruction and Control Using Connected Automated Vehicles
Authors:
Mladen Cicic,
Matthieu Barreau,
Karl Henrik Johansson
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Dynamic Traffic Reconstruction using Probe Vehicles
Authors:
Matthieu Barreau,
Anton Selivanov,
Karl Henrik Johansson
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
Practical Stability Analysis of a Drilling Pipe under Friction with a PI-Controller
Authors:
Matthieu Barreau,
Frédéric Gouaisbaut,
Alexandre Seuret
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 March, 2020; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Stabilization of an unstable wave equation using an infinite dimensional dynamic controller
Authors:
Matthieu Barreau,
Frédéric Gouaisbaut,
Alexandre Seuret
Abstract:
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…
▽ More
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-dam** term is compensated by a dam** 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 backstep** approach.
△ Less
Submitted 19 September, 2018; v1 submitted 24 July, 2018;
originally announced July 2018.
-
Exponential Lyapunov Stability Analysis of a Drilling Mechanism
Authors:
Matthieu Barreau,
Alexandre Seuret,
Frédéric Gouaisbaut
Abstract:
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 dynam…
▽ More
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.
△ Less
Submitted 6 September, 2018; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Input / Output Stability of a Damped String Equation coupled with Ordinary Differential System
Authors:
Matthieu Barreau,
Frédéric Gouaisbaut,
Alexandre Seuret,
Rifat Sipahi
Abstract:
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 foll…
▽ More
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.
△ Less
Submitted 21 September, 2018; v1 submitted 30 January, 2018;
originally announced January 2018.
-
Static State and Output Feedback Synthesis for Time-Delay Systems
Authors:
Matthieu Barreau,
Frédéric Gouaisbaut,
Alexandre Seuret
Abstract:
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 itera…
▽ More
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.
△ Less
Submitted 21 February, 2018; v1 submitted 23 November, 2017;
originally announced November 2017.
-
Wirtinger-based Exponential Stability for Time-Delay Systems
Authors:
Matthieu Barreau,
Alexandre Seuret,
Frederic Gouaisbaut
Abstract:
This paper deals with the exponential stabilization of a time-delay system with an average of the state as the output. A general stability theorem with a guaranteed exponential decay-rate based on a Wirtinger-based inequality is provided. Variations of this theorem for synthesis of a controller or for an observer-based control is derived. Some numerical comparisons are proposed with existing theor…
▽ More
This paper deals with the exponential stabilization of a time-delay system with an average of the state as the output. A general stability theorem with a guaranteed exponential decay-rate based on a Wirtinger-based inequality is provided. Variations of this theorem for synthesis of a controller or for an observer-based control is derived. Some numerical comparisons are proposed with existing theorems of the literature and comparable results are obtained but with an extension to stabilization.
△ Less
Submitted 24 November, 2017; v1 submitted 7 August, 2017;
originally announced August 2017.
-
Lyapunov stability analysis of a string equation coupled with an ordinary differential system
Authors:
Matthieu Barreau,
Alexandre Seuret,
Frédéric Gouaisbaut,
Lucie Baudouin
Abstract:
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 methodolo…
▽ More
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.
△ Less
Submitted 8 February, 2018; v1 submitted 28 June, 2017;
originally announced June 2017.