Showing 1–37 of 37 results for author: Darbha, S

Assessing the safety benefits of CACC+ based coordination of connected and autonomous vehicle platoons in emergency braking scenarios

Authors: Guoqi Ma, Prabhakar R. Pagilla, Swaroop Darbha

Abstract: Ensuring safety is the most important factor in connected and autonomous vehicles, especially in emergency braking situations. As such, assessing the safety benefits of one information topology over other is a necessary step towards evaluating and ensuring safety. In this paper, we compare the safety benefits of a cooperative adaptive cruise control which utilizes information from one predecessor… ▽ More Ensuring safety is the most important factor in connected and autonomous vehicles, especially in emergency braking situations. As such, assessing the safety benefits of one information topology over other is a necessary step towards evaluating and ensuring safety. In this paper, we compare the safety benefits of a cooperative adaptive cruise control which utilizes information from one predecessor vehicle (CACC) with the one that utilizes information from multiple predecessors (CACC+) for the maintenance of spacing under an emergency braking scenario. A constant time headway policy is employed for maintenance of spacing (that includes a desired standstill spacing distance and a velocity dependent spacing distance) between the vehicles in the platoon. The considered emergency braking scenario consists of braking of the leader vehicle of the platoon at its maximum deceleration and that of the following vehicles to maintain the spacing as per CACC or CACC+. By focusing on the standstill spacing distance and utilizing Monte Carlo simulations, we assess the safety benefits of CACC+ over CACC by utilizing the following safety metrics: (1) probability of collision, (2) expected number of collisions, and (3) severity of collision (defined as the relative velocity of the two vehicles at impact). We present and provide discussion of these results. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Long-lived oscillations of false and true vacuum states in neutral atom systems

Authors: Siva Darbha, Milan Kornjača, Fangli Liu, Jan Balewski, Mark R. Hirsbrunner, Pedro Lopes, Sheng-Tao Wang, Roel Van Beeumen, Katherine Klymko, Daan Camps

Abstract: Metastable false vacuum states arise in a range of quantum systems and can be observed in various dynamical scenarios, including decay, bubble nucleation, and long-lived oscillations. False vacuum phenomenology has been examined in quantum many-body systems, notably in 1D ferromagnetic Ising spin systems and superfluids. In this paper, we study long-lived oscillations of false and true vacuum stat… ▽ More Metastable false vacuum states arise in a range of quantum systems and can be observed in various dynamical scenarios, including decay, bubble nucleation, and long-lived oscillations. False vacuum phenomenology has been examined in quantum many-body systems, notably in 1D ferromagnetic Ising spin systems and superfluids. In this paper, we study long-lived oscillations of false and true vacuum states in 1D antiferromagnetic neutral atom chains with long-range Rydberg interactions. We use a staggered local detuning field to achieve confinement. Using theoretical and numerical models, we identify novel spectral signatures of quasiparticle oscillations distinct to antiferromagnetic neutral atom systems and interpret them using a classical energy model of deconfinement from Rydberg tails. Finally, we evaluate the experimental accessibility of our proposed setup on current neutral-atom platforms and discuss experimental feasibility and constraints. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 14 pages, 5 figures

False vacuum decay and nucleation dynamics in neutral atom systems

Authors: Siva Darbha, Milan Kornjača, Fangli Liu, Jan Balewski, Mark R. Hirsbrunner, Pedro Lopes, Sheng-Tao Wang, Roel Van Beeumen, Daan Camps, Katherine Klymko

Abstract: False vacuum decay and nucleation offer the opportunity to study non-equilibrium dynamical phenomena in quantum many-body systems with confinement. Recent work has examined false vacuum decay in 1D ferromagnetic Ising spins and superfluids. In this paper, we study false vacuum nucleation dynamics in 1D antiferromagnetic neutral atom chains with Rydberg interactions, using both numerical simulation… ▽ More False vacuum decay and nucleation offer the opportunity to study non-equilibrium dynamical phenomena in quantum many-body systems with confinement. Recent work has examined false vacuum decay in 1D ferromagnetic Ising spins and superfluids. In this paper, we study false vacuum nucleation dynamics in 1D antiferromagnetic neutral atom chains with Rydberg interactions, using both numerical simulations and analytic modeling. We apply a staggered local detuning field to generate the false and true vacuum states. Our efforts focus on two dynamical regimes: decay and annealing. In the first, we corroborate the phenomenological decay rate scaling and determine the associated parameter range for the decay process; in the second, we uncover and elucidate a procedure to anneal the false vacuum from the initial to the final system, with intermediate nucleation events. We further propose experimental protocols to prepare the required states and perform quenches on near-term neutral atom quantum simulators, examining the experimental feasibility of our proposed setup and parameter regime. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 14 pages, 8 figures

Selection of Time Headway in Connected and Autonomous Vehicle Platoons under Noisy V2V Communication

Authors: Guoqi Ma, Prabhakar R. Pagilla, Swaroop Darbha

Abstract: In this paper, we investigate the selection of time headway to ensure robust string stability in connected and autonomous vehicle platoons in the presence of signal noise in Vehicle-to-Vehicle (V2V) communication. In particular, we consider the effect of noise in communicated vehicle acceleration from the predecessor vehicle to the follower vehicle on the selection of the time headway in predecess… ▽ More In this paper, we investigate the selection of time headway to ensure robust string stability in connected and autonomous vehicle platoons in the presence of signal noise in Vehicle-to-Vehicle (V2V) communication. In particular, we consider the effect of noise in communicated vehicle acceleration from the predecessor vehicle to the follower vehicle on the selection of the time headway in predecessor-follower type vehicle platooning with a Constant Time Headway Policy (CTHP). Employing a CTHP based control law for each vehicle that utilizes on-board sensors for measurement of position and velocity of the predecessor vehicle and wireless communication network for obtaining the acceleration of the predecessor vehicle, we investigate how time headway is affected by communicated signal noise. We derive constraints on the CTHP controller gains for predecessor acceleration, velocity error and spacing error and a lower bound on the time headway which will ensure robust string stability of the platoon against signal noise. We provide comparative numerical simulations on an example to illustrate the main result. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Benefits of V2V communication in connected and autonomous vehicles in the presence of delays in communicated signals

Authors: Guoqi Ma, Prabhakar R. Pagilla, Swaroop Darbha

Abstract: In this paper, we investigate the effect of signal delay in communicated information in connected and autonomous vehicles. In particular, we relate this delay's effect on the selection of the time headway in predecessor-follower type vehicle platooning with a constant time headway policy (CTHP). We employ a CTHP control law for each vehicle in the platoon by considering two cases: cooperative adap… ▽ More In this paper, we investigate the effect of signal delay in communicated information in connected and autonomous vehicles. In particular, we relate this delay's effect on the selection of the time headway in predecessor-follower type vehicle platooning with a constant time headway policy (CTHP). We employ a CTHP control law for each vehicle in the platoon by considering two cases: cooperative adaptive cruise control (CACC) strategy where information from only one predecessor vehicle is employed and CACC+ where information from multiple predecessor vehicles is employed. We investigate how the lower bound on the time headway is affected by signal transmission delay due to wireless communication. We provide a systematic approach to the derivation of the lower bound of the time headway and selection of the appropriate CTHP controller gains for predecessor acceleration, velocity error and spacing error which will ensure robust string stability of the platoon under the presence of signal delay. We corroborate the main result with numerical simulations. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Engineering quantum states with neutral atoms

Authors: Jan Balewski, Milan Kornjaca, Katherine Klymko, Siva Darbha, Mark R. Hirsbrunner, Pedro Lopes, Fangli Liu, Daan Camps

Abstract: Aquila, an analog quantum simulation platform developed by QuEra Computing, supports control of the position and coherent evolution of up to 256 neutral atoms. This study details novel experimental protocols designed for analog quantum simulators that generate Bell state entanglement far away from the blockade regime, construct a Z2 state with a defect induced by an ancilla, and optimize the drivi… ▽ More Aquila, an analog quantum simulation platform developed by QuEra Computing, supports control of the position and coherent evolution of up to 256 neutral atoms. This study details novel experimental protocols designed for analog quantum simulators that generate Bell state entanglement far away from the blockade regime, construct a Z2 state with a defect induced by an ancilla, and optimize the driving fields schedule to prepare excited states with enhanced fidelity. We additionally evaluate the effectiveness of readout error mitigation techniques in improving the fidelity of measurement results. All experiments were executed on Aquila from QuEra and facilitated by the AWS Braket interface. Our experimental results closely align with theoretical predictions and numerical simulations. The insights gained from this study showcase Aquila's capabilities in handling complex quantum simulations and computations, and also pave the way for new avenues of research in quantum information processing and physics that employ programmable analog hardware platforms. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 7 pages, 6 figures

Heuristic for Min-Max Heterogeneous Multi-Vehicle Multi-Depot Traveling Salesman Problem

Authors: Deepak Prakash Kumar, Sivakumar Rathinam, Swaroop Darbha, Trevor Bihl

Abstract: In this article, a heuristic is proposed for a min-max heterogeneous multi-vehicle multi-depot traveling salesman problem (TSP), wherein heterogeneous vehicles start from given depot positions and need to cover a given set of targets. The vehicles should cover given targets such that the maximum tour time is minimized. In the considered problem, vehicles considered can be functionally heterogeneou… ▽ More In this article, a heuristic is proposed for a min-max heterogeneous multi-vehicle multi-depot traveling salesman problem (TSP), wherein heterogeneous vehicles start from given depot positions and need to cover a given set of targets. The vehicles should cover given targets such that the maximum tour time is minimized. In the considered problem, vehicles considered can be functionally heterogeneous, wherein specific targets must be covered by a particular vehicle, structurally heterogeneous, wherein the vehicles can travel at different speeds, or both. The proposed heuristic generalizes the MD heuristic for the min-max homogeneous multi-vehicle multi-depot TSP and has three stages: an initialization stage to generate a feasible solution, a local search stage in which the vehicle with the maximum tour time is improved, and a perturbation stage to break from a local minimum. The proposed heuristic is benchmarked with the optimal solution obtained by solving a mixed integer linear program using branch and cut for instances considering three vehicles covering thirty targets. Variations in the percentage of vehicle-target assignments and the number of vehicles starting at the same depot are studied to show the heuristic's effectiveness in producing high-quality solutions. It was observed that the heuristic generated feasible solutions within 4% of the optimum on average for the considered instances. △ Less

Submitted 28 December, 2023; originally announced December 2023.

Assisted Path Planning for a UGV-UAV Team Through a Stochastic Network

Authors: Abhay Singh Bhadoriya, Sivakumar Rathinam, Swaroop Darbha, David W. Casbeer, Satyanarayana G. Manyam

Abstract: In this article, we consider a multi-agent path planning problem in a stochastic environment. The environment, which can be an urban road network, is represented by a graph where the travel time for selected road segments (impeded edges) is a random variable because of traffic congestion. An unmanned ground vehicle (UGV) wishes to travel from a starting location to a destination while minimizing t… ▽ More In this article, we consider a multi-agent path planning problem in a stochastic environment. The environment, which can be an urban road network, is represented by a graph where the travel time for selected road segments (impeded edges) is a random variable because of traffic congestion. An unmanned ground vehicle (UGV) wishes to travel from a starting location to a destination while minimizing the arrival time at the destination. UGV can traverse through an impeded edge but the true travel time is only realized at the end of that edge. This implies that the UGV can potentially get stuck in an impeded edge with high travel time. A support vehicle, such as an unmanned aerial vehicle (UAV) is simultaneously deployed from its starting position to assist the UGV by inspecting and realizing the true cost of impeded edges. With the updated information from UAV, UGV can efficiently reroute its path to the destination. The UGV does not wait at any time until it reaches the destination. The UAV is permitted to terminate its path at any vertex. The goal is then to develop an online algorithm to determine efficient paths for the UGV and the UAV based on the current information so that the UGV reaches the destination in minimum time. We refer to this problem as Stochastic Assisted Path Planning (SAPP). We present Dynamic $k$-Shortest Path Planning (D*KSPP) algorithm for the UGV planning and Rural Postman Problem (RPP) formulation for the UAV planning. Due to the scalability challenges of RPP, we also present a heuristic based Priority Assignment Algorithm (PAA) for the UAV planning. Computational results are presented to corroborate the effectiveness of the proposed algorithm to solve SAPP. △ Less

Submitted 28 December, 2023; originally announced December 2023.

UAV Routing for Enhancing the Performance of a Classifier-in-the-loop

Authors: Deepak Prakash Kumar, Pranav Rajbhandari, Loy McGuire, Swaroop Darbha, Donald Sofge

Abstract: Some human-machine systems are designed so that machines (robots) gather and deliver data to remotely located operators (humans) through an interface in order to aid them in classification. The performance of a human as a (binary) classifier-in-the-loop is characterized by probabilities of correctly classifying objects of type $T$ and $F$. These two probabilities depend on the dwell time, $d$, spe… ▽ More Some human-machine systems are designed so that machines (robots) gather and deliver data to remotely located operators (humans) through an interface in order to aid them in classification. The performance of a human as a (binary) classifier-in-the-loop is characterized by probabilities of correctly classifying objects of type $T$ and $F$. These two probabilities depend on the dwell time, $d$, spent collecting information at a point of interest (POI or interchangeably, target). The information gain associated with collecting information at a target is then a function of dwell time $d$ and discounted by the revisit time, $R$, i.e., the duration between consecutive revisits to the same target. The objective of the problem of routing for classification is to optimally route the vehicles and determine the optimal dwell time at each target so as to maximize the total discounted information gain while visiting every target at least once. In this paper, we make a simplifying assumption that the information gain is discounted exponentially by the revisit time; this assumption enables one to decouple the problem of routing with the problem of determining optimal dwell time at each target for a single vehicle problem. For the multi-vehicle problem, we provide a fast heuristic to obtain the allocation of targets to each vehicle and the corresponding dwell time. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Estimating Eigenenergies from Quantum Dynamics: A Unified Noise-Resilient Measurement-Driven Approach

Authors: Yizhi Shen, Daan Camps, Aaron Szasz, Siva Darbha, Katherine Klymko, David B. Williams--Young, Norm M. Tubman, Roel Van Beeumen

Abstract: Ground state energy estimation in physical, chemical, and materials sciences is one of the most promising applications of quantum computing. In this work, we introduce a new hybrid approach that finds the eigenenergies by collecting real-time measurements and post-processing them using the machinery of dynamic mode decomposition (DMD). From the perspective of quantum dynamics, we establish that ou… ▽ More Ground state energy estimation in physical, chemical, and materials sciences is one of the most promising applications of quantum computing. In this work, we introduce a new hybrid approach that finds the eigenenergies by collecting real-time measurements and post-processing them using the machinery of dynamic mode decomposition (DMD). From the perspective of quantum dynamics, we establish that our approach can be formally understood as a stable variational method on the function space of observables available from a quantum many-body system. We also provide strong theoretical and numerical evidence that our method converges rapidly even in the presence of a large degree of perturbative noise, and show that the method bears an isomorphism to robust matrix factorization methods developed independently across various scientific communities. Our numerical benchmarks on spin and molecular systems demonstrate an accelerated convergence and a favorable resource reduction over state-of-the-art algorithms. The DMD-centric strategy can systematically mitigate noise and stands out as a leading hybrid quantum-classical eigensolver. △ Less

Submitted 22 November, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

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

Authors: Neelkamal Somisetty, Harsha Nagarajan, Swaroop Darbha

Abstract: This paper focuses on designing edge-weighted networks, whose robustness is characterized by maximizing algebraic connectivity, or the second smallest eigenvalue of the Laplacian matrix. This problem is motivated by cooperative vehicle localization, where accurately estimating relative position measurements and establishing communication links are essential. We also examine an associated problem w… ▽ More This paper focuses on designing edge-weighted networks, whose robustness is characterized by maximizing algebraic connectivity, or the second smallest eigenvalue of the Laplacian matrix. This problem is motivated by cooperative vehicle localization, where accurately estimating relative position measurements and establishing communication links are essential. 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. Our approach formulates this problem as a Mixed Integer Semi-Definite Program (MISDP), later reformulated into a Mixed Integer Linear Program (MILP) for obtaining optimal solutions using cutting plane algorithms. We introduce a novel upper-bounding algorithm based on principal minor characterization of positive semi-definite matrices and 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 identify high-quality feasible solutions for instances involving up to one hundred nodes. We show extensive computational results corroborating our proposed methods. △ Less

Submitted 18 March, 2024; v1 submitted 17 April, 2023; originally announced April 2023.

Report number: LA-UR-23-23938

The Weighted Markov-Dubins Problem

Authors: Deepak Prakash Kumar, Swaroop Darbha, Satyanarayana Gupta Manyam, David Casbeer

Abstract: In this article, a variation of the classical Markov-Dubins problem is considered, which deals with curvature-constrained least-cost paths in a plane with prescribed initial and final configurations, different bounds for the sinistral and dextral curvatures, and penalties $μ_L$ and $μ_R$ for the sinistral and dextral turns, respectively. The addressed problem generalizes the classical Markov-Dubin… ▽ More In this article, a variation of the classical Markov-Dubins problem is considered, which deals with curvature-constrained least-cost paths in a plane with prescribed initial and final configurations, different bounds for the sinistral and dextral curvatures, and penalties $μ_L$ and $μ_R$ for the sinistral and dextral turns, respectively. The addressed problem generalizes the classical Markov-Dubins problem and the asymmetric sinistral/dextral Markov-Dubins problem. The proposed formulation can be used to model an Unmanned Aerial Vehicle (UAV) with a penalty associated with a turn due to a loss in altitude while turning or a UAV with different costs for the sinistral and dextral turns due to hardware failures or environmental conditions. Using optimal control theory, the main result of this paper shows that the optimal path belongs to a set of at most $21$ candidate paths, each comprising of at most five segments. Unlike in the classical Markov-Dubins problem, the $CCC$ path, which is a candidate path for the classical Markov-Dubins problem, is not optimal for the weighted Markov-Dubins problem. Moreover, the obtained list of candidate paths for the weighted Markov-Dubins problem reduces to the standard $CSC$ and $CCC$ paths and the corresponding degenerate paths when $μ_L$ and $μ_R$ approach zero. △ Less

Submitted 13 November, 2022; originally announced November 2022.

Cooperative Coverage with a Leader and a Wingmate in Communication-Constrained Environments

Authors: Sai Krishna Kanth Hari, Sivakumar Rathinam, Swaroop Darbha, David W. Casbeer

Abstract: We consider a mission framework in which two unmanned vehicles (UVs), a leader and a wingmate, are required to provide cooperative coverage of an environment while being within a short communication range. This framework finds applications in underwater and/or military domains, where certain constraints are imposed on communication by either the application or the environment. An important objecti… ▽ More We consider a mission framework in which two unmanned vehicles (UVs), a leader and a wingmate, are required to provide cooperative coverage of an environment while being within a short communication range. This framework finds applications in underwater and/or military domains, where certain constraints are imposed on communication by either the application or the environment. An important objective of missions within this framework is to minimize the total travel and communication costs of the leader-wingmate duo. In this paper, we propose and formulate the problem of finding routes for the UVs that minimize the sum of their travel and communication costs as a network optimization problem of the form of a binary program (BP). The BP is computationally expensive, with the time required to compute optimal solutions increasing rapidly with the problem size. To address this challenge, here, we propose two algorithms, an approximation algorithm and a heuristic algorithm, to solve large-scale instances of the problem swiftly. We demonstrate the effectiveness and the scalability of these algorithms through an analysis of extensive numerical simulations performed over 500 instances, with the number of targets in the instances ranging from 6 to 100. △ Less

Submitted 5 October, 2022; originally announced October 2022.

Path Planning and Energy Management of Hybrid Air Vehicles for Urban Air Mobility

Authors: Satyanarayana G. Manyam, David W. Casbeer, Swaroop Darbha, Isaac E. Weintraub, Krishna Kalyanam

Abstract: A novel coupled path planning and energy management problem for a hybrid unmanned air vehicle is considered, where the hybrid vehicle is powered by a dual gas/electric system. Such an aerial robot is envisioned for use in an urban setting where noise restrictions are in place in certain zones necessitating battery only operation. We consider the discrete version of this problem, where a graph is c… ▽ More A novel coupled path planning and energy management problem for a hybrid unmanned air vehicle is considered, where the hybrid vehicle is powered by a dual gas/electric system. Such an aerial robot is envisioned for use in an urban setting where noise restrictions are in place in certain zones necessitating battery only operation. We consider the discrete version of this problem, where a graph is constructed by sampling the boundaries of the restricted zones, and develop a path planning algorithm. The planner simultaneously solves the path planing along with the energy mode switching control, under battery constraints and noise restrictions. This is a coupled problem involving discrete decision making to find the path to travel, and determining the state of charge of the battery along the path, which is a continuous variable. A sampling based algorithm to find near optimal solution to this problem is presented. To quantify the efficacy of the solution, an algorithm that computes tight lower bounds is also presented. The algorithms presented are verified using numerical simulations, and the average gap between the feasible solutions (upper bounds) and the lower bounds are, empirically, shown to be within 15% of each other. △ Less

Submitted 28 May, 2022; originally announced May 2022.

Assisted Shortest Path Planning for a Convoy through a Repairable Network

Authors: Abhay Singh Bhadoriya, Christopher Montez, Sivakumar Rathinam, Swaroop Darbha, David W. Casbeer, Satyanarayana G. Manyam

Abstract: In this article, we consider a multi-agent path planning problem in a partially impeded environment. The impeded environment is represented by a graph with select road segments (edges) in disrepair impeding vehicular movement in the road network. A convoy wishes to travel from a starting location to a destination while minimizing some accumulated cost. The convoy may traverse an impeded edge for a… ▽ More In this article, we consider a multi-agent path planning problem in a partially impeded environment. The impeded environment is represented by a graph with select road segments (edges) in disrepair impeding vehicular movement in the road network. A convoy wishes to travel from a starting location to a destination while minimizing some accumulated cost. The convoy may traverse an impeded edge for an additional cost (associated with repairing the edge) than if it were unimpeded. A second vehicle, referred to as a service vehicle, is simultaneously deployed with the convoy. The service vehicle assists the convoy by repairing an edge, reducing the cost for the convoy to traverse that edge. The convoy is permitted to wait at any vertex to allow the service vehicle to complete repairing an edge. The service vehicle is permitted to terminate its path at any vertex. The goal is then to find a pair of paths so the convoy reaches its destination while minimizing the total time (cost) the two vehicles are active, including any time the convoy waits. We refer to this problem as the Assisted Shortest Path Problem (ASPP). We present a generalized permanent labeling algorithm to find an optimal solution for the ASPP. We also introduce additional modifications to the labeling algorithm to significantly improve the computation time and refer to the modified labeling algorithm as $GPLA^*$. Computational results are presented to illustrate the effectiveness of $GPLA^*$ in solving the ASPP. We then give concluding remarks and briefly discuss potential variants of the ASPP for future work. △ Less

Submitted 10 April, 2022; v1 submitted 1 April, 2022; originally announced April 2022.

Optimal Geodesic Curvature Constrained Dubins' Paths on a Sphere

Authors: Swaroop Darbha, Athindra Pavan, K. R. Rajagopal, Sivakumar Rathinam, David W. Casbeer, Satyanarayana G. Manyam

Abstract: In this article, we consider the motion planning of a rigid object on the unit sphere with a unit speed. The motion of the object is constrained by the maximum absolute value, $U_{max}$ of geodesic curvature of its path; this constrains the object to change the heading at the fastest rate only when traveling on a tight smaller circular arc of radius $r <1$, where $r$ depends on the bound,… ▽ More In this article, we consider the motion planning of a rigid object on the unit sphere with a unit speed. The motion of the object is constrained by the maximum absolute value, $U_{max}$ of geodesic curvature of its path; this constrains the object to change the heading at the fastest rate only when traveling on a tight smaller circular arc of radius $r <1$, where $r$ depends on the bound, $U_{max}$. We show in this article that if $0<r \le \frac{1}{2}$, the shortest path between any two configurations of the rigid body on the sphere consists of a concatenation of at most three circular arcs. Specifically, if $C$ is the smaller circular arc and $G$ is the great circular arc, then the optimal path can only be $CCC, CGC, CC, CG, GC, C$ or $G$. If $r> \frac{1}{2}$, while paths of the above type may cease to exist depending on the boundary conditions and the value of $r$, optimal paths may be concatenations of more than three circular arcs. △ Less

Submitted 30 March, 2022; originally announced March 2022.

Estimating outflow masses and velocities in merger simulations: impact of r-process heating and neutrino cooling

Authors: Francois Foucart, Philipp Moesta, Teresita Ramirez, Alex James Wright, Siva Darbha, Daniel Kasen

Abstract: The determination of the mass, composition, and geometry of matter outflows in black hole-neutron star and neutron star-neutron star binaries is crucial to current efforts to model kilonovae, and to understand the role of neutron star merger in r-process nucleosynthesis. In this manuscript, we review the simple criteria currently used in merger simulations to determine whether matter is unbound an… ▽ More The determination of the mass, composition, and geometry of matter outflows in black hole-neutron star and neutron star-neutron star binaries is crucial to current efforts to model kilonovae, and to understand the role of neutron star merger in r-process nucleosynthesis. In this manuscript, we review the simple criteria currently used in merger simulations to determine whether matter is unbound and what the asymptotic velocity of ejected material will be. We then show that properly accounting for both heating and cooling during r-process nucleosynthesis is important to accurately predict the mass and kinetic energy of the outflows. These processes are also likely to be crucial to predict the fallback timescale of any bound ejecta. We derive a model for the asymptotic veloicity of unbound matter and binding energy of bound matter that accounts for both of these effects and that can easily be implemented in merger simulations. We show, however, that the detailed velocity distribution and geometry of the outflows can currently only be captured by full 3D fluid simulations of the outflows, as non-local effect ignored by the simple criteria used in merger simulations cannot be safely neglected when modeling these effects. Finally, we propose the introduction of simple source terms in the fluid equations to approximately account for heating/cooling from r-process nucleosynthesis in future seconds-long 3D simulations of merger remnants, without the explicit inclusion of out-of-nuclear statistical equilibrium reactions in the simulations. △ Less

Submitted 17 November, 2021; v1 submitted 1 September, 2021; originally announced September 2021.

Comments: Accepted by Phys.Rev.D

KEA: Tuning an Exabyte-Scale Data Infrastructure

Authors: Yiwen Zhu, Subru Krishnan, Konstantinos Karanasos, Isha Tarte, Conor Power, Abhishek Modi, Manoj Kumar, Deli Zhang, Kartheek Muthyala, Nick Jurgens, Sarvesh Sakalanaga, Sudhir Darbha, Minu Iyer, Ankita Agarwal, Carlo Curino

Abstract: Microsoft's internal big-data infrastructure is one of the largest in the world -- with over 300k machines running billions of tasks from over 0.6M daily jobs. Operating this infrastructure is a costly and complex endeavor, and efficiency is paramount. In fact, for over 15 years, a dedicated engineering team has tuned almost every aspect of this infrastructure, achieving state-of-the-art efficienc… ▽ More Microsoft's internal big-data infrastructure is one of the largest in the world -- with over 300k machines running billions of tasks from over 0.6M daily jobs. Operating this infrastructure is a costly and complex endeavor, and efficiency is paramount. In fact, for over 15 years, a dedicated engineering team has tuned almost every aspect of this infrastructure, achieving state-of-the-art efficiency (>60% average CPU utilization across all clusters). Despite rich telemetry and strong expertise, faced with evolving hardware/software/workloads this manual tuning approach had reached its limit -- we had plateaued. In this paper, we present KEA, a multi-year effort to automate our tuning processes to be fully data/model-driven. KEA leverages a mix of domain knowledge and principled data science to capture the essence of our cluster dynamic behavior in a set of machine learning (ML) models based on collected system data. These models power automated optimization procedures for parameter tuning, and inform our leadership in critical decisions around engineering and capacity management (such as hardware and data center design, software investments, etc.). We combine "observational" tuning (i.e., using models to predict system behavior without direct experimentation) with judicious use of "flighting" (i.e., conservative testing in production). This allows us to support a broad range of applications that we discuss in this paper. KEA continuously tunes our cluster configurations and is on track to save Microsoft tens of millions of dollars per year. At the best of our knowledge, this paper is the first to discuss research challenges and practical learnings that emerge when tuning an exabyte-scale data infrastructure. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Bounds on Optimal Revisit Times in Persistent Monitoring Missions with a Distinct \& Remote Service Station

Authors: Sai Krishna Kanth Hari, Sivakumar Rathinam, Swaroop Darbha, Krishna Kalyanam, Satyanarayana Gupta Manyam, David Casbeer

Abstract: Persistent monitoring missions require an up-to-date knowledge of the changing state of the underlying environment. UAVs can be gainfully employed to continually visit a set of targets representing tasks (and locations) in the environment and collect data therein for long time periods. The enduring nature of these missions requires the UAV to be regularly recharged at a service station. In this pa… ▽ More Persistent monitoring missions require an up-to-date knowledge of the changing state of the underlying environment. UAVs can be gainfully employed to continually visit a set of targets representing tasks (and locations) in the environment and collect data therein for long time periods. The enduring nature of these missions requires the UAV to be regularly recharged at a service station. In this paper, we consider the case in which the service station is not co-located with any of the targets. An efficient monitoring requires the revisit time, defined as the maximum of the time elapsed between successive revisits to targets, to be minimized. Here, we consider the problem of determining UAV routes that lead to the minimum revisit time. The problem is NP-hard, and its computational difficulty increases with the fuel capacity of the UAV. We develop an algorithm to construct near-optimal solutions to the problem quickly, when the fuel capacity exceeds a threshold. We also develop lower bounds to the optimal revisit time and use these bounds to demonstrate (through numerical simulations) that the constructed solutions are, on an average, at most 0.01% away from the optimum. △ Less

Submitted 21 May, 2021; originally announced May 2021.

Comments: Submitted to IEEE TRO

Electromagnetic Signatures from the Tidal Tail of a Black Hole - Neutron Star Merger

Authors: Siva Darbha, Daniel Kasen, Francois Foucart, Daniel J. Price

Abstract: Black hole - neutron star (BH-NS) mergers are a major target for ground-based gravitational wave (GW) observatories. A merger can also produce an electromagnetic counterpart (a kilonova) if it ejects neutron-rich matter that assembles into heavy elements through r-process nucleosynthesis. We study the kilonova signatures of the unbound dynamical ejecta of a BH-NS merger. We take as our initial sta… ▽ More Black hole - neutron star (BH-NS) mergers are a major target for ground-based gravitational wave (GW) observatories. A merger can also produce an electromagnetic counterpart (a kilonova) if it ejects neutron-rich matter that assembles into heavy elements through r-process nucleosynthesis. We study the kilonova signatures of the unbound dynamical ejecta of a BH-NS merger. We take as our initial state the results from a numerical relativity simulation, and then use a general relativistic hydrodynamics code to study the evolution of the ejecta with parameterized r-process heating models. The unbound dynamical ejecta is initially a flattened, directed tidal tail largely confined to a plane. Heating from the r-process inflates the ejecta into a more spherical shape and smooths its small-scale structure, though the ejecta retains its bulk directed motion. We calculate the electromagnetic signatures using a 3D radiative transfer code and a parameterized opacity model for lanthanide-rich matter. The light curve varies with viewing angle due to two effects: asphericity results in brighter emission for orientations with larger projected areas, while Doppler boosting results in brighter emission for viewing angles more aligned with the direction of bulk motion. For typical r-process heating rates, the peak bolometric luminosity varies by a factor of $\sim 3$ with orientation while the peak in the optical bands varies by $\sim 3$ magnitudes. The spectrum is blue-shifted at viewing angles along the bulk motion, which increases the $V$-band peak magnitude to $\sim -14$ despite the lanthanide-rich composition. △ Less

Submitted 24 August, 2021; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: 26 pages, 15 figures; revised paper after reviewer's comments

Lateral Control of a Convoy of Autonomous and Connected Vehicles with Limited Preview Information

Authors: Mengke Liu, Sivakumar Rathinam, Swaroop Darbha

Abstract: This paper deals with the lateral control of a convoy of autonomous and connected following vehicles (ACVs) for executing an Emergency Lane Change (ELC) maneuver. Typically, an ELC maneuver is triggered by emergency cues from the front or the end of convoy as a response to either avoiding an obstacle or making way for other vehicles to pass. From a safety viewpoint, connectivity of ACVs is essenti… ▽ More This paper deals with the lateral control of a convoy of autonomous and connected following vehicles (ACVs) for executing an Emergency Lane Change (ELC) maneuver. Typically, an ELC maneuver is triggered by emergency cues from the front or the end of convoy as a response to either avoiding an obstacle or making way for other vehicles to pass. From a safety viewpoint, connectivity of ACVs is essential as it entails obtaining or exchanging information about other ACVs in the convoy. This paper assumes that ACVs have reliable connectivity and that every following ACV has the information about GPS position traces of the lead and immediately preceding vehicles in the convoy. This information provides a "discretized" preview of the trajectory to be tracked. Based on the available information, this article focuses on two schemes for synthesizing lateral control of ACVs based on(a) a single composite ELC trajectory that fuses lead and preceding vehicle's GPS traces and (b) separate ELC trajectories based on preview data of preceding and lead vehicles. The former case entails the construction of a single composite ELC trajectory, determine the cross-track error, heading and yaw rate errors with respect to this trajectory and synthesize a lateral control action. The latter case entails the construction of two separate trajectories corresponding to the lead vehicle's and preceding vehicle's data separately and the subsequent computation of two sets of associated errors and lateral control actions and combining them to provide a steering command. Numerical and experimental results corroborate the effectiveness of these two schemes. △ Less

Submitted 6 November, 2020; originally announced November 2020.

Comments: 12 pages, 14 figures

String Stability of Connected Vehicle Platoons under Lossy V2V Communication

Authors: Vamsi Vegamoor, Sivakumar Rathinam, Swaroop Darbha

Abstract: Recent advances in vehicle connectivity have allowed formation of autonomous vehicle platoons for improved mobility and traffic throughput. In order to avoid a pile-up in such platoons, it is important to ensure platoon (string) stability, which is the focus of this work. As per conventional definition of string stability, the power (2-norm) of the spacing error signals should not amplify downstre… ▽ More Recent advances in vehicle connectivity have allowed formation of autonomous vehicle platoons for improved mobility and traffic throughput. In order to avoid a pile-up in such platoons, it is important to ensure platoon (string) stability, which is the focus of this work. As per conventional definition of string stability, the power (2-norm) of the spacing error signals should not amplify downstream in a platoon. But in practice, it is the infinity-norm of the spacing error signal that dictates whether a collision occurs. We address this discrepancy in the first part of our work, where we reconsider string stability from a safety perspective and develop an upper limit on the maximum spacing error in a homogeneous platoon as a function of the acceleration maneuver of the lead vehicle. In the second part of this paper, we extend our previous results by providing the minimum achievable time headway for platoons with two-predecessor lookup schemes experiencing burst-noise packet losses. Finally, we utilize throttle and brake maps to develop a longitudinal vehicle model and validate it against a Lincoln MKZ which is then used for numerical corroboration of the proposed time headway selection algorithms. △ Less

Submitted 7 June, 2021; v1 submitted 28 August, 2020; originally announced September 2020.

Comments: Final version accepted to IEEE Transactions on Intelligent Transportation Systems

Mobility and Safety Benefits of Connectivity in CACC Vehicle Strings

Authors: Vamsi Vegamoor, Shaojie Yan, Sivakumar Rathinam, Swaroop Darbha

Abstract: In this paper, we re-examine the notion of string stability as it relates to safety by providing an upper bound on the maximum spacing error of any vehicle in a homogeneous platoon in terms of the input of the leading vehicle. We reinforce our previous work on lossy CACC platoons by accommodating for burst-noise behavior in the V2V link. Further, through Monte Carlo type simulations, we demonstrat… ▽ More In this paper, we re-examine the notion of string stability as it relates to safety by providing an upper bound on the maximum spacing error of any vehicle in a homogeneous platoon in terms of the input of the leading vehicle. We reinforce our previous work on lossy CACC platoons by accommodating for burst-noise behavior in the V2V link. Further, through Monte Carlo type simulations, we demonstrate that connectivity can enhance traffic mobility and safety in a CACC string even when the deceleration capabilities of the vehicles in the platoon are heterogeneous. △ Less

Submitted 19 October, 2020; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: Fixed some typos and references after acceptance to IEEE ITSC 2020

Inclination Dependence of Kilonova Light Curves from Globally Aspherical Geometries

Authors: Siva Darbha, Daniel Kasen

Abstract: The merger of two neutron stars (NSs) or a neutron star and a black hole (BH) produces a radioactively-powered transient known as a kilonova, first observed accompanying the gravitational wave event GW170817. While kilonovae are frequently modeled in spherical symmetry, the dynamical ejecta and disk outflows can be considerably asymmetric. We use Monte Carlo radiative transfer calculations to stud… ▽ More The merger of two neutron stars (NSs) or a neutron star and a black hole (BH) produces a radioactively-powered transient known as a kilonova, first observed accompanying the gravitational wave event GW170817. While kilonovae are frequently modeled in spherical symmetry, the dynamical ejecta and disk outflows can be considerably asymmetric. We use Monte Carlo radiative transfer calculations to study the light curves of kilonovae with globally axisymmetric geometries (e.g. an ellipsoid and a torus). We find that the variation in luminosity in these models is most pronounced at early times, and decreases until the light curves become isotropic in the late optically thin phase. The light curve shape and peak time are not significantly modified by the global asymmetry. We show that the projected surface area along the line of sight captures the primary geometric effects, and use this fact to provide a simple analytic estimate of the direction-dependent light curves of the aspherical ejecta. For the kilonova accompanying GW170817, accounting for asymmetry with an oblate (prolate) ellipsoid of axial ratio $2$ ($1/2$) leads to a $\sim 40 \%$ decrease (increase) in the inferred ejecta mass compared to the spherical case. The pole-to-equator orientation effects are expected to be significantly larger (a factor of $\sim 5 - 10$) for the more extreme asymmetries expected for some NS-BH mergers. △ Less

Submitted 15 March, 2021; v1 submitted 1 February, 2020; originally announced February 2020.

Comments: 19 pages, 14 figures; revised paper after reviewer's comments

Griffon: Reasoning about Job Anomalies with Unlabeled Data in Cloud-based Platforms

Authors: Liqun Shao, Yiwen Zhu, Abhiram Eswaran, Kristin Lieber, Janhavi Mahajan, Minsoo Thigpen, Sudhir Darbha, Siqi Liu, Subru Krishnan, Soundar Srinivasan, Carlo Curino, Konstantinos Karanasos

Abstract: Microsoft's internal big data analytics platform is comprised of hundreds of thousands of machines, serving over half a million jobs daily, from thousands of users. The majority of these jobs are recurring and are crucial for the company's operation. Although administrators spend significant effort tuning system performance, some jobs inevitably experience slowdowns, i.e., their execution time deg… ▽ More Microsoft's internal big data analytics platform is comprised of hundreds of thousands of machines, serving over half a million jobs daily, from thousands of users. The majority of these jobs are recurring and are crucial for the company's operation. Although administrators spend significant effort tuning system performance, some jobs inevitably experience slowdowns, i.e., their execution time degrades over previous runs. Currently, the investigation of such slowdowns is a labor-intensive and error-prone process, which costs Microsoft significant human and machine resources, and negatively impacts several lines of businesses. In this work, we present Griffin, a system we built and have deployed in production last year to automatically discover the root cause of job slowdowns. Existing solutions either rely on labeled data (i.e., resolved incidents with labeled reasons for job slowdowns), which is in most cases non-existent or non-trivial to acquire, or on time-series analysis of individual metrics that do not target specific jobs holistically. In contrast, in Griffin we cast the problem to a corresponding regression one that predicts the runtime of a job, and show how the relative contributions of the features used to train our interpretable model can be exploited to rank the potential causes of job slowdowns. Evaluated over historical incidents, we show that Griffin discovers slowdown causes that are consistent with the ones validated by domain-expert engineers, in a fraction of the time required by them. △ Less

Submitted 23 August, 2019; originally announced August 2019.

Ultra-deep tidal disruption events: prompt self-intersections and observables

Authors: Siva Darbha, Eric R. Coughlin, Daniel Kasen, Chris Nixon

Abstract: A star approaching a supermassive black hole (SMBH) can be torn apart in a tidal disruption event (TDE). We examine ultra-deep TDEs, a new regime in which the disrupted debris approaches close to the black hole's Schwarzschild radius, and the leading part intersects the trailing part at the first pericenter passage. We calculate the range of penetration factors $β$ vs SMBH masses $M$ that produce… ▽ More A star approaching a supermassive black hole (SMBH) can be torn apart in a tidal disruption event (TDE). We examine ultra-deep TDEs, a new regime in which the disrupted debris approaches close to the black hole's Schwarzschild radius, and the leading part intersects the trailing part at the first pericenter passage. We calculate the range of penetration factors $β$ vs SMBH masses $M$ that produce these prompt self-intersections using a Newtonian analytic estimate and a general relativistic (GR) geodesic model. We find that significant self-intersection of Solar-type stars requires $β\sim 50 - 127$ for $M/M_\odot = 10^4$, down to $β\sim 5.6 - 5.9$ for $M/M_\odot = 10^6$. We run smoothed-particle hydrodynamic (SPH) simulations to corroborate our calculations and find close agreement, with a slightly shallower dependence on $M$. We predict that the shock from the collision emits an X-ray flare lasting $t \sim 2$ s with $L \sim 10^{47}$ ergs/s at $E \sim 2$ keV, and the debris has a prompt accretion episode lasting $t \sim$ several min. The events are rare and occur with a rate $\dot{N} \lesssim 10^{-7}$ Mpc$^{-3}$ yr$^{-1}$. Ultra-deep TDEs can probe the strong gravity and demographics of low-mass SMBHs. △ Less

Submitted 16 May, 2019; originally announced May 2019.

Comments: 12 pages, 5 figures

Gravitational interactions of stars with supermassive black hole binaries - II. Hypervelocity stars

Authors: Siva Darbha, Eric R. Coughlin, Daniel Kasen, Eliot Quataert

Abstract: Supermassive black holes (SMBHs) in galactic nuclei can eject hypervelocity stars (HVSs). Using restricted three-body integrations, we study the properties of stars ejected by circular, binary SMBHs as a function of their mass ratios $q = M_2 / M_1$ and separations $a$, focusing on the stellar velocity and angular distributions. We find that the ejection probability is an increasing function of… ▽ More Supermassive black holes (SMBHs) in galactic nuclei can eject hypervelocity stars (HVSs). Using restricted three-body integrations, we study the properties of stars ejected by circular, binary SMBHs as a function of their mass ratios $q = M_2 / M_1$ and separations $a$, focusing on the stellar velocity and angular distributions. We find that the ejection probability is an increasing function of $q$ and $a$, and that the mean ejected velocity scales with $q$ and $a$ similar to previous work but with modified scaling constants. Binary SMBHs tend to eject their fastest stars toward the binary orbital plane. We calculate the ejection rates as the binary SMBHs inspiral, and find that they eject stars with velocities $v_\infty > 1000$ km/s at rates of $\sim 4 \times 10^{-2} - 2 \times 10^{-1}$ yr$^{-1}$ for $q = 1$ ($\sim 10^{-4} - 10^{-3}$ yr$^{-1}$ for $q = 0.01$) over their lifetimes, and can emit a burst of HVSs with $v_\infty > 3000$ km/s as they coalesce. We integrate the stellar distributions over the binary SMBH inspiral and compare them to those produced by the "Hills mechanism" (in which a single SMBH ejects a star after tidally separating a binary star system), and find that $N \sim 100$ HVS velocity samples with $v_\infty \gtrsim 200$ km/s are needed to confidently distinguish between a binary and single SMBH origin. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: 19 pages, 16 figures

Estimation of Location and Orientation for Underwater Vehicles from Range Measurements

Authors: Sai Krishna Kanth Hari, Kaarthik Sundar, Jose Braga, Joao Teixeira, Joao Sousa, Swaroop Darbha

Abstract: Localization is an important required task for enabling vehicle autonomy for underwater vehicles. Localization entails the determination of position of the center of mass and orientation of a vehicle from the available measurements. In this paper, we focus on localization by using One-Way Travel Time (OWTT) measurements available to a vehicle from the communication of its multiple on-board receive… ▽ More Localization is an important required task for enabling vehicle autonomy for underwater vehicles. Localization entails the determination of position of the center of mass and orientation of a vehicle from the available measurements. In this paper, we focus on localization by using One-Way Travel Time (OWTT) measurements available to a vehicle from the communication of its multiple on-board receivers with acoustic beacons, more specifically, long baseline (LBL) beacons. Range can be inferred by multiplying the OWTT with speed of sound; however, water conditions can change spatially and temporally resulting in uncertainty in range measurement. The farther a beacon is from a receiver, the larger is the uncertainty. The proposed method for localization accounts captures this uncertainty by bounding the true distance with an increasing (calibrating) function of the range measurement. Determination of this calibration function is formulated as polynomial optimization problem and is a crucial step for localization. The proposed two-step procedure for localization is as follows: based on the range measurements specific to a receiver from the beacons, a convex optimization problem is proposed to estimate the location of the receiver. The estimate is essentially a center of the set of possible locations of the receiver. In the second step, the location estimates of the vehicle are corrected using rigid body motion constraints and the orientation of the rigid body is thus determined. Numerical examples and experimental results provided at the end corroborate the procedures developed in this paper. △ Less

Submitted 1 July, 2019; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: 15 pages

Persistent Monitoring of Dynamically Changing Environments Using an Unmanned Vehicle

Authors: Sai Krishna Kanth Hari, Sivakumar Rathinam, Swaroop Darbha, Krishnamoorthy Kalyanam, Satyanarayana Gupta Manyam, David Casbeer

Abstract: We consider the problem of planning a closed walk $\mathcal W$ for a UAV to persistently monitor a finite number of stationary targets with equal priorities and dynamically changing properties. A UAV must physically visit the targets in order to monitor them and collect information therein. The frequency of monitoring any given target is specified by a target revisit time, $i.e.$, the maximum allo… ▽ More We consider the problem of planning a closed walk $\mathcal W$ for a UAV to persistently monitor a finite number of stationary targets with equal priorities and dynamically changing properties. A UAV must physically visit the targets in order to monitor them and collect information therein. The frequency of monitoring any given target is specified by a target revisit time, $i.e.$, the maximum allowable time between any two successive visits to the target. The problem considered in this paper is the following: Given $n$ targets and $k \geq n$ allowed visits to them, find an optimal closed walk $\mathcal W^*(k)$ so that every target is visited at least once and the maximum revisit time over all the targets, $\mathcal R(\mathcal W(k))$, is minimized. We prove the following: If $k \geq n^2-n$, $\mathcal R(\mathcal W^*(k))$ (or simply, $\mathcal R^*(k)$) takes only two values: $\mathcal R^*(n)$ when $k$ is an integral multiple of $n$, and $\mathcal R^*(n+1)$ otherwise. This result suggests significant computational savings - one only needs to determine $\mathcal W^*(n)$ and $\mathcal W^*(n+1)$ to construct an optimal solution $\mathcal W^*(k)$. We provide MILP formulations for computing $\mathcal W^*(n)$ and $\mathcal W^*(n+1)$. Furthermore, for {\it any} given $k$, we prove that $\mathcal R^*(k) \geq \mathcal R^*(k+n)$. △ Less

Submitted 3 June, 2019; v1 submitted 7 August, 2018; originally announced August 2018.

Benefits of V2V Communication for Autonomous and Connected Vehicles

Authors: Swaroop Darbha, Shyamprasad Konduri, Prabhakar R. Pagilla

Abstract: In this paper, we investigate the benefits of Vehicle-to-Vehicle (V2V) communication for autonomous vehicles and provide results on how V2V information helps reduce employable time headway in the presence of parasitic lags. For a string of vehicles adopting a Constant Time Headway Policy (CTHP) and availing the on-board information of predecessor's vehicle position and velocity, the minimum employ… ▽ More In this paper, we investigate the benefits of Vehicle-to-Vehicle (V2V) communication for autonomous vehicles and provide results on how V2V information helps reduce employable time headway in the presence of parasitic lags. For a string of vehicles adopting a Constant Time Headway Policy (CTHP) and availing the on-board information of predecessor's vehicle position and velocity, the minimum employable time headway ($h_{\min}$) must be lower bounded by $2τ_0$ for string stability, where $τ_0$ is the maximum parasitic actuation lag. In this paper, we quantify the benefits of using V2V communication in terms of a reduction in the employable time headway: (1) If the position and velocity information of $r$ immediately preceding vehicles is used, then $h_{\min}$ can be reduced to ${4τ_0}/{(1+r)}$; (2) furthermore, if the acceleration of `$r$' immediately preceding vehicles is used, then $h_{\min}$ can be reduced to ${2τ_0}/{(1+r)}$; and (3) if the position, velocity and acceleration of the immediate and the $r$-th predecessors are used, then $h_{\min} \ge {2τ_0}/{(1+r)}$. Note that cases (2) and (3) provide the same lower bound on the minimum employable time headway; however, case (3) requires much less communicated information. △ Less

Submitted 7 March, 2018; originally announced March 2018.

Comments: Revised version submitted to IEEE Transactions on ITS, February 2018

Gravitational interactions of stars with supermassive black hole binaries. I. Tidal disruption events

Authors: Siva Darbha, Eric R. Coughlin, Daniel Kasen, Eliot Quataert

Abstract: Stars approaching supermassive black holes (SMBHs) in the centers of galaxies can be torn apart by strong tidal forces. We study the physics of tidal disruption by a binary SMBH as a function of the binary mass ratio $q = M_2 / M_1$ and separation $a$, exploring a large set of points in the parameter range $q \in [0.01, 1]$ and $a/r_{t1} \in [10, 1000]$. We simulate encounters in which field stars… ▽ More Stars approaching supermassive black holes (SMBHs) in the centers of galaxies can be torn apart by strong tidal forces. We study the physics of tidal disruption by a binary SMBH as a function of the binary mass ratio $q = M_2 / M_1$ and separation $a$, exploring a large set of points in the parameter range $q \in [0.01, 1]$ and $a/r_{t1} \in [10, 1000]$. We simulate encounters in which field stars approach the binary from the loss cone on parabolic, low angular momentum orbits. We present the rate of disruption and the orbital properties of the disrupted stars, and examine the fallback dynamics of the post-disruption debris in the "frozen-in" approximation. We conclude by calculating the time-dependent disruption rate over the lifetime of the binary. Throughout, we use a primary mass $M_1 = 10^6 M_\odot$ as our central example. We find that the tidal disruption rate is a factor of $\sim 2 - 7$ times larger than the rate for an isolated BH, and is independent of $q$ for $q \gtrsim 0.2$. In the "frozen-in" model, disruptions from close, nearly equal mass binaries can produce intense tidal fallbacks: for binaries with $q \gtrsim 0.2$ and $a/r_{t1} \sim 100$, roughly $\sim 18 - 40 \%$ of disruptions will have short rise times ($t_\textrm{rise} \sim 1 - 10$ d) and highly super-Eddington peak return rates ($\dot{M}_\textrm{peak} / \dot{M}_\textrm{Edd} \sim 2 \times 10^2 - 3 \times 10^3$). △ Less

Submitted 21 February, 2018; originally announced February 2018.

Comments: 27 pages, 26 figures

Stellar binaries incident on supermassive black hole binaries: implications for double tidal disruption events, calcium-rich transients, and hypervelocity stars

Authors: Eric R. Coughlin, Siva Darbha, Daniel Kasen, Eliot Quataert

Abstract: We analyze the outcome of the interaction between a stellar binary and a supermassive black hole binary (SMBHB) by performing a large number of gravitational scattering experiments. Most of the encounters result in either the ejection of an intact binary or the ejection of two individual stars following the tidal breakup of the binary. However, tidal disruption events (TDEs) and mergers constitute… ▽ More We analyze the outcome of the interaction between a stellar binary and a supermassive black hole binary (SMBHB) by performing a large number of gravitational scattering experiments. Most of the encounters result in either the ejection of an intact binary or the ejection of two individual stars following the tidal breakup of the binary. However, tidal disruption events (TDEs) and mergers constitute a few percent of the outcomes, and double, temporally distinct TDEs (i.e., separated by at least one orbit of the supermassive black hole binary) occur at the percent level. We also demonstrate that the properties of the ejected binaries are significantly altered through the interaction with the SMBHB, and their large eccentricities increase the merger rate and could lead to gravitational-wave inspirals far from the nucleus of the host galaxy. We discuss our results in the context of observed tidal disruption events, hypervelocity stars, and remote supernovae, such as calcium-rich transients. △ Less

Submitted 8 August, 2018; v1 submitted 20 February, 2018; originally announced February 2018.

Comments: 9 pages, 4 figures, 1 table; ApJL Accepted

Collaborative Platooning of Automated Vehicles Using Variable Time-Gaps

Authors: Aria HasanzadeZonuzy, Sina Arefizadeh, Alireza Talebpour, Srinivas Shakkottai, Swaroop Darbha

Abstract: Connected automated vehicles (CAVs) could potentially be coordinated to safely attain the maximum traffic flow on roadways under dynamic traffic patterns, such as those engendered by the merger of two strings of vehicles due a lane drop. Strings of vehicles have to be shaped correctly in terms of the inter-vehicular time-gap and velocity to ensure that such operation is feasible. However, controll… ▽ More Connected automated vehicles (CAVs) could potentially be coordinated to safely attain the maximum traffic flow on roadways under dynamic traffic patterns, such as those engendered by the merger of two strings of vehicles due a lane drop. Strings of vehicles have to be shaped correctly in terms of the inter-vehicular time-gap and velocity to ensure that such operation is feasible. However, controllers that can achieve such traffic sha** over the multiple dimensions of target time-gap and velocity over a region of space are unknown. The objective of this work is to design such a controller, and to show that we can design candidate time-gap and velocity profiles such that it can stabilize the string of vehicles in attaining the target profiles. Our analysis is based on studying the system in the spacial rather than the time domain, which enables us to study stability as in terms of minimizing errors from the target profile and across vehicles as a function of location. Finally, we conduct numeral simulations in the context of sha** two platoons for merger, which we use to illustrate how to select time-gap and velocity profiles for maximizing flow and maintaining safety. △ Less

Submitted 5 October, 2017; originally announced October 2017.

Bounding Procedures for Stochastic Dynamic Programs with Application to the Perimeter Patrol Problem

Authors: Myoungkuk Park, Krishnamoorthy Kalyanam, Swaroop Darbha, Phil Chandler, Meir Pachter

Abstract: One often encounters the curse of dimensionality in the application of dynamic programming to determine optimal policies for controlled Markov chains. In this paper, we provide a method to construct sub-optimal policies along with a bound for the deviation of such a policy from the optimum via a linear programming approach. The state-space is partitioned and the optimal cost-to-go or value functio… ▽ More One often encounters the curse of dimensionality in the application of dynamic programming to determine optimal policies for controlled Markov chains. In this paper, we provide a method to construct sub-optimal policies along with a bound for the deviation of such a policy from the optimum via a linear programming approach. The state-space is partitioned and the optimal cost-to-go or value function is approximated by a constant over each partition. By minimizing a non-negative cost function defined on the partitions, one can construct an approximate value function which also happens to be an upper bound for the optimal value function of the original Markov Decision Process (MDP). As a key result, we show that this approximate value function is {\it independent} of the non-negative cost function (or state dependent weights as it is referred to in the literature) and moreover, this is the least upper bound that one can obtain once the partitions are specified. Furthermore, we show that the restricted system of linear inequalities also embeds a family of MDPs of lower dimension, one of which can be used to construct a lower bound on the optimal value function. The construction of the lower bound requires the solution to a combinatorial problem. We apply the linear programming approach to a perimeter surveillance stochastic optimal control problem and obtain numerical results that corroborate the efficacy of the proposed methodology. △ Less

Submitted 16 August, 2011; originally announced August 2011.

Comments: 41 pages, 6 figures and 1 table

Nickel-Rich Outflows Produced by the Accretion-Induced Collapse of White Dwarfs: Lightcurves and Spectra

Authors: S. Darbha, B. D. Metzger, E. Quataert, D. Kasen, P. Nugent, R. Thomas

Abstract: The accretion-induced collapse (AIC) of a white dwarf to form a neutron star can leave behind a rotationally supported disk with mass of up to ~ 0.1 M_sun. The disk is initially composed of free nucleons but as it accretes and spreads to larger radii, the free nucleons recombine to form helium, releasing sufficient energy to unbind the remaining disk. Most of the ejected mass fuses to form Ni56 an… ▽ More The accretion-induced collapse (AIC) of a white dwarf to form a neutron star can leave behind a rotationally supported disk with mass of up to ~ 0.1 M_sun. The disk is initially composed of free nucleons but as it accretes and spreads to larger radii, the free nucleons recombine to form helium, releasing sufficient energy to unbind the remaining disk. Most of the ejected mass fuses to form Ni56 and other iron group elements. We present spherically symmetric radiative transfer calculations of the transient powered by the radioactive heating of this ejecta. For an ejecta mass of 1e-2 M_sun (3e-3 M_sun), the lightcurve peaks after <~ 1 day with a peak bolometric luminosity ~ 2e41 erg/s (~ 5e40 erg/s), i.e., a "kilonova"; the decay time is ~ 4 (2) days. Overall, the spectra redden with time reaching U-V ~ 4 after ~ 1 day; the optical colors (B-V) are, however, somewhat blue. Near the peak in the lightcurve, the spectra are dominated by Doppler broadened Nickel features, with no distinct spectral lines present. At ~ 3-5 days, strong Calcium lines are present in the infrared, although the Calcium mass fraction is only ~ 1e-4.5. If rotationally supported disks are a common byproduct of AIC, current and upcoming transient surveys such as the Palomar Transient Factory should detect a few AIC per year for an AIC rate of ~ 1e-2 of the Type Ia rate. We discuss ways of distinguishing AIC from other rapid, faint transients, including .Ia's and the ejecta from binary neutron star mergers. △ Less

Submitted 30 May, 2011; v1 submitted 6 May, 2010; originally announced May 2010.

Comments: 9 pages, 4 figures, 1 table, now accepted to MNRAS

Electromagnetic Counterparts of Compact Object Mergers Powered by the Radioactive Decay of R-process Nuclei

Authors: B. D. Metzger, G. Martinez-Pinedo, S. Darbha, E. Quataert, A. Arcones, D. Kasen, R. Thomas, P. Nugent, I. V. Panov, N. T. Zinner

Abstract: The most promising astrophysical sources of kHz gravitational waves (GWs) are the inspiral and merger of binary neutron star(NS)/black hole systems. Maximizing the scientific return of a GW detection will require identifying a coincident electro-magnetic (EM) counterpart. One of the most likely sources of isotropic EM emission from compact object mergers is a supernova-like transient powered by… ▽ More The most promising astrophysical sources of kHz gravitational waves (GWs) are the inspiral and merger of binary neutron star(NS)/black hole systems. Maximizing the scientific return of a GW detection will require identifying a coincident electro-magnetic (EM) counterpart. One of the most likely sources of isotropic EM emission from compact object mergers is a supernova-like transient powered by the radioactive decay of heavy elements synthesized in ejecta from the merger. We present the first calculations of the optical transients from compact object mergers that self-consistently determine the radioactive heating by means of a nuclear reaction network; using this heating rate, we model the light curve with a one dimensional Monte Carlo radiation transfer calculation. For an ejecta mass ~1e-2 M_sun[1e-3 M_sun] the resulting light curve peaks on a timescale ~ 1 day at a V-band luminosity nu L_nu ~ 3e41[1e41] ergs/s (M_V = -15[-14]); this corresponds to an effective "f" parameter ~3e-6 in the Li-Paczynski toy model. We argue that these results are relatively insensitive to uncertainties in the relevant nuclear physics and to the precise early-time dynamics and ejecta composition. Due to the rapid evolution and low luminosity of NS merger transients, EM counterpart searches triggered by GW detections will require close collaboration between the GW and astronomical communities. NS merger transients may also be detectable following a short-duration Gamma-Ray Burst or "blindly" with present or upcoming optical transient surveys. Because the emission produced by NS merger ejecta is powered by the formation of rare r-process elements, current optical transient surveys can directly constrain the unknown origin of the heaviest elements in the Universe. △ Less

Submitted 23 April, 2010; v1 submitted 28 January, 2010; originally announced January 2010.

Comments: 14 pages, 7 figures; accepted to MNRAS; title changed to highlight r-process connection and new figure added.

On the vibrations of lumped parameter systems governed by differential-algebraic equations

Authors: S. Darbha, K. B. Nakshatrala, K. R. Rajagopal

Abstract: In this paper, we consider the vibratory motions of lumped parameter systems wherein the components of the system cannot be described by constitutive expressions for the force in terms of appropriate kinematical quantities. Such physical systems reduce to a system of differential-algebraic equations, which invariably need to be solved numerically. To illustrate the issues with clarity, we consider… ▽ More In this paper, we consider the vibratory motions of lumped parameter systems wherein the components of the system cannot be described by constitutive expressions for the force in terms of appropriate kinematical quantities. Such physical systems reduce to a system of differential-algebraic equations, which invariably need to be solved numerically. To illustrate the issues with clarity, we consider a simple system in which the dashpot is assumed to contain a "Bingham" fluid for which one cannot describe the force in the dashpot as a function of the velocity. On the other hand, one can express the velocity as a function of the force. △ Less

Submitted 20 July, 2010; v1 submitted 1 November, 2009; originally announced November 2009.