Materials will be available on April 21.
Please email the DESTION '20 workshop organizers at DESTION@cps-vo.org
for site credentials to access the presentation materials.
|
WELCOME MESSAGE |
View Presentation | Join the Conversation |
|
DESTION '20 Chair Welcome |
 |
 |
|
KEYNOTE PRESENTATION |
||
|
Symbiotic Design for Cyber Physical Systems |
|
|
|
SESSION 1: CPS Tools |
||
|
Workflow Automation for Cyber Physical System Development Processes |
|
|
|
The UCEF Approach to Tool Integration for HLA Co-Simulations |
|
|
|
TE-SAT: Transactive Energy Simulation and Analysis Toolsuite |
|
|
|
NNV Demo: A Neural Network Verification Tool |
|
|
|
SESSION 2: Transportation CPS |
||
|
Towards Formalization of Wireless Vehicular Networking |
|
|
|
Streaming Computation Algorithms for Spatiotemporal Micromobility Service Availability |
|
|
|
Intelligent Intersection Management with Non-Connected and Non-Autonomous Motorcycles |
|
|
|
Interstate-24 MOTION: Closing the Loop on Smart Mobility |
|
|