5 citations · 7 across the 8 of their papers we have counts for
9 papers
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems
Baiting Luo, Shreyas Ramakrishna, Ava Pettet +3
Learning Enabled Components (LEC) have greatly assisted cyber-physical systems in achieving higher levels of autonomy. However, LEC's susceptibility to dynamic and uncertain operat…
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA
Shreyas Ramakrishna, Baiting Luo, Christopher Kuhn +2
Despite recent advances in autonomous driving systems, accidents such as the fatal Uber crash in 2018 show these systems are still susceptible to edge cases. Such systems must be t…
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Shreyas Ramakrishna, Baiting Luo, Yogesh Barve +2
Autonomous Cyber-Physical Systems must often operate under uncertainties like sensor degradation and shifts in the operating conditions, which increases its operational risk. Dynam…
Efficient Out-of-Distribution Detection Using Latent Space of -VAE for Cyber-Physical Systems
Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai +2
Deep Neural Networks are actively being used in the design of autonomous Cyber-Physical Systems (CPSs). The advantage of these models is their ability to handle high-dimensional st…
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey +3
Autonomous CPSs are often required to handle uncertainties and self-manage the system operation in response to problems and increasing risk in the operating paradigm. This risk may…
Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems
Matthew Burruss, Shreyas Ramakrishna, Abhishek Dubey
Deep Neural Networks (DNNs) are popularly used for implementing autonomy related tasks in automotive Cyber-Physical Systems (CPSs). However, these networks have been shown to make…
A Methodology for Automating Assurance Case Generation
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey +2
Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The ce…
Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of -VAE
Vijaya Kumar Sundar, Shreyas Ramakrishna, Zahra Rahiminasab +2
Learning Enabled Components (LECs) are widely being used in a variety of perception based autonomy tasks like image segmentation, object detection, end-to-end driving, etc. These c…
Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems
Shreyas Ramakrishna, Charles Hartsell, Matthew P Burruss +2
Cyber Physical Systems (CPS) have increasingly started using Learning Enabled Components (LECs) for performing perception-based control tasks. The simple design approach, and their…