It is hard to find the global optimum of general nonlinear and nonconvex optimization problems in a reasonable time. This article presents method transfer receding horizon control approach, where nonlinear, are considered, into graph-search problems. Specifically, systems with symmetries considered system dynamics finite-state automaton. In contrast traditional approaches search continues until...

This work considers online optimal motion planning of an autonomous agent subject to linear temporal logic (LTL) constraints. The environment is dynamic in the sense containing mobile obstacles and time-varying areas interest (i.e., reward workspace properties) be visited by agent. Since user-specified tasks may not fully realized partially infeasible), this hard soft LTL constraints, where con...

This article copes with signal source localization by employing a receding horizon control approach temporal logic planning in the light of single mobile robot. First, is proposed such that task requirements from specifications can be effectively dealt based on product automaton an offline fashion. Second, order to label key nodes automaton, particle filter utilized predict positions as nodes. ...