research
∙
02/20/2023
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems
Learning Enabled Components (LEC) have greatly assisted cyber-physical s...
share
research
∙
06/27/2022
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications
Executing distributed cyber-physical software processes on edge devices ...
research
∙
05/24/2022
Syntheto: A Surface Language for APT and ACL2
Syntheto is a surface language for carrying out formally verified progra...
research
∙
02/28/2022
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Autonomous Cyber-Physical Systems must often operate under uncertainties...
research
∙
12/13/2021
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications
Peer-to-peer energy management systems for smart grids require developer...
research
∙
08/26/2021
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems
Deep Neural Networks are actively being used in the design of autonomous...
research
∙
02/18/2021
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Autonomous CPSs are often required to handle uncertainties and self-mana...
research
∙
04/13/2020
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge
Deep Learning (DL) model-based AI services are increasingly offered in a...
research
∙
04/12/2020
Workflow Automation for Cyber Physical System Development Processes
Development of Cyber Physical Systems (CPSs) requires close interaction ...
research
∙
03/11/2020
A Methodology for Automating Assurance Case Generation
Safety Case has become an integral component for safety-certification in...
research
∙
04/02/2019
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services
Pre-trained deep learning models are increasingly being used to offer a ...
research
∙
02/06/2019