arXiv subjects

Maben Rabi

Publications and source records attributed to Maben Rabi.

8 recordsLinked to original sources

arXiv2023

Predicting oscillations in relay feedback systems, using fixed points of Poincaré maps, and Hopf bifurcations

The relay autotuning method identifies plant parameters, from oscillations of the plant under relay feedback. To predict the presence and nature of such oscillations, we apply the following two approaches: (a) analysis of the switching dynamics, while using an ideal relay, and (b) bifurcation analysis, while using a smooth approximation of the relay. For stable plants with positive DC gains, our analyses predict that: (i) a periodic orbit is guaranteed, for a class of non-minimum phase plants of relative degree one, whose step response starts with an inverse response, and (ii) for a wider class of plants, whose root locus diagrams cross the imaginary axis at complex conjugate values, limit cycles are merely suggested.

math.OC↗

arXiv2023

Estimating a scalar log-concave random variable, using a silence set based probabilistic sampling

We study the probabilistic sampling of a random variable, in which the variable is sampled only if it falls outside a given set, which is called the silence set. This helps us to understand optimal event-based sampling for the special case of IID random processes, and also to understand the design of a sub-optimal scheme for other cases. We consider the design of this probabilistic sampling for a scalar, log-concave random variable, to minimize either the mean square estimation error, or the mean absolute estimation error. We show that the optimal silence interval: (i) is essentially unique, and (ii) is the limit of an iterative procedure of centering. Further we show through numerical experiments that super-level intervals seem to be remarkably near-optimal for mean square estimation. Finally we use the Gauss inequality for scalar unimodal densities, to show that probabilistic sampling gives a mean square distortion that is less than a third of the distortion incurred by periodic sampling, if the average sampling rate is between 0.3 and 0.9 samples per tick.

math.OC↗

arXiv2023

Learning to cooperatively estimate road surface friction

We present a system for estimating the friction of the pavement surface at any curved road section, by arriving at a consensus estimate, based on data from vehicles that have recently passed through that section. This estimate can help following vehicles. To keep costs down, we depend only on standard automotive sensors, such as the IMU, and sensors for the steering angle and wheel speeds. Our system's workflow consists of: (i) processing of measurements from existing vehicular sensors, to implement a virtual sensor that captures the effect of low friction on the vehicle, (ii) transmitting short kinematic summaries from vehicles to a road side unit (RSU), using V2X communication, and (iii) estimating the friction coefficients, by running a machine learning regressor at the RSU, on summaries from individual vehicles, and then combining several such estimates. In designing and implementing our system over a road network, we face two key questions: (i) should each individual road section have a local friction coefficient regressor, or can we use a global regressor that covers all the possible road sections? and (ii) how accurate are the resulting regressor estimates? We test the performance of design variations of our solution, using simulations on the commercial package Dyna4. We consider a single vehicle type with varying levels of tyre wear, and a range of road friction coefficients. We find that: (a) only a marginal loss of accuracy is incurred in using a global regressor as compared to local regressors, (b) the consensus estimate at the RSU has a worst case error of about ten percent, if the combination is based on at least fifty recently passed vehicles, and (c) our regressors have root mean square (RMS) errors that are less than five percent. The RMS error rate of our system is half as that of a commercial friction estimation service.

math.OC↗

arXiv2022

On stationary inflection points in step responses

The step and impulse responses of a proper, rational transfer function are well-behaved analytic functions. We prove that such a response cannot have an inflection point such that the tangent at that point is parallel to the time-axis. Hence when a step or impulse response of a finite-dimensional LTI system crosses any given level, that crossing must be transversal, and can never be tangential.

math.OC↗

arXiv2021

Bounds on set exit times of affine systems, using Linear Matrix Inequalities

Efficient computation of trajectories of switched affine systems becomes possible, if for any such hybrid system, we can manage to efficiently compute the sequence of switching times. Once the switching times have been computed, we can easily compute the trajectories between two successive switches as the solution of an affine ODE. Each switching time can be seen as a positive real root of an analytic function, thereby allowing for efficient computation by using root finding algorithms. These algorithms require a finite interval, within which to search for the switching time. In this paper, we study the problem of computing upper bounds on such switching times, and we restrict our attention to stable time-invariant affine systems. We provide semi-definite programming models to compute upper bounds on the time taken by the trajectories of an affine ODE to exit a set described as the intersection of a few generalized ellipsoids. Through numerical experiments, we show that the resulting bounds are tighter than bounds reported before, while requiring only a modest increase in computation time.

math.OC↗

arXiv2018

Relay self-oscillations for second order, stable, nonminimum phase plants

We study a relay feedback system (RFS) having an ideal relay element and a linear, time-invariant, second order plant. We model the relay element using an ideal on-off switch. And we model the second order plant with a transfer function that: (i) is Hurwitz stable, (ii) is proper, (iii) has a positive real zero, and (iv) has a positive DC gain. We analyze this RFS using a state space description, with closed form expressions for the state trajectory from one switching time to the next. We prove that the state transformation from one switching time to the next: (a) has a Schur stable linearization, (b) is a contraction mapping, and (c) maps points of large magnitudes to points with lesser magnitudes. Then using the Banach contraction mapping theorem, we prove that every trajectory of this RFS converges asymptotically to an unique limit cycle. This limit cycle is symmetric, and is unimodal as it has exactly two relay switches per period. This result helps understand the behaviour of the relay autotuning method, when applied to second order plants with no time delay. We also treat cases where the plant either has no finite zero, or has exactly one zero and that is negative.

math.OC↗

arXiv2014

Separated design of encoder and controller for networked linear quadratic optimal control

For a networked control system, we consider the problem of encoder and controller design. We study a discrete-time linear plant with a finite horizon performance cost, comprising of a quadratic function of the states and controls, and an additive communication cost. We study separation in design of the encoder and controller, along with related closed-loop properties such as the dual effect and certainty equivalence. We consider three basic formats for encoder outputs: quantized samples, real-valued samples at event-triggered times, and real-valued samples over additive noise channels. If the controller and encoder are dynamic, then we show that the performance cost is minimized by a separated design: the controls are updated at each time instant as per a certainty equivalence law, and the encoder is chosen to minimize an aggregate quadratic distortion of the estimation error. This separation is shown to hold even though a dual effect is present in the closed-loop system. We also show that this separated design need not be optimal when the controller or encoder are to be chosen from within restricted classes.

math.OC↗

arXiv2009

Adaptive sampling for linear state estimation

When a sensor has continuous measurements but sends limited messages over a data network to a supervisor which estimates the state, the available packet rate fixes the achievable quality of state estimation. When such rate limits turn stringent, the sensor's messaging policy should be designed anew. What are the good causal messaging policies ? What should message packets contain ? What is the lowest possible distortion in a causal estimate at the supervisor ? Is Delta sampling better than periodic sampling ? We answer these questions under an idealized model of the network and the assumption of perfect measurements at the sensor. For a scalar, linear diffusion process, we study the problem of choosing the causal sampling times that will give the lowest aggregate squared error distortion. We stick to finite-horizons and impose a hard upper bound on the number of allowed samples. We cast the design as a problem of choosing an optimal sequence of stopping times. We reduce this to a nested sequence of problems each asking for a single optimal stopping time. Under an unproven but natural assumption about the least-square estimate at the supervisor, each of these single stopping problems are of standard form. The optimal stopping times are random times when the estimation error exceeds designed envelopes. For the case where the state is a Brownian motion, we give analytically: the shape of the optimal sampling envelopes, the shape of the envelopes under optimal Delta sampling, and their performances. Surprisingly, we find that Delta sampling performs badly. Hence, when the rate constraint is a hard limit on the number of samples over a finite horizon, we should should not use Delta sampling.

math.OC↗