Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle

监督人 计算机科学 形式验证 弹道 抽象 模型检查 规划师 全球定位系统 模式(计算机接口) 控制工程 形式化方法 机器人 模拟 工程类 软件工程 人机交互 人工智能 程序设计语言 物理 政治学 认识论 哲学 法学 电信 天文
作者
Jonas Krook,Lars E.O. Svensson,Yuchao Li,Lei Feng,Martin Fabian
标识
DOI:10.1109/icra.2019.8793636
摘要

Autonomous vehicles apply pertinent planning and control algorithms under different driving conditions. The mode switch between these algorithms should also be autonomous. On top of the nominal planners, a safe fallback routine is needed to stop the vehicle at a safe position if nominal operational conditions are violated, such as for a system failure. This paper describes the design and formal verification of a supervisor to manage all requirements for mode switching between nominal planners, and additional requirements for switching to a safe stop trajectory planner that acts as the fallback routine. The supervisor is designed via a model-based approach and its abstraction is formally verified by model checking. The supervisor is implemented and integrated with the Research Concept Vehicle, an experimental research and demonstration vehicle developed at the KTH Royal Institute of Technology. Simulations and experiments show that the vehicle is able to autonomously drive in a safe manner between two parking lots and can successfully come to a safe stop upon GPS sensor failure.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
科研通AI5应助唠叨的严青采纳,获得10
刚刚
威武皮带完成签到,获得积分10
2秒前
11发布了新的文献求助10
4秒前
Rondab应助马旭辉采纳,获得10
5秒前
辰昜完成签到 ,获得积分10
8秒前
11秒前
桐桐应助11采纳,获得10
12秒前
阿纯完成签到,获得积分10
13秒前
南方姑娘完成签到,获得积分10
13秒前
李爱国应助何征结采纳,获得10
14秒前
不安静白完成签到 ,获得积分20
17秒前
wanci应助科研通管家采纳,获得10
17秒前
李健应助科研通管家采纳,获得10
17秒前
天天快乐应助科研通管家采纳,获得10
17秒前
香蕉觅云应助科研通管家采纳,获得10
17秒前
深情安青应助科研通管家采纳,获得10
17秒前
Lc应助科研通管家采纳,获得10
17秒前
Lc应助科研通管家采纳,获得10
17秒前
完美世界应助科研通管家采纳,获得10
18秒前
Owen应助nananan采纳,获得10
18秒前
脑洞疼应助科研通管家采纳,获得10
18秒前
18秒前
18秒前
18秒前
19秒前
19秒前
万能图书馆应助霜之哀伤采纳,获得30
20秒前
Rondab应助Francois采纳,获得10
21秒前
马旭辉完成签到,获得积分20
21秒前
23秒前
23秒前
lzm发布了新的文献求助10
26秒前
活泼水桃发布了新的文献求助20
26秒前
科研达人发布了新的文献求助10
28秒前
12321234完成签到,获得积分10
28秒前
英俊的铭应助霜之哀伤采纳,获得10
29秒前
29秒前
文刀完成签到,获得积分10
29秒前
garrick发布了新的文献求助10
29秒前
30秒前
高分求助中
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
A new approach to the extrapolation of accelerated life test data 1000
Indomethacinのヒトにおける経皮吸収 400
基于可调谐半导体激光吸收光谱技术泄漏气体检测系统的研究 370
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
Robot-supported joining of reinforcement textiles with one-sided sewing heads 320
Aktuelle Entwicklungen in der linguistischen Forschung 300
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3993004
求助须知:如何正确求助?哪些是违规求助? 3533831
关于积分的说明 11263946
捐赠科研通 3273597
什么是DOI,文献DOI怎么找? 1806129
邀请新用户注册赠送积分活动 882968
科研通“疑难数据库(出版商)”最低求助积分说明 809629