File
Robustness Guided Testing and Verification for Cyber-Physical Systems
Georgios Fainekos Submitted by Georgios Fainekos on January 10th, 2020
File
Connected Testbeds for Connected Vehicles
Tulga Ersal Submitted by Tulga Ersal on January 10th, 2020
File
Optimizing Signalized Intersections under Presence of Automated and Conventional Vehicles
Submitted by Lily-Ageliki Elefteriadou on January 10th, 2020
File
An Integrated Simulation and Process Control Platform for Distributed Manufacturing Process Chains
Submitted by Anonymous on January 10th, 2020
File
Percept-V: Image-Based Indoor Navigation for the Visually Impaired
Submitted by Marco Duarte on January 10th, 2020
File
Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems
Submitted by Harpreet Dhillon on January 10th, 2020
File
A Dynamic Optimization Framework for Connected Automated Vehicles in Urban Environments
Christos Cassandras Submitted by Christos Cassandras on January 10th, 2020
File
Real-time Data Analytics for Energy Cyber-Physical Systems
Submitted by Maggie Cheng on January 10th, 2020
File
Wireless Magnetic Millibot Blood Clot Removal and Navigation in 3-D Printed Patient-Specific Phantoms using Echocardiography
Submitted by Aaron Becker on January 10th, 2020
File
Towards Dependable Self-Powered Things for the IoT
Submitted by John Lach on January 10th, 2020
Subscribe to NSF