ZONOTOPE

作品数：8被引量：12H指数：2
导出分析报告
相关作者：杨旭沈鹏刘秉政曹凯李晓航更多>>
相关机构：山东理工大学上海工程技术大学更多>>
相关期刊：《Engineering》《重庆邮电大学学报（自然科学版）》《Journal of Systems Engineering and Electronics》《Science China(Technological Sciences)》更多>>
相关基金：国家自然科学基金上海市教育委员会重点学科基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 作者=杨旭x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
车辆自主决策安全性验证方法被引量：2
《科学技术与工程》2019年第21期363-369,共7页奉柳 沈鹏 杨旭 刘秉政 曹凯 
国家自然科学基金(61573009)资助
针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态的可行性,并给出车辆自主决策的行为状态完备性集合。采用有向凸多面体算法对自主车辆非线性混合系统进行...
关键词：车辆自主决策 安全验证 ZONOTOPE 可达集 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部