Program

The First Workshop on Design Automation for CPS and IoT (DESTION 2019)

April 15, 2019, 08:30 – 17:00

07:00 – 08:30   Registration

Session 1

08:30 – 08:45   Opening Remarks

08:45 – 09:30   "Keynote: A Model-Based Design Workflow for a Robotic Car Testbed: From 0 to 60"

                         Jonathan Sprinkle

09:30 – 10:00   "Invited Talk: Design of Learning Enabled Societal Scale Systems"

                         Shankar Sastry, Lillian Ratliff, Roy Dong, Eric Mazumdar

10:00 – 10:30   Coffee Break

Session 2

10:30 – 11:00   "Invited Talk: Model-Based Design for CPS with Learning-Enabled Components"

                         Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor Johnson, Xenofon Koutsoukos, Janos Sztipanovits, Gabor Karsai

11:00 – 11:30   "Invited Talk: Verified AI: A Design Automation Perspective"

                         Sanjit Seshia

11:30 – 11:45   "Demo: Verisig – Verifying Safety Properties of Hybrid Systems with Neural Network Controllers"

                         Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee

11:45 – 12:00   "Demo: A Design Studio for Verification Tools"

                         Tamas Kecskes, Patrik Meijer, Taylor Johnson, Marcus Lucas

12:00 – 13:30   Lunch with Demos

Session 3

13:30 – 14:00   "Simulation Integration Platforms for Cyber-Physical Systems"

                         Himanshu Neema, Janos Sztipanovits, Cornelius Steinbrink, Thomas Raub, Bastian Cornelsen, Sebastian Lehnhoff

14:00 – 14:30   "Multi-Layer Time Coherency in the Development of ADAS/AD Systems: Design Approach and Tooling"

                         Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand

14:30 – 15:00   "Autonomous Waypoints Planning and Trajectory Generation for Multi-Rotor UAVs"

                         Yilan Li, Hossein Eslamiat, Ningshan Wang, Ziyi Zhao, Amit K. Sanyal, Qinru Qiu

15:00 – 15:30   Coffee Break

Session 4

15:30 – 16:00   "Design Optimization Techniques for Time-Critical Cyber Physical Systems"

                         Yecheng Zhao, Haibo Zeng

16:00 – 16:30   "Exploring Weakly-hard Paradigm for Networked Systems"

                         Chao Huang, Kacper Wardega, Wenchao Li, Qi Zhu

16:30 – 17:00   Closing Discussions