- MM自主系统的时间规划通过区间逻辑可满足性
自动规划中的时间规划、规划图表、并发关系和可扩展性的研究。
- 通过顺序宏操作增强时间规划领域(扩展版)
我们提出了一种通用的顺序时态宏操作概念,在时态计划与共享资源上的并发执行下,保证所获得的计划的适用性,并在多个实验中显示了满意的计划质量的改善。
- 基于优先级偏好的概率化时态逻辑规划
本文利用标记的马尔可夫决策过程研究在有多个时间目标的用户偏好下的概率环境中的时间规划。提出了一种新的优先定性选择线性时间逻辑的规范语言,通过对有限的轨迹进行优先排序的连接和有序分离,使得可以简洁地指定每个时间任务的相应优先级。利用该计算模型 - 一种高效的简单增量式时间网络数据结构用于时间规划
本文研究了在时间规划中简单时序网络(STN)解算器的使用方法,并提出了一种高效的内存数据结构 ——delta STN 来支持此应用案例;实验证明 delta STN 优于其他现有的方法。
- 基于分层时间规划的动态起重调度问题方法
本文提出了一种基于 PDDL 的新式分层周期计划方法,用于高效解决电镀工业应用中的起重机调度问题,并且提供了一系列用于评估问题解决方法的现实基准实例。我们表明,与最先进的基线相比,所提出的方法能够高效地找到大规模实际基准实例的高质量解决方案 - 具有时态目标部分有序偏好的概率规划
本文研究了具有对时间目标的偏好的随机系统规划,并引入了一种特殊类型的有限状态自动机,它被称为 “喜好自动机”。作者将该自动机转化为被用于概率规划的策略偏好,建立了多目标马尔可夫决策过程并证明了其有效性。
- 规划与学习:自主车辆路径规划方法综述
该论文综述了目前与规划、调度和学习相关的最新研究,介绍了规划算法、神经网络、图神经网络、强化学习算法、基于神经网络的路径规划的成功方法,以及带不确定性的时间规划问题。
- 不完备知识与感知信息下的时态规划
本文提出了一种结合 PDDL 的新型规划方法,考虑了不完整知识、感知、时间和数字限制条件,并在新的一组规划领域上评估了我们的求解器。
- 时态规划的形式语义与形式验证
该研究在交互式定理证明器 Isabelle/HOL 中,提出了一种简单而简洁的时间规划语义,并基于该语义推导了验证算法。通过正式证明,该验证算法实现了时间规划语义,并进行了实验评估,证明其实用性。
- SHOP2: 一种 HTN 规划系统
SHOP2 规划系统在 2002 年国际规划竞赛中获得杰出表现奖。本文介绍了 SHOP2 的特点,特别是处理时间和指标规划领域的方面。