×
达姆，沃纳;汉斯·约格·彼得;詹·拉科夫;伯恩德·韦斯特法尔

我们能否建立它：合作驾驶员辅助系统控制策略的形式化综合。 （英语） Zbl 1269.93067号

数学。结构。计算。科学。 23，第4期，676-725（2013）.
总结：我们提出了一种设计和验证方法，支持合作驾驶员辅助系统系统设计的早期阶段，重点关注新汽车功能的可实现性。具体来说，我们关注的是通过安全策略支持驾驶员完成复杂驾驶任务的应用，安全策略涉及多辆车的协调运动，以成功完成驾驶任务。我们提出了一种分而治之的方法，用于根据一组给定汽车操纵和通信能力的形式规范，正式验证成功完成驾驶任务和碰撞自由的定时概率要求。特别是，这可以评估它们是否足以实施成功完成驾驶任务的策略。

引用于1文件

MSC公司：

93C85号 控制理论中的自动化系统（机器人等）
2005年第68季度 计算模型（图灵机等）（MSC2010）
60年第68季度 规范和验证（程序逻辑、模型检查等）
91A05型 2人游戏

关键词：

控制策略;通信能力;多辆车的移动;合作驾驶员辅助系统;新的汽车功能

软件：

LinAIG公司
PDF格式BibTeX公司 XML格式引用
\textit｛W.Damm｝等人，数学。结构。计算。科学。23，第4号，676--725（2013；Zbl 1269.93067）
全文： 内政部

参考文献：

[1] 内政部：10.1007/11867340_1·Zbl 1142.68049号 ·doi:10.1007/11867340_1
[2] DOI:10.1007/BFb0014720·doi:10.1007/BFb0014720
[3] IEEE自动控制汇刊43第225页–（1996）
[4] 计算的形式方面6 pp 102–（1994）
[5] 数字对象标识码：10.1007/978-3-642-16111-7_10·doi:10.1007/978-3-642-16111-7_10
[6] 内政部：10.1007/978-3-540-75596-8_30·Zbl 1141.68461号 ·数字对象标识代码：10.1007/978-3-540-75596-8_30
[7] 内政部：10.1007/978-3-540-69738-1_13·Zbl 1132.68484号 ·doi:10.1007/978-3-540-69738-1_13
[8] 内政部：10.1007/11901914_22·Zbl 1161.68562号 ·doi:10.1007/11901914_22
[9] Springer-Verlag计算机科学讲稿1273 pp 378–（1996）
[10] 内政部：10.1007/11901914_22·Zbl 1161.68562号 ·doi:10.1007/11901914_22
[11] 内政部：10.1007/BFb0015088·doi:10.1007/BFb0015088
[12] 第14届混合动力系统国际会议论文集：计算与控制：HSCC’11 pp 73–（2011）
[13] 内政部：10.1007/3-540-64358-3_51·doi:10.1007/3-540-64358-3_51
[14] DOI:10.1007/978-3-642-13754-9_6·Zbl 1288.68162号 ·doi:10.1007/978-3642-13754-96
[15] 内政部：10.1007/978-3-540-75596-8_5·Zbl 1141.68450号 ·doi:10.1007/978-3-540-75596-85
[16] DOI:10.1023/B:DISC.000018571.14789.24·Zbl 1060.93070号 ·doi:10.1023/B:DISC.00000018571.14789.24文件
[17] 第六届并行应用于系统设计国际会议论文集：ACSD 2006第189页–（2006）
[18] DOI:10.1016/S0967-0661（97）10013-2·doi:10.1016/S0967-0661（97）10013-2
[19] 内政部：10.1007/978-3-540-75596-8_33·Zbl 1141.68491号 ·doi:10.1007/978-3-540-75596-8_33
[20] 内政部：10.1007/3-540-60692-0_70·Zbl 1354.68167号 ·doi:10.1007/3-540-60692-0_70
[21] DOI:10.1007/s10009-004-0179-0·doi:10.1007/s10009-004-0179-0
[22] DOI:10.1016/j.connengprac.2005.03.010·doi:10.1016/j.connengprac.2005.03.010
[23] 内政部：10.1145/585265.585270·Zbl 1326.68181号 ·doi:10.1145/585265.585270
[24] Springer-Verlag计算机科学讲稿736 pp 209–（1992）
[25] 智能车辆研讨会第728页–（2007年）
[26] 2008年智能车辆研讨会，第1125页–（2008）
[27] 数字对象标识码：10.1007/s10009-007-0062-x·数字对象标识代码：10.1007/s10009-007-0062-x
[28] 内政部：10.1007/11867340_15·Zbl 1141.68434号 ·doi:10.1007/11867340_15
[29] 内政部：10.1007/978-3-540-31954-2_17·doi:10.1007/978-3-540-31954-2_17
[30] 内政部：10.1007/978-3-642-19835-9_25·Zbl 1316.68073号 ·doi:10.1007/978-3-642-19835-9_25
[31] 内政部：10.1007/978-3-642-14295-6_33·doi:10.1007/978-3-642-14295-633
[32] 计算机编程科学，关键系统自动验证专刊77 pp 1122–（2011）
[33] 内政部：10.1007/3-540-64358-3_45·doi:10.1007/3-540-64358-345
[34] 高可信度运输网络物理系统新研究方向全国研讨会（2008年）
[35] 内政部：10.1007/3-540-45351-2_24·doi:10.1007/3-540-45351-2_24
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。