research
∙
05/26/2023
Physical Deep Reinforcement Learning: Safety and Unknown Unknowns
In this paper, we propose the Phy-DRL: a physics-model-regulated deep re...
share
research
∙
03/29/2023
Physical Deep Reinforcement Learning Towards Safety Guarantee
Deep reinforcement learning (DRL) has achieved tremendous success in man...
research
∙
09/27/2022
Phy-Taylor: Physics-Model-Based Deep Neural Networks
Purely data-driven deep neural networks (DNNs) applied to physical engin...
research
∙
09/04/2022
Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles
As Autonomous Vehicle (AV) development has progressed, concerns regardin...
research
∙
08/30/2022
Verifiable Obstacle Detection
Perception of obstacles remains a critical safety concern for autonomous...
research
∙
11/18/2021
LiDAR Cluster First and Camera Inference Later: A New Perspective Towards Autonomous Driving
Object detection in state-of-the-art Autonomous Vehicles (AV) framework ...
research
∙
06/08/2021
Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles
Commonly used metrics for evaluation of object detection systems (precis...
research
∙
04/09/2021
SchedGuard: Protecting against Schedule Leaks Using Linux Containers
Real-time systems have recently been shown to be vulnerable to timing in...
research
∙
05/15/2020
Safety Constrained Multi-UAV Time Coordination: A Bi-level Control Framework in GPS Denied Environment
Unmanned aerial vehicles (UAVs) suffer from sensor drifts in GPS denied ...
research
∙
09/23/2019
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts
Improving the effectiveness and safety of patient care is the ultimate o...
research
∙
06/11/2019
Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift
This paper considers a resilient state estimation framework for unmanned...
research
∙
12/06/2018
A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems
The Unmanned aerial vehicles (UAVs) sector is fast-expanding. Protection...
research
∙
11/20/2018
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report
Improving effectiveness and safety of patient care is an ultimate object...
research
∙
11/20/2018
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)
Improving patient care safety is an ultimate objective for medical cyber...
research
∙
11/02/2018
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)
Improving patient care safety is an ultimate objective for medical cyber...
research
∙
04/30/2018
Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems
Securing cyber-physical systems (CPS) against malicious attacks is of pa...
research
∙
11/25/2017
Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis
Model-based development is a widely-used method to describe complex syst...
research
∙
07/16/2017
Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances
The ultimate objective of medical cyber-physical systems is to enhance t...
research
∙
04/12/2011