File
Sound Invariant Generation for Continuous and Hybrid Systems
Andre Platzer Submitted by Andre Platzer on January 16th, 2020
File
Secure interactions with Internet of Things – Detecting Misplaced RFID Tags
Kang Shin Submitted by Kang Shin on January 16th, 2020
File
Safe and Efficient Cyber-Physical Operation System for Construction Equipment
Mani Golparvar-Fard Submitted by Mani Golparvar-Fard on January 16th, 2020
File
Robustifying Machine Learning for Cyber-Physical Systems
Soumik Sarkar Submitted by Soumik Sarkar on January 16th, 2020
File
Practical Control Engineering Principles to Improve the Security and Privacy of Cyber-Physical Systems
Submitted by Alvaro Cardenas on January 16th, 2020
File
Perceptive Stochastic Coordination in Mass Platoons of Automated Vehicles
Submitted by Javad Mohammadpour Velni on January 16th, 2020
File
Machine Learning Enabled "Smart Nets" to Optimize Sustainable Fisheries Technologies
Submitted by Jennifer Blain Christen on January 16th, 2020
File
Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
Sriram Sankaranarayanan Submitted by Sriram Sankaranarayanan on January 16th, 2020
File
Ionic Liquid and Amorphous Metal-Oxide Semiconductor Interactions Towards a New Programmable Neuromorphic Platform
Philip Brisk Submitted by Philip Brisk on January 16th, 2020
File
Imposing Recovery Period for Battery Health Monitoring, Prognosis, and Optimization
Submitted by Anonymous on January 16th, 2020
Subscribe to NSF