Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2018 NSF Cyber-Physical Systems Principal Investigators' Meeting
Home
Program Agenda
Lightning Talks
Abstracts/Posters/Videos
Mini-Workshops
Demonstrations
Attendees
Files
CPS-VO
»
NSF CPS PI Meetings
»
2018 NSF Cyber-Physical Systems Principal Investigators' Meeting
» SESSION 5: LT
Session 5: LT
file
System-on-Cloth- A Cloud Manufacturing Framework for Embroidered Wearable Electronics
Submitted by Sarah Sun on Tue, 12/04/2018 - 4:49pm. Contributor:
Sarah Sun
cloud manufacturing
wearable electronics
Session 5: LT
1751454
CPS-PI Meeting 2018
2018
Presentation
file
Verified Control of Cooperative Autonomous Vehicles
Submitted by Christoffer Heckman on Tue, 12/04/2018 - 4:49pm. Contributors:
Christoffer Heckman
Guohui Ding
Sina Aghli
Lijun Chen
Hadi Ravanbakhsh
Sriram Sankaranarayanan
self-driving cars
formal verification
cooperative games
Session 5: LT
1646556
CPS-PI Meeting 2018
2018
Presentation
file
Software Defined Solar Systems
Submitted by David Irwin on Tue, 12/04/2018 - 4:49pm. Contributors:
David Irwin
Prashant Shenoy
smart energy systems
Session 5: LT
1645952
CPS-PI Meeting 2018
2018
Presentation
file
Symbolic and Numerical Techniques for Verification and Synthesis of CPS
Submitted by psduggirala on Tue, 12/04/2018 - 4:49pm. Contributor:
Parasara Sridhar Duggirala
formal methods
verification
synthesis
control systems
Safety
Symbolic Representation
Generalized Stars
Session 5: LT
1739936
CPS-PI Meeting 2018
2018
Presentation
file
Sound Invariant Generation for Continuous and Hybrid Systems
Submitted by Andre Platzer on Tue, 12/04/2018 - 4:49pm. Contributor:
André Platzer
hybrid systems
formal verification
Theorem Proving
Session 5: LT
1739629
CPS-PI Meeting 2018
2018
Presentation
file
Multi-Resolution Model and Context-Aware Information Networking for Cooperative Vehicle Efficiency and Safety Systems
Submitted by Yaser Fallah on Tue, 12/04/2018 - 4:49pm. Contributor:
Yaser Fallah
Session 5: LT
1664968
CPS-PI Meeting 2018
2018
Presentation
file
Low-Cost Sensor Enabled Explosive Detection to Protect High Density Environments
Submitted by suleozev on Tue, 12/04/2018 - 4:49pm. Contributors:
Sule Ozev
Jennifer Blain Christen
Chengmo Yang
A. Enis Cetin
Alex Orailoglu
Session 5: LT
1739451
CPS-PI Meeting 2018
2018
Presentation
file
Real-Time Cyber-Human-Vehicle Systems for Driving Safety Enhancement
Submitted by Junmin Wang on Tue, 12/04/2018 - 4:49pm. Contributors:
Junmin Wang
Xiaorui Wang
Haijun Su
Richard Jagacinski
human-vehicle systems
personalized vehicle motion control
Session 5: LT
1645657
CPS-PI Meeting 2018
2018
Presentation
file
Imposing Recovery Period for Battery Health Monitoring, Prognosis, and Optimization
Submitted by kgshin@eecs.umich... on Tue, 12/04/2018 - 4:49pm. Contributors:
Kang Shin
Liang He
Session 5: LT
1739577
CPS-PI Meeting 2018
2018
Presentation
file
Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems
Submitted by Xenofon Koutsoukos on Tue, 12/04/2018 - 4:49pm. Contributors:
Xenofon Koutsoukos
Zhenkai Zhang
Session 5: LT
1739328
CPS-PI Meeting 2018
2018
Presentation
1
2
3
next ›
last »
