4 citations · 9 across the 6 of their papers we have counts for
6 papers
MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties
Bineet Ghosh, Étienne André
We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of black-box cyber-physical systems w.r.t. safety properties. MoULDyS takes as input an unc…
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…
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
Bineet Ghosh, Étienne André
Monitoring the correctness of distributed cyber-physical systems is essential. Detecting possible safety violations can be hard when some samples are uncertain or missing. We monit…
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…