• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the Twenty-Third International conference on Automated planning and Scheduling >Incremental Dynamic Controllability Revisited
【24h】

Incremental Dynamic Controllability Revisited

机译：再论增量动态可控性

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Simple Temporal Networks with Uncertainty (STNUs) allow the representation of temporal problems where some durations are determined by nature, as is often the case for actions in planning. As such networks are generated it is essential to verify that they are dynamically controllable - executable regardless of the outcomes of uncontrollable durations - and to convert them to a dispatchable form. The previously published FastlDC algorithm achieves this incrementally and can therefore be used efficiently during plan construction. In this paper we show that FastlDC is not sound when new constraints are added, sometimes labeling networks as dynamically controllable when they are not. We analyze the algorithm, pinpoint the cause, and show how the algorithm can be modified to correctly detect uncontrollable networks.
机译：具有不确定性的简单时间网络（STNU）允许表示时间问题，其中某些持续时间是由自然决定的，这通常是计划中的动作所致。生成此类网络后，至关重要的是要验证它们是动态可控的-不管持续时间不受控制的结果如何均可执行-并将其转换为可调度的形式。先前发布的FastlDC算法可以逐步实现此目的，因此可以在计划构建过程中有效使用。在本文中，我们表明，当添加新的约束时，FastlDC不会发出声音，有时将它们标记为动态可控，而在某些情况下则不会。我们分析了算法，查明了原因，并展示了如何修改算法以正确检测不可控制的网络。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号