Swaroop Darbha

Bio: Swaroop Darbha is an academic researcher from Texas A&M University. The author has contributed to research in topics: Travelling salesman problem & Approximation algorithm. The author has an hindex of 28, co-authored 162 publications receiving 3767 citations. Previous affiliations of Swaroop Darbha include Air Force Research Laboratory & University of California, Berkeley.

Optimal Robust Network Design: Formulations and Algorithms for Maximizing Algebraic Connectivity

Abstract: This paper focuses on the design of edge-weighted networks, whose robustness is characterized by maximizing algebraic connectivity, or the smallest non-zero eigenvalue of the Laplacian matrix. This problem is motivated by the application of cooperative localization for accurately estimating positions of autonomous vehicles by choosing a set of relative position measurements and establishing associated communication links. We also examine an associated problem where every robot is limited by payload, budget, and communication to pick no more than a specified number of relative position measurements. The basic underlying formulation for these problems is nonlinear and is known to be NP-hard. We solve this network design problem by formulating it as a mixed-integer semi-definite program (MISDP) and reformulating it into a mixed-integer linear program to obtain optimal solutions using cutting plane algorithms. We propose a novel upper-bounding algorithm based on the hierarchy of principal minor characterization of positive semi-definite matrices. We further discuss a degree-constrained lower bounding formulation, inspired by robust network structures. In addition, we propose a maximum-cost heuristic with low computational complexity to find high-quality feasible solutions. We show extensive computational results corroborating our proposed methods.

Reconfiguration of a vehicle formation with ring communication structure

Abstract: In multiple vehicle formations, there is often a need to reconfigure communication graphs to accommodate (1) for addition or removal of vehicles or (2) for change in positions of the vehicles within a given formation. This problem is commonly referred to as the topology or graph reconfiguration problem. In this paper, we will study the reconfiguration problem from the point of view of increasing the size of the formation. We first discuss the suitability of the ring structure to add vehicles into the formation followed by ways to reconfigure the communication structure when adding vehicles. We will show that the directed ring graph is well suited for adding vehicles from the point of view of scalability of the existing controller and the ease with which the existing ring structure will be able to handle the increase in the formation size. The algorithm for obtaining the ring structure is formulated as a specific instance of the Traveling Salesman Problem, where constraints may be included to model the communication sensing range; in addition, we use the nearest neighbor search to include new vehicles into the perimeter of the formation.

On the Boundedness of the Set of Stabilizing Controllers

Abstract: This paper shows that the set of rational, strictly proper stabilizing controllers for single input single output (SISO) linear time invariant (LTI) plants will form a bounded (can even be empty) set in the controller parameter space if and only if the order of the stabilizing controller can not be reduced any further; if the set of proper stabilizing controllers of order tau is not empty and the set of strictly proper controllers of order r is bounded, then tau is the minimal order of stabilization. The paper also extends this result to characterize the set of controllers that guarantee some prespecified performance specifications. In particular, it is shown here that the minimal order of a controller that guarantees specified performance is I iff (1) there is a controller of order I guaranteeing the specified performance and (2) the set of strictly proper stabilizing controllers of order I and guaranteeing the performance is bounded. Moreover, if the order of the controller is increased, the set of higher order controllers which satisfies the specified performance, will necessarily be unbounded. This characterization is provided for performance specifications, such as gain margin and robust stability, which can be posed as the simultaneous stabilization of a family of real polynomials. Other performance specifications, such as phase margin and Hinfin norm, can be reduced to the problem of determining a set of stabilizing controllers that renders a family of complex polynomials Hurwitz. The characterization of the set of controllers for the stabilization of complex polynomials is provided and is used to show the boundedness properties for the set of controllers that guarantee a given phase margin or an upper bound on the Hinfin norm.

A Lower Bounding Linear Programming approach to the Perimeter Patrol Stochastic Control Problem.

Abstract: One encounters the curse of dimensionality in the application of dynamic programming to determine optimal policies for large scale controlled Markov chains. In this article, we consider a perimeter patrol stochastic optimal control problem. To determine the optimal control policy, one has to solve a Markov decision problem, whose large size renders exact dynamic programming methods intractable. So, we propose a state aggregation based approximate linear programming method to construct provably good sub-optimal policies instead. The state-space is partitioned and the optimal cost-to-go or value function is restricted to be a constant over each partition. We show that the resulting restricted system of linear inequalities embeds a family of Markov chains of lower dimension, one of which can be used to construct a tight lower bound on the optimal value function. In general, the construction of the lower bound requires the solution to a combinatorial problem. But the perimeter patrol problem exhibits a special structure that enables tractable linear programming formulation for the lower bound. We demonstrate this and also provide numerical results that corroborate the efficacy of the proposed methodology.

Multi-Agent Assisted Shortest Path Planning using Monte Carlo Tree Search

Abstract: In this article, we propose a Monte Carlo Tree Search (MCTS) based anytime algorithm for the multi-agent Assisted Shortest Path Planning (ASPP) problem. The computation time required by the existing, exact algorithm for the ASPP increases exponentially with the complexity of the instances. The proposed MCTS algorithm can provide a feasible solution within a close range of the optimal cost for a fraction of computation time and can reach the optimal cost given sufficient time. Detailed computational analysis is presented to illustrate the effectiveness of the MCTS algorithm.

Multi-messenger observations of a binary neutron star merger

Abstract: On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of $\sim 1.7\,{\rm{s}}$ with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of ${40}_{-8}^{+8}$ Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 $\,{M}_{\odot }$. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at $\sim 40\,{\rm{Mpc}}$) less than 11 hours after the merger by the One-Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient's position $\sim 9$ and $\sim 16$ days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC 4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta.

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms

Abstract: This self-contained introduction to the distributed control of robotic networks offers a distinctive blend of computer science and control theory. The book presents a broad set of tools for understanding coordination algorithms, determining their correctness, and assessing their complexity; and it analyzes various cooperative strategies for tasks such as consensus, rendezvous, connectivity maintenance, deployment, and boundary estimation. The unifying theme is a formal model for robotic networks that explicitly incorporates their communication, sensing, control, and processing capabilities--a model that in turn leads to a common formal language to describe and analyze coordination algorithms.Written for first- and second-year graduate students in control and robotics, the book will also be useful to researchers in control theory, robotics, distributed algorithms, and automata theory. The book provides explanations of the basic concepts and main results, as well as numerous examples and exercises.Self-contained exposition of graph-theoretic concepts, distributed algorithms, and complexity measures for processor networks with fixed interconnection topology and for robotic networks with position-dependent interconnection topology Detailed treatment of averaging and consensus algorithms interpreted as linear iterations on synchronous networks Introduction of geometric notions such as partitions, proximity graphs, and multicenter functions Detailed treatment of motion coordination algorithms for deployment, rendezvous, connectivity maintenance, and boundary estimation

Masses, Radii, and the Equation of State of Neutron Stars

Abstract: We summarize our current knowledge of neutron-star masses and radii. Recent instrumentation and computational advances have resulted in a rapid increase in the discovery rate and precise timing of radio pulsars in binaries in the past few years, leading to a large number of mass measurements. These discoveries show that the neutron-star mass distribution is much wider than previously thought, with three known pulsars now firmly in the 1.9–2.0-M⊙ mass range. For radii, large, high-quality data sets from X-ray satellites as well as significant progress in theoretical modeling led to considerable progress in the measurements, placing them in the 10–11.5-km range and shrinking their uncertainties, owing to a better understanding of the sources of systematic errors. The combination of the massive-neutron-star discoveries, the tighter radius measurements, and improved laboratory constraints of the properties of dense matter has already made a substantial impact on our understanding of the composition and bulk p...

Short-Duration Gamma-Ray Bursts

Abstract: Gamma-ray bursts (GRBs) display a bimodal duration distribution with a separation between the short- and long-duration bursts at about 2 s. The progenitors of long GRBs have been identified as massive stars based on their association with Type Ic core-collapse supernovae (SNe), their exclusive location in star-forming galaxies, and their strong correlation with bright UV regions within their host galaxies. Short GRBs have long been suspected on theoretical grounds to arise from compact object binary mergers (neutron star–neutron star or neutron star–black hole). The discovery of short GRB afterglows in 2005 provided the first insight into their energy scale and environments, as well as established a cosmological origin, a mix of host-galaxy types, and an absence of associated SNe. In this review, I summarize nearly a decade of short GRB afterglow and host-galaxy observations and use this information to shed light on the nature and properties of their progenitors, the energy scale and collimation of the relativistic outflow, and the properties of the circumburst environments. The preponderance of the evidence points to compact object binary progenitors, although some open questions remain. On the basis of this association, observations of short GRBs and their afterglows can shed light on the on- and off-axis electromagnetic counterparts of gravitational wave sources from the Advanced LIGO/Virgo experiments.

Origin of the heavy elements in binary neutron-star mergers from a gravitational-wave event

Abstract: Modelling the electromagnetic emission of kilonovae enables the mass, velocity and composition (with some heavy elements) of the ejecta from a neutron-star merger to be derived from the observations. Merging neutron stars are potential sources of gravitational waves and have long been predicted to produce jets of material as part of a low-luminosity transient known as a 'kilonova'. There is growing evidence that neutron-star mergers also give rise to short, hard gamma-ray bursts. A group of papers in this issue report observations of a transient associated with the gravitational-wave event GW170817—a signature of two neutron stars merging and a gamma-ray flash—that was detected in August 2017. The observed gamma-ray, X-ray, optical and infrared radiation signatures support the predictions of an outflow of matter from double neutron-star mergers and present a clear origin for gamma-ray bursts. Previous predictions differ over whether the jet material would combine to form light or heavy elements. These papers now show that the early part of the outflow was associated with lighter elements whereas the later observations can be explained by heavier elements, the origins of which have been uncertain. However, one paper (by Stephen Smartt and colleagues) argues that only light elements are needed for the entire event. Additionally, Eleonora Troja and colleagues report X-ray observations and radio emissions that suggest that the 'kilonova' jet was observed off-axis, which could explain why gamma-ray-burst detections are seen as dim. The cosmic origin of elements heavier than iron has long been uncertain. Theoretical modelling1,2,3,4,5,6,7 shows that the matter that is expelled in the violent merger of two neutron stars can assemble into heavy elements such as gold and platinum in a process known as rapid neutron capture (r-process) nucleosynthesis. The radioactive decay of isotopes of the heavy elements is predicted8,9,10,11,12 to power a distinctive thermal glow (a ‘kilonova’). The discovery of an electromagnetic counterpart to the gravitational-wave source13 GW170817 represents the first opportunity to detect and scrutinize a sample of freshly synthesized r-process elements14,15,16,17,18. Here we report models that predict the electromagnetic emission of kilonovae in detail and enable the mass, velocity and composition of ejecta to be derived from observations. We compare the models to the optical and infrared radiation associated with the GW170817 event to argue that the observed source is a kilonova. We infer the presence of two distinct components of ejecta, one composed primarily of light (atomic mass number less than 140) and one of heavy (atomic mass number greater than 140) r-process elements. The ejected mass and a merger rate inferred from GW170817 imply that such mergers are a dominant mode of r-process production in the Universe.