Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
| Autoři | |
|---|---|
| Rok publikování | 2012 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of the 51st IEEE Conference on Decision and Control |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6426041 |
| Doi | https://doi.org/10.1109/CDC.2012.6426041 |
| Obor | Informatika |
| Klíčová slova | receding horizon planning; formal methods; control strategy synthesis; linear temporal logic; optimal planning |
| Popis | Our goal in this paper is to plan the motion of a robot in a partitioned environment with dynamically changing, locally sensed rewards. The robot aims to accomplish a highlevel temporal logic surveillance mission and to locally optimize the collection of the rewards in the visited regions. These two objectives often conflict and only a compromise between them can be reached. We address this issue by taking into consideration a user-defined preference function that captures the trade-off between the importance of collecting high rewards and the importance of making progress towards a surveyed region. Our solution leverages ideas from the automata-based approach to model checking. We demonstrate the utilization of the suggested framework in an illustrative example. |
| Související projekty: |
|