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

ARCH@CPSWeek最新文献

筛选
英文 中文
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability 基于可达性的网络卡车排安全控制优化
ARCH@CPSWeek Pub Date : 2015-12-17 DOI: 10.29007/kxk7
Ibtissem Ben Makhlouf, S. Kowalewski
{"title":"Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability","authors":"Ibtissem Ben Makhlouf, S. Kowalewski","doi":"10.29007/kxk7","DOIUrl":"https://doi.org/10.29007/kxk7","url":null,"abstract":"The problem of conceiving a controller for networked systems is a challenging task because of the complex interaction of its different components with each other and also with the environment around them. The design process becomes more difficult if large-scaled systems are involved. We propose reachability analysis of continuous systems to guarantee control requirements which because of the complexity of the problem could not be taken into account during the control design. As example we suggest a large-scalable platoon of trucks. We use our own support function implementation to assess the performances of the obtained controlled platoon and then decide about the best performing controller.","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129844330","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}
引用次数: 4
Benchmark: Quadrotor Attitude Control 基准:四旋翼姿态控制
ARCH@CPSWeek Pub Date : 2015-12-17 DOI: 10.29007/dc68
A. E. C. D. Cunha
{"title":"Benchmark: Quadrotor Attitude Control","authors":"A. E. C. D. Cunha","doi":"10.29007/dc68","DOIUrl":"https://doi.org/10.29007/dc68","url":null,"abstract":"","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125928687","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}
引用次数: 13
Benchmark Generator for Stratified Controllers of Tank Networks 油罐网络分层控制器基准发生器
ARCH@CPSWeek Pub Date : 2015-12-17 DOI: 10.29007/2ljt
Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson
{"title":"Benchmark Generator for Stratified Controllers of Tank Networks","authors":"Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson","doi":"10.29007/2ljt","DOIUrl":"https://doi.org/10.29007/2ljt","url":null,"abstract":"","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121898855","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
Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery 基准问题:麻醉输送的PK/PD模型和安全约束
ARCH@CPSWeek Pub Date : 1900-01-01 DOI: 10.29007/8drm
V. Gan, G. Dumont, Ian M. Mitchell
{"title":"Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery","authors":"V. Gan, G. Dumont, Ian M. Mitchell","doi":"10.29007/8drm","DOIUrl":"https://doi.org/10.29007/8drm","url":null,"abstract":"Hypnosis, or depth of unconsciousness, is one of the goals of general anesthesia. In this brief paper we provide a differential equation model of how propofol, a commonly used intravenous anesthetic drug, leads to hypnosis. The model has two components: the pharmacokinetics (PK) describing how the drug is metabolized by the body, and the pharmacodynamics (PD) describing how the drug effects the depth of hypnosis. This standard PK/PD model is a compartmental model, and is linear except for an internal time delay and a nonlinear output mapping. We discuss how this model can be simplified and/or complexified so as to take best advantage of the capabilities of a particular analysis method. One goal of developing such a model is to ensure patient safety during surgery, so we describe an example safety verification problem. Finally, in order to demonstrate that this benchmark is operational, we provide code to simulate one version of the system. Category: academic. Difficulty: medium","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129651440","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}
引用次数: 18
Benchmark: Reachability on a model with holes 基准测试:有漏洞的模型的可达性
ARCH@CPSWeek Pub Date : 1900-01-01 DOI: 10.29007/cv59
Thomas Heinz, Jens Oehlerking, M. Woehrle
{"title":"Benchmark: Reachability on a model with holes","authors":"Thomas Heinz, Jens Oehlerking, M. Woehrle","doi":"10.29007/cv59","DOIUrl":"https://doi.org/10.29007/cv59","url":null,"abstract":"","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114154975","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}
引用次数: 6
Running SpaceEx on the ARCH14 Benchmarks 在ARCH14基准上运行SpaceEx
ARCH@CPSWeek Pub Date : 1900-01-01 DOI: 10.29007/m1cd
Stefano Minopoli, Goran Frehse
{"title":"Running SpaceEx on the ARCH14 Benchmarks","authors":"Stefano Minopoli, Goran Frehse","doi":"10.29007/m1cd","DOIUrl":"https://doi.org/10.29007/m1cd","url":null,"abstract":"In this paper, we present experimental results from running SpaceEx on some of the benchmarks of the ARCH14 workshop. Some of the SpaceEx models were obtained from Matlab/Simulink models with the help of a new translation tool. While some benchmarks could be handled to our satisfaction, several still pose significant challenges. We discuss possible alternatives for handling the problematic cases.","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128811375","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
Benchmarks for Temporal Logic Requirements for Automotive Systems 汽车系统时间逻辑需求基准
ARCH@CPSWeek Pub Date : 1900-01-01 DOI: 10.29007/xwrs
Bardh Hoxha, Houssam Abbas, Georgios Fainekos
{"title":"Benchmarks for Temporal Logic Requirements for Automotive Systems","authors":"Bardh Hoxha, Houssam Abbas, Georgios Fainekos","doi":"10.29007/xwrs","DOIUrl":"https://doi.org/10.29007/xwrs","url":null,"abstract":"We propose to standardize two Matlab/Simulink models of automotive systems as benchmark problems for hybrid system verification. Bothmodels can be simulated quickly, making them ideal for testing-based verification methods that require a significant number of system output trajectories. One of the benchmarks is the Automatic Transmission model, which is deterministic. The other benchmark is the Fault-Tolerant Fuel Control System, which exhibits stochastic behavior. Our benchmark standardization defines a number of Metric Temporal Logic requirements that must be satisfied by the models.","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116526504","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}
引用次数: 96
SMT-Based CPS Parameter Synthesis 基于smt的CPS参数综合
ARCH@CPSWeek Pub Date : 1900-01-01 DOI: 10.29007/msr8
Heinz Riener, Robert Könighofer, G. Fey, R. Bloem
{"title":"SMT-Based CPS Parameter Synthesis","authors":"Heinz Riener, Robert Könighofer, G. Fey, R. Bloem","doi":"10.29007/msr8","DOIUrl":"https://doi.org/10.29007/msr8","url":null,"abstract":"","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129439662","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}
引用次数: 6
Implementation of Interval Arithmetic in CORA 2016 区间算法在CORA 2016中的实现
ARCH@CPSWeek Pub Date : 1900-01-01 DOI: 10.29007/w19b
M. Althoff, D. Grebenyuk
{"title":"Implementation of Interval Arithmetic in CORA 2016","authors":"M. Althoff, D. Grebenyuk","doi":"10.29007/w19b","DOIUrl":"https://doi.org/10.29007/w19b","url":null,"abstract":"","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131413222","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}
引用次数: 59
Motor-Transmission Drive System: a Benchmark Example for Safety Verification 电机传动驱动系统:安全验证的基准示例
ARCH@CPSWeek Pub Date : 1900-01-01 DOI: 10.29007/ct87
Hongxu Chen, S. Mitra, Guangyu Tian
{"title":"Motor-Transmission Drive System: a Benchmark Example for Safety Verification","authors":"Hongxu Chen, S. Mitra, Guangyu Tian","doi":"10.29007/ct87","DOIUrl":"https://doi.org/10.29007/ct87","url":null,"abstract":"","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"500 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132795249","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信