File
Connected Testbeds for Connected Vehicles
Tulga Ersal Submitted by Tulga Ersal on December 4th, 2018
File
Co-Design of Networking and Decentralized Control to Enable Aerial Networking in an Uncertain Airspace
Yan Wan Submitted by Yan Wan on December 4th, 2018
File
Autonomy Protocols: From Human Behavioral Modeling to Correct-by-Construction Scaleable Control
Submitted by Behcet Acikmese on December 4th, 2018
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
Subscribe to CPS-PI Meeting 2018