Program
Please contact the chairs: Susmit Jha (susmit.jha@sri.com) or Arun Ramamurthy (arun.ramamurthy@siemens.com) if you need any urgent assistance with your presentation. They are also the "Zoom Masters".
You can log into http:/cpsiotweek.neslab.it/program_login.php to get the zoom details using password from your registration email. Those emails would have come from cpsiotweek-registrations-noreply@neslab.it or cpsiotweek-registrations@neslab.it.
Other instructions for the presentation are available at bit.ly/3LeNE2E .
Our slack channel is https://cps-iotweek2022.slack.com/archives/C03BV0L53B9 (# workshop-destion in the cps-iotweek2022 slack).
Times are in Pacific daylight (PDT), central European summer time (CEST) and China standard time (CST).
| Time (PDT) Pacific Daylight |
Time (CEST) Central European |
Time (CST) China Standard |
Session Info |
|---|---|---|---|
|
0740 7:40 AM |
1640 4:40 PM |
2240 10:40 PM |
Welcome |
|
0745 – 0845 7:45 – 8:45 AM |
1645 – 1745 4:45 – 5:45 PM |
2245 – 2345 10:45 – 11:45 PM |
Session 1: Design Oracles and Simulation Models
|
|
0900 – 1000 9:00 – 10:00 AM |
1800 – 1900 6:00 – 7:00 PM |
0000 – 0100 12:00 – 1:00 AM |
Keynote Talk 1 Design Assurance for Machine Learnign in Aviation, Dmitrii Kirov and Darren Cofer, Collins Aerospace |
|
1015 – 1115 10:15 – 11:15 AM |
1915 – 2015 7:15 – 8:15 PM |
0115 – 0215 1:15 – 2:15 AM |
Session 2: AI for Design
|
|
1130 – 1230 11:30 AM – 12:30 PM |
2030 – 2130 8:30 – 9:30 PM |
0230 – 0330 2:30 – 3:30 AM |
Keynote Talk 2 Formal Inductive Synthesis and Specification Inference, Sanjit A. Seshia, UC Berkeley |
|
1245 – 1345 12:45 – 1:45 PM |
2145 – 2245 9:45 – 10:45 PM |
0345 – 0445 3:45 – 4:45 AM |
Session 3: Simulation and Exploration
|
Accepted Papers
- Anirban Roy, Sujeong Kim, Min Yin, Eric Yeh, Takuma Nakabayashi, Matt Campbell, Ian Keough and Yoshito Tsuji. A learning-based framework to assist architects in generating 3D building models from 2D images
-
Sean Rooney, Emil Pitz and Kishore Pochiraju. Differentiable Surrogates for Computationally Expensive and Failure-Prone Simulators
-
Rahul Bhadani and Jonathan Sprinkle. Repeatable & Scalable Multi-Vehicle Simulation with Offloaded Dynamics using Federated Modeling
-
James Walker, F. Michael Heim, Bapi Surampudi, Pablo Bueno, Alexander Carpenter, Sidney Chocron, Jon Cutshall, Richard Lammons, Theodore Bapty, Brian Swenson and Sydney Whittington. A Flight Dynamics Model for Exploring the Distributed Electrical eVTOL Cyber Physical Design Space
-
Miklos Maroti, Will Hedgecock and Peter Volgyesi. Rapid Design Space Exploration with Constraint Programming
-
Akash Agrawal and Christopher McComb. Comparing Strategies for Visualizing the High-Dimensional Exploration Behavior of CPS Design Agents
-
Hongrui Zheng, Johannes Betz, Arun Ramamurthy, Hyunjee Jin and Rahul Mangharam. Combinatorial and Parametric Gradient-Free Optimization for Cyber-Physical System Design
-
Adam Cobb, Anirban Roy, Daniel Elenius and Susmit Jha. Trinity AI Co-Designer for Hierarchical Oracle-guided Design of Cyber-Physical Systems
-
Theodore Bapty, Sydney Whittington, James Walker, Joseph Hite, Brian Swenson, Kathrine Owens, Fred Eisele, Jason Scott and Robert Owens. Design Oracle for AI-Based CPS Design
-
Rizwan Parveen and Tanishq Nandan. Developing a Testing Framework for Cyber-Physical Systems using Gazebo
-
Himanshu Neema, Thomas Roth, Chenli Wang, Wenqi Guo and Anirban Bhattacharjee. Integrating Multiple HLA Federations for Effective Simulation-Based Evaluations of CPS