摘要
动态环境下移动机器人的最优策略解决方法包括如下步骤:首先,根据机器人的运行环境,构建改进‑加权切换系统,根据任务需求,利用线性时序逻辑(LTL)将任务需求数学表达化,利用LTL2BA工具包将LTL任务公式转化为Büchi自动机;然后将2者进行笛卡尔乘积,得到Product自动机,包含了任务需求和环境信息;将可行性网络拓扑图上的无用点去除,再根据双标签和行为约束准则,进一步判断状态点的可用性,进而简化状态点的数量。将剩余的点构建成MDP模型,利用策略迭代的方法得出最优策略。本发明不仅解决了不存在DRA的情况,还使得可用点数量的减少,构建的MDP复杂度下降,可以更快速的得到最优策略。