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

筛选
英文 中文
DESTION 2020 Commentary 2020年赛事解说
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/destion50928.2020.00001
{"title":"DESTION 2020 Commentary","authors":"","doi":"10.1109/destion50928.2020.00001","DOIUrl":"https://doi.org/10.1109/destion50928.2020.00001","url":null,"abstract":"","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"22 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":"123318106","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
Message from Organizers 主办方致辞
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00005
{"title":"Message from Organizers","authors":"","doi":"10.1109/DESTION50928.2020.00005","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00005","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":"113 14","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141217431","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 Breaker Page 目标2020断路器页面
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/destion50928.2020.00003
{"title":"DESTION 2020 Breaker Page","authors":"","doi":"10.1109/destion50928.2020.00003","DOIUrl":"https://doi.org/10.1109/destion50928.2020.00003","url":null,"abstract":"","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"22 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":"129578956","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
Streaming computation algorithms for spatiotemporal micromobility service availability 时空微移动服务可用性的流计算算法
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00012
William Barbour, Michael Wilbur, Ricardo Sandoval, A. Dubey, D. Work
{"title":"Streaming computation algorithms for spatiotemporal micromobility service availability","authors":"William Barbour, Michael Wilbur, Ricardo Sandoval, A. Dubey, D. Work","doi":"10.1109/DESTION50928.2020.00012","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00012","url":null,"abstract":"Location-based services and fleet management are important components of modern smart cities. However, statistical analysis with large-scale spatiotemporal data in real-time is computationally challenging and can necessitate compromise in accuracy or problem simplification. The main contribution of this work is the presentation of a stream processing approach for real-time monitoring of resource equity in spatially-aware micromobility fleets. The approach makes localized updates to resource availability as needed, instead of batch computation of availability at regular update intervals. We find that the stream processing approach can compute, on average, 62 resource availability updates in the same execution time as a single batch computation. This advantage in processing time makes continuous real-time stream processing equivalent to a batch computation performed every 15 minutes, in terms of algorithm execution time. Since the stream processing approach considers every update to the fleet in real-time, resource availability is always up-to-date and there is no compromise in terms of accuracy.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"661 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":"122964413","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
Workflow Automation for Cyber Physical System Development Processes 网络物理系统开发过程的工作流程自动化
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00007
Charles Hartsell, N. Mahadevan, Harmon Nine, T. Bapty, A. Dubey, G. Karsai
{"title":"Workflow Automation for Cyber Physical System Development Processes","authors":"Charles Hartsell, N. Mahadevan, Harmon Nine, T. Bapty, A. Dubey, G. Karsai","doi":"10.1109/DESTION50928.2020.00007","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00007","url":null,"abstract":"Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering discipline commonly relies on domain-specific modeling languages, and analysis and execution of these models is often automated with appropriate tooling. However, integration between these heterogeneous models and tools is often lacking, and most of the burden for inter-operation of these tools is placed on system developers. To address this problem, we introduce a workflow modeling language for the automation of complex CPS development processes and implement a platform for execution of these models in the Assurance-based Learning-enabled CPS (ALC) Toolchain. Several illustrative examples are provided which show how these workflow models are able to automate many time-consuming integration tasks previously performed manually by system developers.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"1 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":"122820898","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}
引用次数: 3
Interstate-24 MOTION: Closing the Loop on Smart Mobility 24号州际公路运动:关闭智能交通的循环
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00014
Derek Gloudemans, William Barbour, N. Gloudemans, M. Neuendorf, Brad Freeze, Said ElSaid, D. Work
{"title":"Interstate-24 MOTION: Closing the Loop on Smart Mobility","authors":"Derek Gloudemans, William Barbour, N. Gloudemans, M. Neuendorf, Brad Freeze, Said ElSaid, D. Work","doi":"10.1109/DESTION50928.2020.00014","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00014","url":null,"abstract":"We introduce the I-24 Mobility Technology Interstate Observation Network (MOTION), a transportation cyber-physical systems testbed under development in Tennessee. It consists of a six-mile freeway segment instrumented with 400 4K resolution cameras, processed by a real-time compute system to enable continuous performance monitoring of freeway traffic. The testbed is being developed to support next generation connected and autonomous vehicle technologies and advanced traffic management. When complete, the testbed will be the longest continuously observed freeway segment in the world. This article introduces the testbed, discusses the core design choices, and outlines the preliminary work conducted to support the design.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"1 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":"129904038","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}
引用次数: 7
The UCEF Approach to Tool Integration for HLA Co-Simulations HLA协同模拟的UCEF工具集成方法
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00008
Thomas P. Roth, Christopher Lemieux, M. Burns
{"title":"The UCEF Approach to Tool Integration for HLA Co-Simulations","authors":"Thomas P. Roth, Christopher Lemieux, M. Burns","doi":"10.1109/DESTION50928.2020.00008","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00008","url":null,"abstract":"Cyber-Physical Systems (CPS) are complex systems that require expertise from multiple domains in their design, implementation, and validation. One cost-effective technique for validation of CPS is the integration of two or more domain-specific simulators into a joint simulation called a co-simulation. Standards such as the High Level Architecture (HLA) have been developed in part to simplify the co-simulation development process. However, CPS co-simulation still requires significant expertise, especially when the goal is the integration of a new domain-specific tool or simulator. The U.S. National Institute of Standards and Technology (NIST) has released a software platform called the Universal CPS Environment for Federation (UCEF) to simplify the development of CPS co-simulations. UCEF provides two approaches to integrate tools and simulators. The first approach is a Java library called the UCEF Gateway that limits the development effort to a list of callback functions in a well-defined simulation life cycle. The second approach is a Representational State Transfer (REST) server developed using the gateway for applications that can implement a Transmission Control Protocol (TCP)/Internet Protocol (IP) client. This paper describes how both approaches are implemented to expedite the integration of new domain-specific tools and simulators.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"2012 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":"114804158","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 Committees 2020年委员会
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/destion50928.2020.00006
{"title":"DESTION 2020 Committees","authors":"","doi":"10.1109/destion50928.2020.00006","DOIUrl":"https://doi.org/10.1109/destion50928.2020.00006","url":null,"abstract":"","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"25 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":"131293284","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
TE-SAT: Transactive Energy Simulation and Analysis Toolsuite TE-SAT:交互能源模拟和分析工具套件
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00009
H. Neema, J. Sztipanovits, D. Hess, Dasom Lee
{"title":"TE-SAT: Transactive Energy Simulation and Analysis Toolsuite","authors":"H. Neema, J. Sztipanovits, D. Hess, Dasom Lee","doi":"10.1109/DESTION50928.2020.00009","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00009","url":null,"abstract":"Transactive Energy (TE) is an emerging discipline that utilizes economic and control techniques for operating and managing the power grid effectively. Distributed Energy Resources (DERs) represent a fundamental shift away from traditionally centrally managed energy generation and storage to one that is rather distributed. However, integrating and managing DERs into the power grid is highly challenging owing to the TE implementation issues such as privacy, equity, efficiency, reliability, and security. The TE market structures allow utilities to transact (i.e., buy and sell) power services (production, distribution, and storage) from/to DER providers integrated as part of the grid. Flexible power pricing in TE enables power services transactions to dynamically adjust power generation and storage in a way that continuously balances power supply and demand as well as minimize cost of grid operations. Therefore, it has become important to analyze various market models utilized in different TE applications for their impact on above implementation issues.In this demo, we show-case the Transactive Energy Simulation and Analysis Toolsuite (TE-SAT) with its three publicly available design studios for experimenting with TE markets. All three design studios are built using metamodeling tool called the Web-based Graphical Modeling Environment (WebGME). Using a Git-like storage and tracking backend server, WebGME enables multi-user editing on models and experiments using simply a web-browser. This directly facilitates collaboration among different TE stakeholders for developing and analyzing grid operations and market models. Additionally, these design studios provide an integrated and scalable cloud backend for running corresponding simulation experiments.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"10 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":"133610044","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
Intelligent Intersection Management with Non-Connected and Non-Autonomous Motorcycles 非联网和非自主摩托车的智能交叉口管理
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) Pub Date : 2020-04-01 DOI: 10.1109/DESTION50928.2020.00013
Chia-Chu Kung, T. Tsou, Chung-Wei Lin
{"title":"Intelligent Intersection Management with Non-Connected and Non-Autonomous Motorcycles","authors":"Chia-Chu Kung, T. Tsou, Chung-Wei Lin","doi":"10.1109/DESTION50928.2020.00013","DOIUrl":"https://doi.org/10.1109/DESTION50928.2020.00013","url":null,"abstract":"Intelligent intersection management is a very representative application of connected and autonomous vehicles, and there have been many related works from different perspectives. However, motorcycles have not yet been considered in intelligent intersection management, and this is a crucial problem for certain places, especially those with high population densities. In this paper, we consider motorcycles and identify the fundamental differences from existing intelligent intersection management. Considering the features of motorcycles, we propose to use grouping and two-phase left turns with waiting zones for motorcycles to improve the traffic efficiency of an intersection where vehicles are connected and autonomous and motorcycles are non-connected and non-autonomous. To the best of our knowledge, this is the first work in the literature to model and study the intelligent intersection management with motorcycles. Our case study demonstrates essential trade-offs and insights for designing intelligent intersection management with motorcycles.","PeriodicalId":318438,"journal":{"name":"2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)","volume":"108 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":"116461549","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学术官方微信