可达集

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统仿真学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
自主车辆动态冲突控制可达集建模方法被引量：8
《系统仿真学报》2017年第8期1658-1666,共9页曹凯 刘秀芳 杨旭 沈鹏 
国家自然科学基金(61573009);山东省自然科学基金(ZR2010FM007)
针对自主车辆主动安全控制建模问题,提出采用形式化建模与动态非合作博弈论相结合方法,研究多自主车辆动态冲突条件下轨迹追踪和碰撞躲避的控制策略。提出将系统控制划分为:轨迹追踪、碰撞躲避以及追踪与躲避切换的三种模式。考虑到自...
关键词：混成系统 碰撞躲避 主动安全控制 模式切换 轨迹追踪 
自主车辆避障安全路径的可达集建模被引量：14
《系统仿真学报》2016年第3期526-533,共8页曹凯 黄肖肖 于云 刘春 
国家自然科学基金资助项目(61573009);山东省自然科学基金(ZR2010FM007)
针对传统的路径规划算法在车辆不确定行为状态方面存在的问题,提出将运动车辆视为在连续和离散模式间动态切换的混合系统,采用单一安全目标位置建模车辆避障最优轨迹,并基于多目标轨迹束建立安全状态可达集的建模方法。借此分析了车辆...
关键词：安全路径 道路交通 混合系统 可达集 轨迹规划 
混合系统的形式验证方法被引量：16
《系统仿真学报》2006年第10期2921-2924,2928,共5页方敏 张雅顺 李辉 
在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介绍了验证工具Check...
关键词：混合系统 形式验证 过近似 可达集 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部