Search Results for author: Bineet Ghosh

Found 4 papers, 1 papers with code

MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties

1 code implementation24 Jul 2024 Bineet Ghosh, Étienne André

We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of black-box cyber-physical systems w. r. t.

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

no code implementations25 Apr 2022 Bineet Ghosh, Étienne André

Given an offline log, our approach is able to monitor the log against safety specifications with a limited number of false alarms.

Reachability of Linear Uncertain Systems: Sampling Based Approaches

no code implementations16 Sep 2021 Bineet Ghosh, Parasara Sridhar Duggirala

In this paper, we provide two different techniques to compute statistical approximate reachable set.

Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches

no code implementations16 Sep 2021 Bineet Ghosh, Parasara Sridhar Duggirala

To the best of the authors' knowledge, this is the first work to: (i) extend perturbation theory to compute reachable sets of linear uncertain systems, (ii) leverage the relationship between the reachable set of a linear system and the maximum singular values to determine the effect of uncertainties and (3) estimate the threshold of robustness that can be tolerated by the system while remaining safe.

Cannot find the paper you are looking for? You can Submit a new open access paper.