![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.