Abstract is missing.
- Model-based design for CPS with learning-enabled componentsCharles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai. 1-9 [doi]
- Simulation integration platforms for cyber-physical systemsHimanshu Neema, Janos Sztipanovits, Cornelius Steinbrink, Thomas Raub, Bastian Cornelsen, Sebastian Lehnhoff. 10-19 [doi]
- Multi-layer time coherency in the development of ADAS/AD systems: design approach and toolingWerner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand. 20-30 [doi]
- Autonomous waypoints planning and trajectory generation for multi-rotor UAVsYilan Li, Hossein Eslamiat, Ningshan Wang, Ziyi Zhao, Amit K. Sanyal, Qinru Qiu. 31-40 [doi]
- Optimization techniques for time-critical cyber-physical systemsYecheng Zhao, Haibo Zeng. 41-50 [doi]
- Exploring weakly-hard paradigm for networked systemsChao Huang, Kacper Wardega, Wenchao Li, Qi Zhu 0002. 51-59 [doi]
- Demo: a design studio for verification toolsTamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas. 60-61 [doi]
- Demo: verisig - verifying safety properties of hybrid systems with neural network controllersRadoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee. 62-63 [doi]