6 citations · 13 across the 11 of their papers we have counts for
12 papers
Bandit Algorithms for Deep Brain Stimulation
Arkaprava Gupta, Nicholas Carter, William Zellers +5
Deep Brain Stimulation (DBS) is an effective treatment for Parkinson's disease, but conventional fixed-parameter stimulation can reduce battery life and cause side effects while fa…
LPrL: An Asynchronous Linear Time Hyper Logic
Parasara Sridhar Duggirala, P. S. Thiagarajan
We present a novel asynchronous hyper linear time temporal logic named LPrL (Linear Time Predicate Logic) and establish its basic theory. LPrL is a natural first order extension of…
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs
Manish Goyal, David Bergman, Parasara Sridhar Duggirala
The control design tools for linear systems typically involves pole placement and computing Lyapunov functions which are useful for ensuring stability. But given higher requirement…
Dynamic Selection of Perception Models for Robotic Control
Bineet Ghosh, Masaad Khan, Adithya Ashok +2
Robotic perception models, such as Deep Neural Networks (DNNs), are becoming more computationally intensive and there are several models being trained with accuracy and latency tra…
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation
Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
We propose a new technique for performing state space exploration of closed loop control systems with neural network feedback controllers. Our approach involves approximating the s…
Reachability of Linear Uncertain Systems: Sampling Based Approaches
Bineet Ghosh, Parasara Sridhar Duggirala
In this work, we perform safety analysis of linear dynamical systems with uncertainties. Instead of computing a conservative overapproximation of the reachable set, our approach in…
Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches
Bineet Ghosh, Parasara Sridhar Duggirala
In this paper, we study the robustness of safety properties of a linear dynamical system with respect to model uncertainties. Our paper involves three parts. In the first part, we…
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency
Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
A robot can invoke heterogeneous computation resources such as CPUs, cloud GPU servers, or even human computation for achieving a high-level goal. The problem of invoking an approp…
Safety and progress proofs for a reactive planner and controller for autonomous driving
Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
In this paper, we perform safety and performance analysis of an autonomous vehicle that implements reactive planner and controller for navigating a race lap. Unlike traditional pla…
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala +2
Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task. Computing the reachable states for linear systems, in contrast, can often…
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
Reachable set computation is an important technique for the verification of safety properties of dynamical systems. In this paper, we investigate reachable set computation for disc…
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks
Manish Goyal, Parasara Sridhar Duggirala
In this paper, we propose a framework for performing state space exploration of closed loop control systems. Our approach involves approximating sensitivity and a newly introduced…