Program

Submitted by akarns on Wed, 04/08/2020 - 1:48pm

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 Alberto Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu
KEYNOTE PRESENTATION
Symbiotic Design for Cyber Physical Systems Sandeep Neema, Information Innovation Office (I2O), DARPA
SESSION 1: CPS Tools
Workflow Automation for Cyber Physical System Development Processes Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
The UCEF Approach to Tool Integration for HLA Co-Simulations Thomas Roth, Christopher Lemieux, Martin Burns
TE-SAT: Transactive Energy Simulation and Analysis Toolsuite Himanshu Neema, Janos Sztipanovits, David J. Hess, Dasom Lee
NNV Demo: A Neural Network Verification Tool Hoang-Dung Tran, Diego Manzanas Lopez, Xiaodong Yang, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
SESSION 2: Transportation CPS
Towards Formalization of Wireless Vehicular Networking Ramneet Kaur, Jungyeol Kim, Oleg Sokolsky, Saswati Sarkar, Radoslav Ivanov, Insup Lee
Streaming Computation Algorithms for Spatiotemporal Micromobility Service Availability William Barbour, Michael Wilbur, Ricardo Sandoval, Abhishek Dubey, Daniel Work
Intelligent Intersection Management with Non-Connected and Non-Autonomous Motorcycles Chia-Chu Kung, Tsung-Lin Tsou, Chung-Wei Lin
Interstate-24 MOTION: Closing the Loop on Smart Mobility Derek Gloudemans, William Barbour, Nikki Gloudemans, Matthew Neuendorf, Brad Freeze, Said ElSaid, Daniel B. Work