4 citations · 7 across the 7 of their papers we have counts for
10 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…
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…