research
∙
07/29/2022
Design Methodology for Deep Out-of-Distribution Detectors in Real-Time Cyber-Physical Systems
When machine learning (ML) models are supplied with data outside their t...
share
research
∙
07/25/2021
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications
Uncertainties in machine learning are a significant roadblock for its ap...
research
∙
06/30/2021
Embedded out-of-distribution detection on an autonomous robot platform
Machine learning (ML) is actively finding its way into modern cyber-phys...
research
∙
04/23/2021
Monitoring Cumulative Cost Properties
This paper considers the problem of decentralized monitoring of a class ...
research
∙
04/13/2020
Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems
With the growing scale of Cyber-Physical Systems (CPSs), it is challengi...
research
∙
04/09/2020
Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems
This demonstration presents a framework for building a resilient Cyber-P...
research
∙
04/09/2020
CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures
Industrial cyber-infrastructure is normally a multilayered architecture....
research
∙
04/09/2020
Contract-based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era
As the industrial cyber-infrastructure become increasingly important to ...
research
∙
04/09/2020