arXiv subjects

Amritam Das

Publications and source records attributed to Amritam Das.

At least 37 records · Page 2Linked to original sources

arXiv2025

Fault Localisation in Infinite-Dimensional Linear Electrical Networks

We present a novel fault localisation methodology for linear time-invariant electrical networks with infinite-dimensional edge dynamics and uncertain fault dynamics. The theory accommodates instability and also bounded propagation delays in the network. The goal is to estimate the location of a fault along a given network edge, using sensors positioned arbitrarily throughout the network. Passive faults of unknown impedance are considered, along with stable faults of known impedance. To illustrate the approach, we tackle a significant use-case: a multi-conductor transmission line, with dynamics modelled by the Telegrapher's equation, subject to a line-to-ground fault. Frequency-domain insights are used to reformulate the general fault localisation problem into a non-convex scalar optimisation problem, of which the true fault location is guaranteed to be a global minimiser. Numerical experiments are run to quantify localisation performance over a range of fault resistances.

eess.SY↗

arXiv2025

ON-Traffic: An Operator Learning Framework for Online Traffic Flow Estimation and Uncertainty Quantification from Lagrangian Sensors

Accurate traffic flow estimation and prediction are critical for the efficient management of transportation systems, particularly under increasing urbanization. Traditional methods relying on static sensors often suffer from limited spatial coverage, while probe vehicles provide richer, albeit sparse and irregular data. This work introduces ON-Traffic, a novel deep operator Network and a receding horizon learning-based framework tailored for online estimation of spatio-temporal traffic state along with quantified uncertainty by using measurements from moving probe vehicles and downstream boundary inputs. Our framework is evaluated in both numerical and simulation datasets, showcasing its ability to handle irregular, sparse input data, adapt to time-shifted scenarios, and provide well-calibrated uncertainty estimates. The results demonstrate that the model captures complex traffic phenomena, including shockwaves and congestion propagation, while maintaining robustness to noise and sensor dropout. These advancements present a significant step toward online, adaptive traffic management systems.

cs.LG↗

arXiv2025

Automated Linear Parameter-Varying Modeling of Nonlinear Systems: A Global Embedding Approach

In this paper, an automated Linear Parameter-Varying (LPV) model conversion approach is proposed for nonlinear dynamical systems. The proposed method achieves global embedding of the original nonlinear behavior of the system by leveraging the second fundamental theorem of calculus to factorize matrix function expressions without any approximation. The implementation of the proposed method in the LPVcore toolbox for Matlab is discussed, and its performance is showcased on a comprehensive example of automated LPV model conversion of an unbalanced disk system, which is then used to design an LPV controller that is deployed on the original nonlinear system. In addition, the conversion capabilities are further demonstrated by obtaining an LPV embedding of a three-degree-of-freedom control moment gyroscope. All software implementations are available at www.lpvcore.net.

eess.SY↗

arXiv2024

Learning flow functions of spiking systems

We propose a framework for surrogate modelling of spiking systems. These systems are often described by stiff differential equations with high-amplitude oscillations and multi-timescale dynamics, making surrogate models an attractive tool for system design and simulation. We parameterise the flow function of a spiking system using a recurrent neural network architecture, allowing for a direct continuous-time representation of the state trajectories. The spiking nature of the signals makes for a data-heavy and computationally hard training process; thus, we describe two methods to mitigate these difficulties. We demonstrate our framework on two conductance-based models of biological neurons, showing that we are able to train surrogate models which accurately replicate the spiking behaviour.

eess.SY↗

arXiv2024

On the reduction of Linear Parameter-Varying State-Space models

This paper presents an overview and comparative study of the state of the art in State-Order Reduction (SOR) and Scheduling Dimension Reduction (SDR) for Linear Parameter-Varying (LPV) State-Space (SS) models, comparing and benchmarking their capabilities, limitations and performance. The use case chosen for these studies is an interconnected network of nonlinear coupled mass spring damper systems with three different configurations, where some spring coefficients are described by arbitrary user-defined static nonlinear functions. For SOR, the following methods are compared: Linear Time-Invariant (LTI), LPV and LFR-based balanced reductions, moment matching and parameter-varying oblique projection. For SDR, the following methods are compared: Principal Component Analysis (PCA), trajectory PCA, Kernel PCA and LTI balanced truncation, autoencoders and deep neural network. The comparison reveals the most suitable reduction methods for the different benchmark configurations, from which we provide use case SOR and SDR guidelines that can be used to choose the best reduction method for a given LPV-SS model.

eess.SY↗

arXiv2024

Extension of the Partial Integral Equation Representation to GPDE Input-Output Systems

It has been shown that the existence of a Partial Integral Equation (PIE) representation of a Partial Differential Equation (PDE) simplifies many numerical aspects of analysis, simulation, and optimal control. However, the PIE representation has not previously been extended to many of the complex, higher-order PDEs such as may be encountered in speculative or data-based models. In this paper, we propose PIE representations for a large class of such PDE models, including higher-order derivatives, boundary-valued inputs, and coupling with Ordinary Differential Equations. The main technical contribution which enables this extension is a generalization of Cauchy's rule for repeated integration. The process of conversion of a complex PDE model to a PIE is simplified through a PDE modeling interface in the open-source software PIETOOLS. Several numerical tests and illustrations are used to demonstrate the results.

math.OC↗

arXiv2023

Low-order Linear Parameter Varying Approximations for Nonlinear Controller Design for Flows

The control of nonlinear large-scale dynamical models such as the incompressible Navier-Stokes equations is a challenging task. The computational challenges in the controller design come from both the possibly large state space and the nonlinear dynamics. A general purpose approach certainly will resort to numerical linear algebra techniques which can handle large system sizes or to model order reduction. In this work we propose a two-folded model reduction approach tailored to nonlinear controller design for incompressible Navier-Stokes equations and similar PDE models that come with quadratic nonlinearities. Firstly, we approximate the nonlinear model within in the class of LPV systems with a very low dimension in the parametrization. Secondly, we reduce the system size to a moderate number of states. This way, standard robust LPV theory for nonlinear controller design becomes feasible. We illustrate the procedure and its potentials by numerical simulations.

math.OC↗

arXiv2023

Electrical Fault Localisation Over a Distributed Parameter Transmission Line

Motivated by the need to localise faults along electrical power lines, this paper adopts a frequency-domain approach to parameter estimation for an infinite-dimensional linear dynamical system with one spatial variable. Since the time of the fault is unknown, and voltages and currents are measured at only one end of the line, distance information must be extracted from the post-fault transients. To properly account for high-frequency transient behaviour, the line dynamics is modelled directly by the Telegrapher's equation, rather than the more commonly used lumped-parameter approximations. First, the governing equations are non-dimensionalised to avoid ill-conditioning. A closed-form expression for the transfer function is then derived. Finally, nonlinear least-squares optimisation is employed to search for the fault location. Requirements on fault bandwidth, sensor bandwidth and simulation time-step are also presented. The result is a novel end-to-end algorithm for data generation and fault localisation, the effectiveness of which is demonstrated via simulation.

eess.SY↗

arXiv2023

Universal approximation of flows of control systems by recurrent neural networks

We consider the problem of approximating flow functions of continuous-time dynamical systems with inputs. It is well-known that continuous-time recurrent neural networks are universal approximators of this type of system. In this paper, we prove that an architecture based on discrete-time recurrent neural networks universally approximates flows of continuous-time dynamical systems with inputs. The required assumptions are shown to hold for systems whose dynamics are well-behaved ordinary differential equations and with practically relevant classes of input signals. This enables the use of off-the-shelf solutions for learning such flow functions in continuous-time from sampled trajectory data.

eess.SY↗

arXiv2023

Learning Flow Functions from Data with Applications to Nonlinear Oscillators

We describe a recurrent neural network (RNN) based architecture to learn the flow function of a causal, time-invariant and continuous-time control system from trajectory data. By restricting the class of control inputs to piecewise constant functions, we show that learning the flow function is equivalent to learning the input-to-state map of a discrete-time dynamical system. This motivates the use of an RNN together with encoder and decoder networks which map the state of the system to the hidden state of the RNN and back. We show that the proposed architecture is able to approximate the flow function by exploiting the system's causality and time-invariance. The output of the learned flow function model can be queried at any time instant. We experimentally validate the proposed method using models of the Van der Pol and FitzHugh Nagumo oscillators. In both cases, the results demonstrate that the architecture is able to closely reproduce the trajectories of these two systems. For the Van der Pol oscillator, we further show that the trained model generalises to the system's response with a prolonged prediction time horizon as well as control inputs outside the training distribution. For the FitzHugh-Nagumo oscillator, we show that the model accurately captures the input-dependent phenomena of excitability.

eess.SY↗

arXiv2023

Learning-based Design of Luenberger Observers for Autonomous Nonlinear Systems

Designing Luenberger observers for nonlinear systems involves the challenging task of transforming the state to an alternate coordinate system, possibly of higher dimensions, where the system is asymptotically stable and linear up to output injection. The observer then estimates the system's state in the original coordinates by inverting the transformation map. However, finding a suitable injective transformation whose inverse can be derived remains a primary challenge for general nonlinear systems. We propose a novel approach that uses supervised physics-informed neural networks to approximate both the transformation and its inverse. Our method exhibits superior generalization capabilities to contemporary methods and demonstrates robustness to both neural network's approximation errors and system uncertainties.

math.OC↗

arXiv2022

Representation of linear PDEs with spatial integral terms as Partial Integral Equations

In this paper, we present the Partial Integral Equation (PIE) representation of linear Partial Differential Equations (PDEs) in one spatial dimension, where the PDE has spatial integral terms appearing in the dynamics and the boundary conditions. The PIE representation is obtained by performing a change of variable where every PDE state is replaced by its highest, well-defined derivative using the Fundamental Theorem of Calculus to obtain a new equation (a PIE). We show that this conversion from PDE representation to PIE representation can be written in terms of explicit maps from the PDE parameters to PIE parameters. Lastly, we present numerical examples to demonstrate the application of the PIE representation by performing stability analysis of PDEs via convex optimization methods.

math.NA↗

arXiv2022

PIETOOLS 2022: User Manual

PIETOOLS 2022 manual is a document that describes all the features of the MATLAB toolbox for the analysis and control of Partial Integral Equations (PIEs). The manual is aimed to guide, with examples, the first time users to three fundamental features of PIETOOLS: converting coupled ODE-PDEs, DDEs, DDFs, etc., to PIE representation; analysis of stability and input-output properties of PIEs; design of optimal observers and controllers for PIEs. The use of PIETOOLS is not limited to the features described above. However, the manual focuses on these features to provide a holistic understanding of the workflow of PIETOOLS, which will serve as a foundation to develop more complicated programs, for example, the design of boundary feedback controllers, robust observers, robust controllers, etc.

math.OC↗

arXiv2022

Splitting algorithms and circuit analysis

The splitting algorithms of monotone operator theory find zeros of sums of relations. This corresponds to solving series or parallel one-port electrical circuits, or the negative feedback interconnection of two subsystems. One-port circuits with series and parallel interconnections, or block diagrams with multiple forward and return paths, give rise to current-voltage relations consisting of nested sums and inverses. In this extended abstract, we present new splitting algorithms specially suited to these structures, for interconnections of monotone and anti-monotone relations.

math.OC↗

arXiv2021

Oscillations in Mixed-Feedback Systems

A new method is presented for the analysis of limit cycle oscillations in mixed-feedback systems. The calculation of the limit cycle is reformulated as the zero finding of a mixed-monotone relation, that is, of the difference of two maximally monotone relations. The problem can then be solved efficiently by borrowing existing algorithms that minimize the difference of two convex functions. The potential of the method is illustrated on the classical Van der Pol oscillator.

eess.SY↗

arXiv2020

Duality and $H_{\infty}$-Optimal Control Of Coupled ODE-PDE Systems

In this paper, we present a convex formulation of $H_{\infty}$-optimal control problem for coupled linear ODE-PDE systems with one spatial dimension. First, we reformulate the coupled ODE-PDE system as a Partial Integral Equation (PIE) system and show that stability and $H_{\infty}$ performance of the PIE system implies that of the ODE-PDE system. We then construct a dual PIE system and show that asymptotic stability and $H_{\infty}$ performance of the dual system is equivalent to that of the primal PIE system. Next, we pose a convex dual formulation of the stability and $H_{\infty}$-performance problems using the Linear PI Inequality (LPI) framework. LPIs are a generalization of LMIs to Partial Integral (PI) operators and can be solved using PIETOOLS, a MATLAB toolbox. Next, we use our duality results to formulate the stabilization and $H_{\infty}$-optimal state-feedback control problems as LPIs. Finally, we illustrate the accuracy and scalability of the algorithms by constructing controllers for several numerical examples.

math.OC↗

arXiv2020

A Generalized LMI Formulation for Input-Output Analysis of Linear Systems of ODEs Coupled with PDEs

In this paper, we consider input-output properties of linear systems consisting of PDEs on a finite domain coupled with ODEs through the boundary conditions of the PDE. This framework can be used to represent e.g. a lumped mass fixed to a beam or a system with delay. This work generalizes the sufficiency proof of the KYP Lemma for ODEs to coupled ODE-PDE systems using a recently developed concept of fundamental state and the associated boundary-condition-free representation. The conditions of the generalized KYP are tested using the PQRS positive matrix parameterization of operators resulting in a finite-dimensional LMI, feasibility of which implies prima facie provable passivity or L2-gain of the system. No discretization or approximation is involved at any step and we use numerical examples to demonstrate that the bounds obtained are not conservative in any significant sense and that computational complexity is lower than existing methods involving finite-dimensional projection of PDEs.

math.AP↗

arXiv2020

PIETOOLS: A Matlab Toolbox for Manipulation and Optimization of Partial Integral Operators

In this paper, we present PIETOOLS, a MATLAB toolbox for the construction and handling of Partial Integral (PI) operators. The toolbox introduces a new class of MATLAB object, opvar, for which standard MATLAB matrix operation syntax (e.g. +, *, ' e tc.) is defined. PI operators are a generalization of bounded linear operators on infinite-dimensional spaces that form a *-subalgebra with two binary operations (addition and composition) on the space RxL2. These operators frequently appear in analysis and control of infinite-dimensional systems such as Partial Differential equations (PDE) and Time-delay systems (TDS). Furthermore, PIETOOLS can: declare opvar decision variables, add operator positivity constraints, declare an objective function, and solve the resulting optimization problem using a syntax similar to the sdpvar class in YALMIP. Use of the resulting Linear Operator Inequalities (LOIs) are demonstrated on several examples, including stability analysis of a PDE, bounding operator norms, and verifying integral inequalities. The result is that PIETOOLS, packaged with SOSTOOLS and MULTIPOLY, offers a scalable, user-friendly and computationally efficient toolbox for parsing, performing algebraic operations, setting up and solving convex optimization problems on PI operators.

math.OC↗