File
Secure Computing and Cross-Layer Anomaly Detection in the Internet of Things
Submitted by Soummya Kar on April 10th, 2020
File
Scalable and Safe Control Synthesis for Systems with Symmetries
Submitted by Necmiye Ozay on April 10th, 2020
File
S2Guard- Building Security and Safety in Autonomous Vehicles via Multi-Layer Protection
Submitted by Wenjing Lou on April 10th, 2020
File
Robustifying Machine Learning for Cyber-Physical Systems
Soumik Sarkar Submitted by Soumik Sarkar on April 10th, 2020
File
Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on April 10th, 2020
File
Rethinking Communication and Control for Low-Latency, High Reliability loT Devices
George Pappas Submitted by George Pappas on April 10th, 2020
File
Resilient Design of Networked Infrastructure Systems- Models, Validation, and Synthesis
Saurabh Amin Submitted by Saurabh Amin on April 10th, 2020
File
Reconciling Safety with the Internet for Cyber-Physical Systems
Edward Lee Submitted by Edward Lee on April 10th, 2020
File
Real-Time Cyber-Human-Vehicle Systems for Driving Safety Enhancement
Submitted by Junmin Wang on April 10th, 2020
File
Optimizing Signalized Intersection Operations with Automated and Conventional Vehicles
Submitted by Lily-Ageliki Elefteriadou on April 10th, 2020
Subscribe to CPS PI Meeting 2019