File
Verified Control of Cooperative Autonomous Vehicles
Submitted by Christoffer Heckeman on December 4th, 2018
File
System-on-Cloth- A Cloud Manufacturing Framework for Embroidered Wearable Electronics
Submitted by Sarah Sun on December 4th, 2018
File
Symbolic and Numerical Techniques for Verification and Synthesis of CPS
Parasara Sridhar Duggirala Submitted by Parasara Sridhar Duggirala on December 4th, 2018
File
Sound Invariant Generation for Continuous and Hybrid Systems
Andre Platzer Submitted by Andre Platzer on December 4th, 2018
File
Software Defined Solar Systems
Submitted by David Irwin on December 4th, 2018
File
Real-Time Cyber-Human-Vehicle Systems for Driving Safety Enhancement
Submitted by Junmin Wang on December 4th, 2018
File
Low-Cost Sensor Enabled Explosive Detection to Protect High Density Environments
Submitted by sule ozev on December 4th, 2018
File
Internet of Wearable E-Textiles for Telemedicine
Kunal Mankodiya Submitted by Kunal Mankodiya on December 4th, 2018
File
Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems
Xenofon Koutsoukos Submitted by Xenofon Koutsoukos on December 4th, 2018
File
Imposing Recovery Period for Battery Health Monitoring, Prognosis, and Optimization
Kang Shin Submitted by Kang Shin on December 4th, 2018
Subscribe to Session 5: LT