可达集

作品数:91被引量:154H指数:8
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:邢育红阮久宏曹凯杨旭沈鹏更多>>
相关机构:北京理工大学山东理工大学空军工程大学山东交通学院更多>>
相关期刊:更多>>
相关基金:国家自然科学基金中国航空科学基金山东省自然科学基金国家重点基础研究发展计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=科学技术与工程x
条 记 录,以下是1-3
视图:
排序:
车辆自主决策安全性验证方法被引量:2
《科学技术与工程》2019年第21期363-369,共7页奉柳 沈鹏 杨旭 刘秉政 曹凯 
国家自然科学基金(61573009)资助
针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态的可行性,并给出车辆自主决策的行为状态完备性集合。采用有向凸多面体算法对自主车辆非线性混合系统进行...
关键词:车辆自主决策 安全验证 ZONOTOPE 可达集 
多目标环境下车辆自主决策可达集分析被引量:2
《科学技术与工程》2019年第1期293-300,共8页杨旭 曹凯 刘秉政 沈鹏 奉柳 
国家自然科学基金(61573009);山东省自然科学基金(ZR2018BF024)资助
由于自主车辆具有离散控制和连续行为混成以及不可避免的系统偏差的特点,使传统验证方法无法遍历所有不确定的系统输入和运行状态,因而自主车辆安全决策的置信水平较低。为此,提出以车道边界作为约束条件的多目标约束的可达集建模方法,...
关键词:智能交通 安全性验证 可达集 自主车辆 混合系统 
基于可达集的车辆躲避策略及安全性验证被引量:7
《科学技术与工程》2018年第20期358-364,共7页杨旭 曹凯 刘秀芳 沈鹏 乔义义 
国家自然科学基金(61573009)资助
针对目前传统算法在安全性验证中置信水平较低的问题,将自主车辆在道路上的行为视为混合系统,提出以道路边界为约束条件的安全区域可达集建模方法。在此基础上建立安全等级评判标准,给出自主车辆道路行为的哈密顿雅可比方程;提出自主车...
关键词:安全性验证 混合系统 安全等级 可达集 哈密顿雅可比方程 
检索报告 对象比较 聚类工具 使用帮助 返回顶部