发布求助
文献互助 智能选刊 最新文献

2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)最新文献

筛选
英文 中文
Demo: The Neural Network Verification (NNV) Tool 演示:神经网络验证(NNV)工具
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00010
Hoang-Dung Tran, Diego Manzanas Lopez, Xiaodong Yang, Patrick Musau, L. V. Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
{"title":"Demo: The Neural Network Verification (NNV) Tool","authors":"Hoang-Dung Tran, Diego Manzanas Lopez, Xiaodong Yang, Patrick Musau, L. V. Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson","doi":"10.1109/DESTION50928.2020.00010","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00010","url":null,"abstract":"NNV (Neural Network Verification) is a framework for the verification of deep neural networks (DNNs) and learning-enabled cyber-physical systems (CPS) inspired by a collection of reachability algorithms that make use of a variety of set representations such as the star set. NNV supports exact and over-approximate reachability algorithms used to verify the safety and robustness of feed-forward neural networks (FFNNs). These two analysis schemes are also used for learning enabled CPS, i.e., closed-loop systems, and particularly in neural network control systems with linear models and FFNN controllers with piecewise-linear activation functions. Additionally, NNV supports over-approximate analysis for nonlinear plant models by combining the star set analysis used for FFNNs with the zonotope-based analysis for nonlinear plant dynamics provided by CORA. This demo paper demonstrates NNV’s capabilities by considering a case study of the verification of a learning-enabled adaptive cruise control system.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130511236","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
DESTION 2020 Index 2020年目标指数
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/destion50928.2020.00015
{"title":"DESTION 2020 Index","authors":"","doi":"10.1109/destion50928.2020.00015","DOIUrl":"https://doi.org/10.1109/destion50928.2020.00015","url":null,"abstract":"","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125214159","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
DESTION 2020 TOC
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/destion50928.2020.00004
{"title":"DESTION 2020 TOC","authors":"","doi":"10.1109/destion50928.2020.00004","DOIUrl":"https://doi.org/10.1109/destion50928.2020.00004","url":null,"abstract":"","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"87 9 Suppl 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116304765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards formalization of wireless vehicular networking 迈向无线车联网的正规化
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00011
R. Kaur, Jungyeol Kim, O. Sokolsky, S. Sarkar, Radoslav Ivanov, Insup Lee
{"title":"Towards formalization of wireless vehicular networking","authors":"R. Kaur, Jungyeol Kim, O. Sokolsky, S. Sarkar, Radoslav Ivanov, Insup Lee","doi":"10.1109/DESTION50928.2020.00011","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00011","url":null,"abstract":"Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) technologies (together, V2X) will enable vehicles, ranging from cars to trucks to buses to pedestrians to wirelessly exchange important safety and congestion information. This exchange is expected to help save lives, prevent injuries and ease traffic congestion. The realization of this promise however critically depends on the deployment of judicious wireless and vehicular control strategies (e.g., how vehicular routing choices respond to V2X messages, how wireless network schedules these messages, how traffic signals may be controlled to optimize their spread) that exploit the opportunities and stymie the obstacles that the interdependence between the wireless and transportation infrastructures introduce. To that end, one needs mechanisms to model, evaluate and control V2X, which is what we seek to obtain, by proposing deployment of formal methods in the field of V2X. Specifically, we show how a V2X system can be formally verified to assess reachability to undesirable states by modeling it as a hybrid system and then verifying the safety properties for this hybrid system via reachability.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127012359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Message from Organizers 主办单位致辞
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2017-07-13 DOI: 10.1109/i-span.2008.4
Tingting Yu, D. Marinov
{"title":"Message from Organizers","authors":"Tingting Yu, D. Marinov","doi":"10.1109/i-span.2008.4","DOIUrl":"https://doi.org/10.1109/i-span.2008.4","url":null,"abstract":"s Submitted Presentation Type Count Oral 1857 Performing Arts 35 Poster 2496 Visual Arts Exhibit 54 FAN 39 Abstracts with Present_Confirm status of Confirmeds with Present_Confirm status of Confirmed Presentation Type Count Oral 1424 Performing Arts 27 Poster 1962 Visual Arts Exhibit 40 FAN 24 Exhibit III.B3. Student Abstracts Submitted, Rejected & Withdrawn by Discipline Discipline Approved and RejectedFinal Approved RejectedFinal Withdrawn Anthropology & Archeology 58 51 7 12 Architecture, Construction Management, & Interior Design 32 32 0 3 Art History & Visual Arts 132 118 14 22 Biochemistry 113 109 4 16 Biology 614 589 25 87 Business 100 86 14 20 Chemistry 175 169 6 22 Communications 74 65 9 9 Computer Science 125 115 10 22 Creative Writing 7 7 0 3 Criminology/Criminal Justice 23 23 0 4 Dance 15 14 1 0 Diversity Studies 43 33 10 2 Economics 22 20 2 4","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121795864","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信