1 code implementation • 24 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.
no code implementations • 25 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.
no code implementations • 16 Sep 2021 • Bineet Ghosh, Parasara Sridhar Duggirala
In this paper, we provide two different techniques to compute statistical approximate reachable set.
no code implementations • 16 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.