research
∙
07/25/2023
Co-Design of Out-of-Distribution Detectors for Autonomous Emergency Braking Systems
Learning enabled components (LECs), while critical for decision making i...
share
research
∙
04/04/2023
PAC-Based Formal Verification for Out-of-Distribution Data Detection
Cyber-physical systems (CPS) like autonomous vehicles, that utilize lear...
research
∙
11/15/2022
Demo Abstract: Real-Time Out-of-Distribution Detection on a Mobile Robot
In a cyber-physical system such as an autonomous vehicle (AV), machine l...
research
∙
10/18/2022
Out of Distribution Reasoning by Weakly-Supervised Disentangled Logic Variational Autoencoder
Out-of-distribution (OOD) detection, i.e., finding test samples derived ...
research
∙
08/23/2022
A Low-Cost Lane-Following Algorithm for Cyber-Physical Robots
Duckiebots are low-cost mobile robots that are widely used in the fields...
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...
research
∙
06/13/2022
Deadline-constrained Multi-resource Task Mapping and Allocation for Edge-Cloud Systems
In an edge-cloud system, mobile devices can offload their computation in...
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
∙
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
∙
07/25/2021
WiP Abstract : Robust Out-of-distribution Motion Detection and Localization in Autonomous CPS
Highly complex deep learning models are increasingly integrated into mod...
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
∙
02/04/2021
Challenges in Digital Twin Development for Cyber-Physical Production Systems
The recent advancement of information and communication technology makes...
research
∙
02/03/2021
Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies
In the fields of co-simulation and component-based modelling, designers ...
research
∙
07/17/2020
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems
In this paper we present a novel model checking approach to finite-time ...
research
∙
06/29/2020
Resilience Bounds of Network Clock Synchronization with Fault Correction
The Internet of Things (IoT) will be a main data generation infrastructu...
research
∙
04/30/2020
A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum
Artificial Intelligence (AI) and Internet of Things (IoT) applications a...
research
∙
04/29/2020
DeCoRIC: Decentralized Connected Resilient IoT Clustering
Maintaining peer-to-peer connectivity with low energy overhead is a key ...
research
∙
04/29/2020
Real-Time Energy Monitoring in IoT-enabled Mobile Devices
With rapid advancements in the Internet of Things (IoT) paradigm, electr...
research
∙
04/14/2020
Managing Industrial Communication Delays with Software-Defined Networking
Recent technological advances have fostered the development of complex i...
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
Contract-based Hierarchical Resilience Management for Cyber-Physical Systems
Orchestrated collaborative effort of physical and cyber components to sa...
research
∙
04/06/2020
Optimal Virtual Cluster-based Multiprocessor Scheduling
Scheduling of constrained deadline sporadic task systems on multiprocess...
research
∙
04/06/2020
Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling
Mixed-criticality real-time scheduling has been developed to improve res...
research
∙
03/11/2020
Multi-Rate Fluid Scheduling of Mixed-Criticality Systems on Multiprocessors
In this paper we consider the problem of mixed-criticality (MC) scheduli...
research
∙
03/11/2020
Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems
Systems in many safety-critical application domains are subject to certi...
research
∙
03/11/2020
Utilization Difference Based Partitioned Scheduling of Mixed-Criticality Systems
Mixed-Criticality (MC) systems consolidate multiple functionalities with...
research
∙
03/11/2020
Demand-based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor
Strategies that artificially tighten high-criticality task deadlines in ...
research
∙
03/11/2020
Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems
Many existing studies on mixed-criticality (MC) scheduling assume that l...
research
∙
03/11/2020
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems
Different scheduling algorithms for mixed criticality systems have been ...
research
∙
03/11/2020
TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems
Digital twin is a virtual replica of a real-world object that lives simu...
research
∙
10/26/2019
SlotSwapper: A Schedule Randomization protocol for Real-Time WirelessHART Networks
Industrial process control systems are time-critical systems where relia...
research
∙
09/11/2019
Towards Safe Machine Learning for CPS: Infer Uncertainty from Training Data
Machine learning (ML) techniques are increasingly applied to decision-ma...
research
∙
10/19/2018
Flow Network Models for Online Scheduling Real-time Tasks on Multiprocessors
We consider the flow network model to solve the multiprocessor real-time...
research
∙
09/10/2018