File
A Verifiable Framework for Cyber-Physical Attacks and Countermeasures in a Resilient Electric Power Grid
Lalitha Sankar Submitted by Lalitha Sankar on December 17th, 2018
File
VeHICaL- Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
Submitted by Cynthia Sturton on December 17th, 2018
File
Towards Secure Large-Scale Networked Systems- Resilient Distributed Algorithms for Coordination in Networks Under Cyber Attacks
Submitted by Shreyas Sundaram on December 17th, 2018
File
Synthetic, Distributed Sensing, Soft and Modular Tissue
Submitted by Mark Rentschler on December 17th, 2018
File
Software Defined Control for Smart Manufacturing Systems
Submitted by Anonymous on December 17th, 2018
File
Situational Awareness Strategies for Autonomous Systems in Dynamic Uncertain Environments
Submitted by Zak Kassas on December 17th, 2018
File
Selective Listening - Control for Connected Autonomous Vehicles in Data-Rich Environments
Submitted by Raghvendra Cowlagi on December 17th, 2018
File
Security Certification of Autonomous Cyber-Physical Systems
Submitted by Yier Jin on December 17th, 2018
File
Secure-by-Design Synthesis of Cyber-Physical Systems
Submitted by Andrew Clark on December 17th, 2018
File
Secure Interations with Internet of Things
Kang Shin Submitted by Kang Shin on December 17th, 2018
Subscribe to Session 12: LT