Search Results for author:
Found 8 papers, 4 papers with code
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems
To address these limitations, we propose a dynamic simplex strategy with an online controller switching logic that allows two-way switching.
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA
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.
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
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.
Efficient Out-of-Distribution Detection Using Latent Space of $β$-VAE for Cyber-Physical Systems
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
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
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
Workflow Automation for Cyber Physical System Development Processes
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy.
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services
Third, we propose an efficient heuristic to identify suitable compute resource configurations.
Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems
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.
