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

2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)最新文献

筛选
英文 中文
Challenges in Optimization-Based Control 基于优化控制的挑战
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-05-01 DOI: 10.1109/CAADCPS56132.2022.00010
M. Hale, R. Sanfelice
{"title":"Challenges in Optimization-Based Control","authors":"M. Hale, R. Sanfelice","doi":"10.1109/CAADCPS56132.2022.00010","DOIUrl":"https://doi.org/10.1109/CAADCPS56132.2022.00010","url":null,"abstract":"Motivated by the power of optimization methods, we discuss key opportunities for using them for feedback control and reveal some of the challenges involved.","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125724867","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
Explaining Cyber-Physical Systems Using Decision Trees 用决策树解释信息物理系统
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-05-01 DOI: 10.1109/caadcps56132.2022.00006
Swantje Plambeck, Görschwin Fey, Jakob Schyga, Johannes Hinckeldeyn, J. Kreutzfeldt
{"title":"Explaining Cyber-Physical Systems Using Decision Trees","authors":"Swantje Plambeck, Görschwin Fey, Jakob Schyga, Johannes Hinckeldeyn, J. Kreutzfeldt","doi":"10.1109/caadcps56132.2022.00006","DOIUrl":"https://doi.org/10.1109/caadcps56132.2022.00006","url":null,"abstract":"Cyber-Physical Systems (CPS) are systems that contain digital embedded devices while depending on environmental influences or external configurations. Identifying relevant influences of a CPS as well as modeling dependencies on external influences is difficult. We propose to learn these dependencies with decision trees in combination with clustering. The approach allows to automatically identify relevant influences and receive a data-related explanation of system behavior involving the system's use-case. Our paper presents a case study of our method for a Real-Time Localization System (RTLS) proving the usefulness of our approach, and discusses further applications of a learned decision tree.","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"353 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120880628","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
Modeling Methodology for Autonomous Cyber-Physical Systems 自主信息物理系统建模方法
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-05-01 DOI: 10.1109/CAADCPS56132.2022.00005
A. Pinto
{"title":"Modeling Methodology for Autonomous Cyber-Physical Systems","authors":"A. Pinto","doi":"10.1109/CAADCPS56132.2022.00005","DOIUrl":"https://doi.org/10.1109/CAADCPS56132.2022.00005","url":null,"abstract":"Cyber-Physical Systems (CPS) must be robust against several sources of uncertainty. For high-assurance applications, robustness against uncertainty drives development and ownership costs, as well as size, weight and power. Hazard analysis and requirement generation are critical early-design steps that can help identify cost-effective solutions. As CPS evolve towards more autonomous systems, new sources of uncertainty arise which require complementing current methods with new ones. We present a modeling formalism to support the requirement generation process for autonomous CPS.","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126025598","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}
引用次数: 2
Decentralized Feedback Equilibrium Seeking in Multi-Agent Cyber-Physical Systems 多智能体信息物理系统的分散反馈均衡寻求
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-05-01 DOI: 10.1109/CAADCPS56132.2022.00008
J. Poveda
{"title":"Decentralized Feedback Equilibrium Seeking in Multi-Agent Cyber-Physical Systems","authors":"J. Poveda","doi":"10.1109/CAADCPS56132.2022.00008","DOIUrl":"https://doi.org/10.1109/CAADCPS56132.2022.00008","url":null,"abstract":"Many traditional Nash Equilibrium Seeking methods studied in the literature of discrete-time algorithmic game theory can have zero margins of robustness once they are implemented in decentralized networks with local sample-data structures in the nodes. Here, we apply for the first time the methodology of Pre-Jump Sampling Control to solve this lack of robustness, which can also emerge in Nash equilibrium seeking algorithms implemented in systems with hybrid (continuous and discrete) dynamics. The methodology can also incorporate plant dynamics in the loop to solve steady-state Nash equilibrium seeking problems.","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127798990","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
Mitigating Computational Constraints via Adaptive Control and Resource Allocation Co-design* 基于自适应控制和资源分配协同设计的计算约束缓解方法*
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-05-01 DOI: 10.1109/CAADCPS56132.2022.00011
L. T. Phan, R. Sanfelice
{"title":"Mitigating Computational Constraints via Adaptive Control and Resource Allocation Co-design*","authors":"L. T. Phan, R. Sanfelice","doi":"10.1109/CAADCPS56132.2022.00011","DOIUrl":"https://doi.org/10.1109/CAADCPS56132.2022.00011","url":null,"abstract":"Most engineering systems of today involve physics and computing systems for their operation. These cyber-physical systems (CPS) exchange data of different nature (analog, digital, etc.) and dimension (small data packets, video streams, etc.) between its components [1], [5]. The resources required for the processing of the data and for making decisions change over time. One size fits all type of solutions are not adequate, as they lead to a costly, oversized system that is not necessarily tailored to the application at hand.","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134435202","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
Constructing Symbolic Abstractions From Data Without Model Assumptions 从没有模型假设的数据中构造符号抽象
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-05-01 DOI: 10.1109/CAADCPS56132.2022.00015
Alex Devonport, Adnane Saoud, M. Arcak
{"title":"Constructing Symbolic Abstractions From Data Without Model Assumptions","authors":"Alex Devonport, Adnane Saoud, M. Arcak","doi":"10.1109/CAADCPS56132.2022.00015","DOIUrl":"https://doi.org/10.1109/CAADCPS56132.2022.00015","url":null,"abstract":"Research at the interface between formal methods and control theory has given rise to symbolic control [1], [2], [3], which deals with control of dynamical systems with logic specifications. A key ingredient of symbolic control is a finite abstraction, i.e. a dynamical system with a finite number of states and inputs, also called symbolic model, constructed from the original system. When the concrete and abstract systems are related by a behavioral relation, such as an approximate alternating simulation relation [1], showing that the trajectories of the abstraction mimic the ones of the original system, the discrete controller synthesized for the abstraction can be refined into a hybrid controller for the original system.","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126236735","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
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach 未知多项式型系统的控制器综合:一种数据驱动方法
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-05-01 DOI: 10.1109/caadcps56132.2022.00007
Ameneh Nejati, Bingzhuo Zhong, M. Caccamo, Majid Zamani
{"title":"Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach","authors":"Ameneh Nejati, Bingzhuo Zhong, M. Caccamo, Majid Zamani","doi":"10.1109/caadcps56132.2022.00007","DOIUrl":"https://doi.org/10.1109/caadcps56132.2022.00007","url":null,"abstract":"In the past two decades, formal methods have received significant attentions due to the increasing demand for formal synthesis of controllers over complex dynamical systems and with respect to high-level logic properties, e.g., those expressed as linear temporal logic (LTL) formulae [1]. However, formal controller synthesis over continuous-time continuous-space systems is challenging due to the complexity of dynamics and properties of interest.","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123687654","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
Implementing Optimization-Based Control Tasks in Cyber-Physical Systems With Limited Computing Capacity 在有限计算能力的网络物理系统中实现基于优化的控制任务
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-03-11 DOI: 10.1109/CAADCPS56132.2022.00009
M. Hosseinzadeh, B. Sinopoli, I. Kolmanovsky, Sanjoy Baruah
{"title":"Implementing Optimization-Based Control Tasks in Cyber-Physical Systems With Limited Computing Capacity","authors":"M. Hosseinzadeh, B. Sinopoli, I. Kolmanovsky, Sanjoy Baruah","doi":"10.1109/CAADCPS56132.2022.00009","DOIUrl":"https://doi.org/10.1109/CAADCPS56132.2022.00009","url":null,"abstract":"A common aspect of today's cyber-physical systems is that multiple optimization-based control tasks may execute in a shared processor. Such control tasks make use of online optimization and thus have large execution times; hence, their sampling periods must be large as well to satisfy real-time schedulability condition. However, larger sampling periods may cause worse control performance. The goal of our work is to develop a robust to early termination optimization approach that can be used to effectively solve onboard optimization problems involved in controlling the system despite the presence of unpredictable, variable, and limited computing capacity. The significance of the developed approach is that the optimization iterations can be stopped at any time instant with a guaranteed feasible solution; as a result, optimization-based control tasks can be implemented with a small sampling period (and consequently with a minimum degradation in the control performance).","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126180443","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
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学术官方微信