no code implementations • 20 Feb 2023 • Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher Kuhn, Gabor Karsai, Ayan Mukhopadhyay
To address these limitations, we propose a dynamic simplex strategy with an online controller switching logic that allows two-way switching.
1 code implementation • 19 Jul 2022 • Shreyas Ramakrishna, Baiting Luo, Christopher Kuhn, Gabor Karsai, Abhishek Dubey
A key part of such tests is adversarial testing, in which the goal is to find scenarios that lead to failures of the given system.
1 code implementation • 28 Feb 2022 • Shreyas Ramakrishna, Baiting Luo, Yogesh Barve, Gabor Karsai, Abhishek Dubey
Our samplers of RNS and GBO sampled a higher percentage of high-risk scenes of 83% and 92%, compared to 56%, 66% and 71% of the grid, random and Halton samplers, respectively.
no code implementations • 26 Aug 2021 • Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
In this paper, we study this problem as a multi-labeled time series OOD detection problem over images, where the OOD is defined both sequentially across short time windows (change points) as well as across the training data distribution.
Out-of-Distribution Detection Out of Distribution (OOD) Detection +1
no code implementations • 25 Mar 2021 • Matthew Burruss, Shreyas Ramakrishna, Abhishek Dubey
In this paper, we show how the deep-RBF network can be used for detecting anomalies in CPS regression tasks such as continuous steering predictions.
2 code implementations • 18 Feb 2021 • Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Daniel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
To help with this process, we provide a scenario modeling procedure that can use the prior distributions of the scenes and threat conditions to generate the data required for estimating the conditional relationships.
Robotics
no code implementations • 10 Mar 2020 • Vijaya Kumar Sundar, Shreyas Ramakrishna, Zahra Rahiminasab, Arvind Easwaran, Abhishek Dubey
We use the fact that compact latent space generated by an appropriately selected $\beta$-VAE will encode the information about these factors in a few latent variables, and that can be used for computationally inexpensive detection.
1 code implementation • 6 Feb 2019 • Shreyas Ramakrishna, Charles Hartsell, Matthew P Burruss, Gabor Karsai, Abhishek Dubey
This architecture integrates the system to be assured with a safe controller and provides a decision logic to switch between the decisions of these controllers.