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