arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2011.02135cs.RO
收藏

规划到编年史

Planning to Chronicle

University of South Carolina(南卡罗来纳大学)

Hazhar Rahmani, Dylan A. Shell, Jason M. O'Kane

摘要:

一类重要的应用需要机器人监控,仔细检查或记录不确定的时间延长过程的演变。这种情况导致了一个有趣的规划问题家族,其中机器人在它所看到的方面受到限制,因此必须选择关注什么。这种设置的显著特点是,机器人可以通过传感器影响它捕获的内容,但对进化过程没有因果关系。因此,机器人的目标是观察潜在的过程,并产生一个'编年史'的发生的事件,受目标规范的各种事件序列,可能是感兴趣的。本文探讨了这些问题的变种时,机器人的目的是收集的意见,以满足其顺序结构丰富的规格。我们研究这一类的问题,通过一个隐马尔可夫模型的变体建模的随机过程,并指定感兴趣的事件序列作为一个正则语言,开发一个词汇表的“变应子”,使复杂的要求来表达。根据不同的假设收集的信息马尔可夫模型,我们制定和解决不同的规划问题。其核心思想是在事件模型和规范自动机之间构造一个产品。本文报告和比较性能指标,借鉴一些小的案例研究,深入分析模拟。

英文摘要:

An important class of applications entails a robot monitoring, scrutinizing, or recording the evolution of an uncertain time-extended process. This sort of situation leads an interesting family of planning problems in which the robot is limited in what it sees and must, thus, choose what to pay attention to. The distinguishing characteristic of this setting is that the robot has influence over what it captures via its sensors, but exercises no causal authority over the evolving process. As such, the robot's objective is to observe the underlying process and to produce a `chronicle' of occurrent events, subject to a goal specification of the sorts of event sequences that may be of interest. This paper examines variants of such problems when the robot aims to collect sets of observations to meet a rich specification of their sequential structure. We study this class of problems by modeling a stochastic process via a variant of a hidden Markov model, and specify the event sequences of interest as a regular language, developing a vocabulary of `mutators' that enable sophisticated requirements to be expressed. Under different suppositions about the information gleaned about the Markov model, we formulate and solve different planning problems. The core underlying idea is the construction of a product between the event model and a specification automaton. The paper reports and compares performance metrics by drawing on some small case studies analyzed in depth in simulation.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑