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