Robust MITL planning under uncertain navigation times (2403.03727v1)
Abstract: In environments like offices, the duration of a robot's navigation between two locations may vary over time. For instance, reaching a kitchen may take more time during lunchtime since the corridors are crowded with people heading the same way. In this work, we address the problem of routing in such environments with tasks expressed in Metric Interval Temporal Logic (MITL) - a rich robot task specification language that allows us to capture explicit time requirements. Our objective is to find a strategy that maximizes the temporal robustness of the robot's MITL task. As the first step towards a solution, we define a Mixed-integer linear programming approach to solving the task planning problem over a Varying Weighted Transition System, where navigation durations are deterministic but vary depending on the time of day. Then, we apply this planner to optimize for MITL temporal robustness in Markov Decision Processes, where the navigation durations between physical locations are uncertain, but the time-dependent distribution over possible delays is known. Finally, we develop a receding horizon planner for Markov Decision Processes that preserves guarantees over MITL temporal robustness. We show the scalability of our planning algorithms in simulations of robotic tasks.
- R. Koymans, “Specifying real-time properties with metric temporal logic,” Real-time systems, vol. 2, no. 4, pp. 255–299, 1990.
- G. Fainekos, H. Kress-Gazit, and G. Pappas, “Temporal logic motion planning for mobile robots,” in Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005, pp. 2020–2025.
- H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, “Temporal-logic-based reactive mission and motion planning,” IEEE Transactions on Robotics, vol. 25, no. 6, pp. 1370–1381, 2009.
- M. Lahijanian, S. B. Andersson, and C. Belta, “Temporal logic motion planning and control with probabilistic satisfaction guarantees,” IEEE Transactions on Robotics, vol. 28, no. 2, pp. 396–409, 2012.
- V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia, “Model predictive control with signal temporal logic specifications,” in 53rd IEEE Conference on Decision and Control, 2014, pp. 81–87.
- C.-I. Vasile, J. Tumova, S. Karaman, C. Belta, and D. Rus, “Minimum-violation scltl motion planning for mobility-on-demand,” in 2017 IEEE International Conference on Robotics and Automation (ICRA). IEEE, 2017, pp. 1481–1488.
- K. Liang and C.-I. Vasile, “Fair planning for mobility-on-demand with temporal logic requests,” in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, 2022, pp. 1283–1289.
- G. A. Cardona, D. Saldaña, and C.-I. Vasile, “Planning for modular aerial robotic tools with temporal logic constraints,” in 2022 IEEE 61st Conference on Decision and Control (CDC). IEEE, 2022, pp. 2878–2883.
- A. Rodionova, L. Lindemann, M. Morari, and G. Pappas, “Temporal robustness of temporal logic specifications: Analysis and control design,” ACM Transactions on Embedded Computing Systems, vol. 22, no. 1, pp. 1–44, 2022.
- V. Kurtz and H. Lin, “A more scalable mixed-integer encoding for metric temporal logic,” IEEE Control Systems Letters, vol. 6, pp. 1718–1723, 2021.
- J. Tumova, S. Karaman, C. Belta, and D. Rus, “Least-violating planning in road networks from temporal logic specifications,” in 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 2016, pp. 1–9.
- A. Donzé and O. Maler, “Robust satisfaction of temporal logic over real-valued signals,” in Proceedings of the International Conference on Formal Modeling and Analysis of Timed Systems, 2010.
- L. Gurobi Optimization, “Gurobi optimizer reference manual,” 2020. [Online]. Available: http://www.gurobi.com
- R. Alami, A. Clodic, V. Montreuil, E. A. Sisbot, and R. Chatila, “Toward human-aware robot task planning.” in AAAI spring symposium: to boldly go where no human-robot team has gone before, 2006, pp. 39–46.
- M. Patel and S. Chernova, “Proactive robot assistance via spatio-temporal object modeling,” arXiv preprint arXiv:2211.15501, 2022.
- Alexis Linard (5 papers)
- Anna Gautier (2 papers)
- Daniel Duberg (6 papers)
- Jana Tumova (40 papers)