


default search action
DESTION@CPSIoTWeek 2019: Montreal, QC, Canada
- Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu:

Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019. ACM 2019, ISBN 978-1-4503-6699-1 - Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna

, Abhishek Dubey
, Theodore Bapty, Taylor T. Johnson
, Xenofon D. Koutsoukos, Janos Sztipanovits
, Gabor Karsai
:
Model-based design for CPS with learning-enabled components. 1-9 - Himanshu Neema, Janos Sztipanovits, Cornelius Steinbrink, Thomas Raub, Bastian Cornelsen, Sebastian Lehnhoff:

Simulation integration platforms for cyber-physical systems. 10-19 - Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann

, Frank Poppen, Ingo Stierand
:
Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling. 20-30 - Yilan Li, Hossein Eslamiat, Ningshan Wang, Ziyi Zhao, Amit K. Sanyal, Qinru Qiu:

Autonomous waypoints planning and trajectory generation for multi-rotor UAVs. 31-40 - Yecheng Zhao, Haibo Zeng:

Optimization techniques for time-critical cyber-physical systems. 41-50 - Chao Huang, Kacper Wardega, Wenchao Li

, Qi Zhu:
Exploring weakly-hard paradigm for networked systems. 51-59 - Tamás Kecskés, Patrik Meijer, Taylor T. Johnson

, Marcus Lucas:
Demo: a design studio for verification tools. 60-61 - Radoslav Ivanov, James Weimer, Oleg Sokolsky

, Insup Lee:
Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. 62-63

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














