-
Behavioral Inequalities
Authors:
Soutrik Bandyopadhyay,
Debasattam Pal,
Shubhendu Bhasin
Abstract:
We introduce behavioral inequalities as a way to model dynamical systems defined by inequalities among their variables of interest. We claim that such a formulation enables the representation of safety-aware dynamical systems, systems with bounds on disturbances, practical design limits and operational boundaries, etc. We develop a necessary and sufficient condition for the existence of solutions…
▽ More
We introduce behavioral inequalities as a way to model dynamical systems defined by inequalities among their variables of interest. We claim that such a formulation enables the representation of safety-aware dynamical systems, systems with bounds on disturbances, practical design limits and operational boundaries, etc. We develop a necessary and sufficient condition for the existence of solutions to such behavioral inequalities and provide a parametrization of solutions when they exist. Finally, we show the efficacy of the proposed method in two practical examples.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Designing Laplacian flows for opinion clustering in structurally balanced and unbalanced networks
Authors:
Vishnudatta Thota,
Twinkle Tripathy,
Debasattam Pal
Abstract:
In this work, we consider a group of n agents whose interactions can be represented using unsigned or signed structurally balanced graphs or a special case of structurally unbalanced graphs. A Laplacian-based model is proposed to govern the evolution of opinions. The objective of the paper is to analyze the proposed opinion model on the opinion evolution of the agents. Further, we also determine t…
▽ More
In this work, we consider a group of n agents whose interactions can be represented using unsigned or signed structurally balanced graphs or a special case of structurally unbalanced graphs. A Laplacian-based model is proposed to govern the evolution of opinions. The objective of the paper is to analyze the proposed opinion model on the opinion evolution of the agents. Further, we also determine the conditions required to apply the proposed Laplacian-based opinion model. Finally, some numerical results are shown to validate these results.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Optimal k-centers of a graph: a control-theoretic approach
Authors:
Karim Shahbaz,
Madhu N. Belur,
Chayan Bhawal,
Debasattam Pal
Abstract:
In a network consisting of n nodes, our goal is to identify the most central k nodes with respect to the proposed definitions of centrality. Depending on the specific application, there exist several metrics for quantifying k-centrality, and the subset of the best k nodes naturally varies based on the chosen metric. In this paper, we propose two metrics and establish connections to a well-studied…
▽ More
In a network consisting of n nodes, our goal is to identify the most central k nodes with respect to the proposed definitions of centrality. Depending on the specific application, there exist several metrics for quantifying k-centrality, and the subset of the best k nodes naturally varies based on the chosen metric. In this paper, we propose two metrics and establish connections to a well-studied metric from the literature (specifically for stochastic matrices). We prove these three notions match for path graphs. We then list a few more control-theoretic notions and compare these various notions for a general randomly generated graph. Our first metric involves maximizing the shift in the smallest eigenvalue of the Laplacian matrix. This shift can be interpreted as an improvement in the time constant when the RC circuit experiences leakage at certain k capacitors. The second metric focuses on minimizing the Perron root of a principal sub-matrix of a stochastic matrix, an idea proposed and interpreted in the literature as manufacturing consent. The third one explores minimizing the Perron root of a perturbed (now super-stochastic) matrix, which can be seen as minimizing the impact of added stubbornness. It is important to emphasize that we consider applications (for example, facility location) when the notions of central ports are such that the set of the best k ports does not necessarily contain the set of the best k-1 ports. We apply our k-port selection metric to various network structures. Notably, we prove the equivalence of three definitions for a path graph and extend the concept of central port linkage beyond Fiedler vectors to other eigenvectors associated with path graphs.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Strong-ARM Dynamic Latch Comparators: Design and Analyses on CAD Platform
Authors:
Kasi Bandla,
Dipankar Pal
Abstract:
Strong-ARM Dynamic Latch Comparators are widely used in high-speed analog-to-digital converters (ADCs), sense amplifiers in memory, RFID applications, and data receivers. This paper presents different methods to improve the performance of Strong-Arm latch-based comparators. The comparator's significant features such as power dissipation, propagation delay, offset voltage, clock feedthrough, area,…
▽ More
Strong-ARM Dynamic Latch Comparators are widely used in high-speed analog-to-digital converters (ADCs), sense amplifiers in memory, RFID applications, and data receivers. This paper presents different methods to improve the performance of Strong-Arm latch-based comparators. The comparator's significant features such as power dissipation, propagation delay, offset voltage, clock feedthrough, area, and kickback noises are discussed and compared with state-of-the-art candidate topologies. Simulation results show that the new comparator topologies of Strong-ARM Dynamic Latch proposed by these authors gave the best results. The proposed designs are tested. The simulations are carried out using UMC 180nm double metal, double poly standard CMOS process technology, for a 100 MHz clock, at 1.8V supply-rail on the Cadence Virtuoso EDA platform.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Asynchronous Distributed Consensus with Minimum Communication
Authors:
Vishal Sawant,
Debraj Chakraborty,
Debasattam Pal
Abstract:
In this paper, the communication effort required in a multi-agent system (MAS) is minimized via an explicit optimization formulation. The paper considers a MAS of single-integrator agents with bounded inputs and a time-invariant communication graph. A new model of discrete asynchronous communication and a distributed consensus protocol based on it, are proposed. The goal of the proposed protocol i…
▽ More
In this paper, the communication effort required in a multi-agent system (MAS) is minimized via an explicit optimization formulation. The paper considers a MAS of single-integrator agents with bounded inputs and a time-invariant communication graph. A new model of discrete asynchronous communication and a distributed consensus protocol based on it, are proposed. The goal of the proposed protocol is to minimize the aggregate number of communication instants of all agents, required to steer the state trajectories inside a pres-specified bounded neighbourhood within a pre-specified time. Due to information structure imposed by the underlying communication graph, an individual agent does not know the global parameters in the MAS, which are required for the above-mentioned minimization. To counter this uncertainty, the worst-case realizations of the global parameters are considered, which lead to min-max type optimizations. The control rules in the proposed protocol are obtained as the closed form solutions of these optimization problems. Hence, the proposed protocol does not increase the burden of run-time computation making it suitable for time-critical applications.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Lattice All-Pass Filter based Precoder Adaptation for MIMO Wireless Channels
Authors:
Parth Mehta,
Agulla Surya Bharath,
Kumar Appaiah,
Rajbabu Velmurugan,
Debasattam Pal
Abstract:
Modern 5G communication systems employ multiple-input multiple-output (MIMO) in conjunction with orthogonal frequency division multiplexing (OFDM) to enhance data rates, particularly for wideband millimetre wave (mmW) applications. Since these systems use a large number of subcarriers, feeding back the estimated precoder for even a subset of subcarriers from the receiver to the transmitter is proh…
▽ More
Modern 5G communication systems employ multiple-input multiple-output (MIMO) in conjunction with orthogonal frequency division multiplexing (OFDM) to enhance data rates, particularly for wideband millimetre wave (mmW) applications. Since these systems use a large number of subcarriers, feeding back the estimated precoder for even a subset of subcarriers from the receiver to the transmitter is prohibitive. Moreover, such frequency domain approaches also do not exploit the predominant line-of-sight component that is present in such channels to reduce feedback. In this work, we view the precoder in the time domain as a matrix all-pass filter, and model the discrete-time precoder filter using a matrix-lattice structure that aids in reducing the overall feedback while still maintaining the desired frequency-phase delay profile. This provides an efficient precoder representation across the subcarriers using fewer coefficients, and is amenable to tracking over time with much lower feedback than past approaches. Compared to frequency domain geodesic interpolation, Givens rotation based parameterisation, and the angle-delay domain approach that depends on approximate discrete-time representation, the proposed approach yields higher achievable rates with a much lower feedback burden. Via extensive simulations over mmW channel models, we confirm the effectiveness of our claims, and show that the proposed approach can reduce the feedback burden by up to 70%.
△ Less
Submitted 18 March, 2023; v1 submitted 22 February, 2023;
originally announced February 2023.
-
Design of Discrete-time Matrix All-Pass Filters Using Subspace Nevanlinna Pick Interpolation
Authors:
Agulla Surya Bharath,
Devanshu Singh Gaharwar,
Kumar Appaiah,
Debasattam Pal
Abstract:
Unitary matrix-valued functions of frequency are matrix all-pass systems, since they preserve the norm of the input vector signals. Typically, such systems are represented and analyzed using their unitary-matrix valued frequency domain characteristics, although obtaining rational realizations for matrix all-pass systems enables compact representations and efficient implementations. However, an app…
▽ More
Unitary matrix-valued functions of frequency are matrix all-pass systems, since they preserve the norm of the input vector signals. Typically, such systems are represented and analyzed using their unitary-matrix valued frequency domain characteristics, although obtaining rational realizations for matrix all-pass systems enables compact representations and efficient implementations. However, an approach to obtain matrix all-pass filters that satisfy phase constraints at certain frequencies was hitherto unknown. In this paper, we present an interpolation strategy to obtain a rational matrix-valued transfer function from frequency domain constraints for discrete-time matrix all-pass systems. Using an extension of the Subspace Nevanlinna Pick Interpolation Problem (SNIP), we design a construction for discrete-time matrix all-pass systems that satisfy the desired phase characteristics. An innovation that enables this is the extension of the SNIP to the boundary case to obtain efficient time-domain implementations of matrix all-pass filters as matrix linear constant coefficient difference equations, facilitated by a rational (realizable) matrix transfer function. We also show that the derivative of matrix phase constraints, related to the group delay at the interpolating points, can be optimized to control the all-pass transfer matrices at the unspecified frequencies. Simulations show that the proposed technique for unitary matrix filter design performs as well as traditional DFT based interpolation approaches, including Geodesic interpolation and the popular Givens rotation based matrix parameterization.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
A matrix theoretic characterization of the strongly reachable subspace
Authors:
Imrul Qais,
Chayan Bhawal,
Debasattam Pal
Abstract:
In this paper, we provide novel characterizations of the weakly unobservable and the strongly reachable subspaces corresponding to a given state-space system. These characterizations provide closed-form representations for the said subspaces. In this process, we establish that the strongly reachable subspace is intimately related to the space of admissible impulsive inputs. We also show how to cal…
▽ More
In this paper, we provide novel characterizations of the weakly unobservable and the strongly reachable subspaces corresponding to a given state-space system. These characterizations provide closed-form representations for the said subspaces. In this process, we establish that the strongly reachable subspace is intimately related to the space of admissible impulsive inputs. We also show how to calculate the dimensions of these subspaces from the transfer matrix of the system.
△ Less
Submitted 7 November, 2021;
originally announced November 2021.
-
The coarsest lattice that determines a discrete multidimensional system
Authors:
Debasattam Pal,
Shiva Shankar
Abstract:
A discrete multidimensional system is the set of solutions to a system of linear partial difference equations defined on the lattice $\Z^n$. This paper shows that it is determined by a unique coarsest sublattice, in the sense that the solutions of the system on this sublattice determine the solutions on $\Z^n$; it is therefore the correct domain of definition of the discrete system. In turn, the d…
▽ More
A discrete multidimensional system is the set of solutions to a system of linear partial difference equations defined on the lattice $\Z^n$. This paper shows that it is determined by a unique coarsest sublattice, in the sense that the solutions of the system on this sublattice determine the solutions on $\Z^n$; it is therefore the correct domain of definition of the discrete system. In turn, the defining sublattice is determined by a Galois group of symmetries that leave invariant the equations defining the system. These results find application in understanding properties of the system such as controllability and autonomy, and in its order reduction.
△ Less
Submitted 23 January, 2022; v1 submitted 3 July, 2021;
originally announced July 2021.
-
Design and Qualification of an Airborne, Cosmic Ray Flux Measurement System
Authors:
Sanket Deshpande,
Lucky Kapoor,
Shivangi Kamat,
Satyanarayana Bheesette,
Dipankar Pal
Abstract:
The paper presents the design and qualification tests of an airborne experimental setup to determine cosmic ray-flux in the lower stratospheric regions of the earth's atmosphere. The concept of coincidence is implemented to preferentially detect cosmic rays and reject noise and particles that are incident at large angles but otherwise have similar characteristics, and are therefore inseparable fro…
▽ More
The paper presents the design and qualification tests of an airborne experimental setup to determine cosmic ray-flux in the lower stratospheric regions of the earth's atmosphere. The concept of coincidence is implemented to preferentially detect cosmic rays and reject noise and particles that are incident at large angles but otherwise have similar characteristics, and are therefore inseparable from the particles of interest by conventional detection techniques. The experiment is designed to measure cosmic ray flux at two altitudes extending to a maximum height of 30 km from mean-sea-level. The experimental setup is to be lifted using a High Altitude Balloon (HAB). The setup is designed and tested to withstand extreme temperature and pressure conditions during the flight in the stratosphere. It includes a cosmic ray telescope, a data acquisition system, a power supply systems, and peripheral sensors. In the present endeavor, the payload design and results from qualification tests are included.
△ Less
Submitted 8 November, 2018; v1 submitted 31 October, 2018;
originally announced October 2018.
-
Stability Analysis for Fast Settling Switched DPLL
Authors:
Pallavi Paliwal,
Debasattam Pal,
Shalabh Gupta
Abstract:
In current generation digital phase locked loop (DPLL) architectures, techniques like adaptive loop bandwidth with loop order switching and switched phase-detection are employed to achieve better lock time and jitter performance. This work derives stability conditions for such DPLL architectures using Multiple Lyapunov Functions (MLFs) for switched systems. The loop-parameters chosen on the basis…
▽ More
In current generation digital phase locked loop (DPLL) architectures, techniques like adaptive loop bandwidth with loop order switching and switched phase-detection are employed to achieve better lock time and jitter performance. This work derives stability conditions for such DPLL architectures using Multiple Lyapunov Functions (MLFs) for switched systems. The loop-parameters chosen on the basis of these stability conditions ensure that chattering phenomenon does not occur during switching between different subsystems. A 5GHz fractional-N DPLL designed with these loop-parameter values is fabricated in CMOS65nm-LL technology. The measured settling time of the implemented DPLL is within 1us. The efficiency of switching rule and stability conditions used for this DPLL is validated with the fast settling response, which is the best lock time reported until now for fractional-N DPLLs.
△ Less
Submitted 4 June, 2018;
originally announced June 2018.
