Abstract
In this paper, we focus on robot motion planning from timed temporal logic specifications. We propose a sampling-based algorithm and an associated language-guided biasing scheme. We leverage the notion of temporal relaxation of time-window temporal logic formulae (TWTL) to reformulate the temporal logic synthesis problem into an optimization problem. Our algorithm exhibits an exploration-exploitation structure, but retains probabilistic completeness. Moreover, if the problem does not have a solution due to time constraints, the algorithm returns a candidate path that satisfies a minimally relaxed version of the specification. The path may inform operators about timing problems with the specification or the system. We provide simulations to highlight the performance of the proposed algorithm.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aksaray, D., Vasile, C.I., Belta, C.: Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints. In: IEEE International Conference on Robotics and Automation. pp. 3141–3146. Stockholm, Sweden (May 2016)
Aydin Gol, E., Lazar, M., Belta, C.: Language-Guided Controller Synthesis for Linear Systems. IEEE Trans. on Automatic Control 59(5), 1163–1176 (2014)
Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22(1-2), 5–27
Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)
Belta, C., Isler, V., Pappas, G.J.: Discrete abstractions for robot planning and control in polygonal environments. IEEE Trans. on Robotics 21(5), 864–874 (2005)
Bhatia, A., Kavraki, L., Vardi, M.: Sampling-based motion planning with temporal goals. In: IEEE International Conference on Robotics and Automation (2010)
Canny, J.F.: The Complexity of Robot Motion Planning. MIT Press, USA (1988)
Chen, Y., Tumova, J., Belta, C.: LTL Robot Motion Control based on Automata Learning of Environmental Dynamics. In: IEEE International Conference on Robotics and Automation. Saint Paul, MN, USA (2012)
Choset, H., Lynch, K., et al.: Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, Boston, MA (2005)
Ding, X.C., Kloetzer, M., et al.: Formal Methods for Automatic Deployment of Robotic Teams. IEEE Robotics and Automation Magazine 18, 75–86 (2011)
Doherty, P., Kvarnström, J., Heintz, F.: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Autonomous Agents and Multi-Agent Systems 19(3), 332–377 (Feb 2009)
Gol, E.A., Belta, C.: Time-Constrained Temporal Logic Control of Multi-Affine Systems. Nonlinear Analysis: Hybrid Systems 10, 21–23 (2013)
Guo, M., Dimarogonas, D.V.: Multi-agent plan reconfiguration under local LTL specifications. International Journal of Robotics Research 34(2), 218–235 (2015)
Jha, S.K., Clarke, E.M., et al.: A bayesian approach to model checking biological systems. In: Computational Methods in Systems Biology. Springer-Verlag (2009)
Karaman, S., Frazzoli, E.: Sampling-based Motion Planning with Deterministic \(\mu \)-Calculus Specifications. In: IEEE Conference on Decision and Control (2009)
Karaman, S., Frazzoli, E.: Sampling-based Algorithms for Optimal Motion Planning. International Journal of Robotics Research 30(7), 846–894 (June 2011)
Karaman, S., Frazzoli, E.: Sampling-based Optimal Motion Planning with Deterministic \(\mu \)-Calculus Specifications. In: American Control Conference (2012)
Kavraki, L., Svestka, P., et al.: Probabilistic roadmaps for path planning in highdimensional configuration spaces. IEEE Transactions on Robotics and Automation 12(4), 566–580 (1996)
Koymans, R.: Specifying real-time properties with metric temporal logic. Realtime systems 2(4), 255–299 (1990)
Kress-Gazit, H., Fainekos, G.E., Pappas, G.J.:Where’s Waldo? Sensor-based temporal logic motion planning. In: IEEE International Conference on Robotics and Automation. pp. 3116–3121 (2007)
Lahijanian, M., Almagor, S., et al.: This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. In: AAAI Conference on Artificial Intelligence. pp. 3664–3671. Austin, Texas (2015)
LaValle, S.M., Kuffner, J.J.: Randomized Kinodynamic Planning. International Journal of Robotics Research 20(5), 378–400
Luo, R., Valenzano, R.A., et al.: Using Metric Temporal Logic to Specify Scheduling Problems. In: Principles of Knowledge Representation and Reasoning (2016)
Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp. 152–166. Springer (2004)
Maly, M., Lahijanian, M., et al.: Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments. In: Int. Conference on Hybrid Systems: Computation and Control (2013)
Nakagawa, S., Hasuo, I.: Near-Optimal Scheduling for LTL with Future Discounting. In: Ganty, P., Loreti, M. (eds.) Trustworthy Global Computing, pp. 112–130. No. 9533 in Lecture Notes in Computer Science, Springer (2015)
Pavone, M., Bisnik, N., et al.: A stochastic and dynamic vehicle routing problem with time windows and customer impatience. Mobile Networks and Applications 14(3), 350–364 (2009)
Plaku, E., Kavraki, L.E., Vardi, M.Y.: Motion Planning with Dynamics by a Synergistic Combination of Layers of Planning. IEEE Trans. on Robotics 26(3), 469–482 (2010)
Reyes Castro, L., Chaudhari, P., et al.: Incremental sampling-based algorithm for minimum-violation motion planning. In: IEEE Conference on Decision and Control. pp. 3217–3224 (2013)
Solomon, M.M.: Algorithms for the vehicle routing and scheduling problems with time window constraints. Operations research 35(2), 254–265 (1987)
Tkachev, I., Abate, A.: Formula-free Finite Abstractions for Linear Temporal Verification of Stochastic Hybrid Systems. In: Int. Conference on Hybrid Systems: Computation and Control. Philadelphia, PA (2013)
Tumova, J., Marzinotto, A., et al.: Maximally satisfying LTL action planning. In: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems. pp. 1503–1510 (2014)
Tumova, J., Hall, G.C., et al.: Least-violating Control Strategy Synthesis with Safety Rules. In: Hybrid Systems: Computation and Control. pp. 1–10 (2013)
Vasile, C., Belta, C.: Sampling-Based Temporal Logic Path Planning. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (2013)
Vasile, C.I., Aksaray, D., Belta, C.: Time Window Temporal Logic. Theoretical Computer Science p. (submitted), http://arxiv.org/abs/1602.04294
Vasile, C.I., Belta, C.: An Automata-Theoretic Approach to the Vehicle Routing Problem. In: Robotics: Science and Systems Conference. USA (2014)
Wolff, E.M., Topcu, U., Murray, R.M.: Automaton-guided controller synthesis for nonlinear systems with temporal logic. In: IEEE/RSJ International Conference on Intelligent Robots and Systems. pp. 4332–4339 (2013)
Wongpiromsarn, T., Topcu, U., Murray, R.M.: Receding Horizon Temporal Logic Planning for Dynamical Systems. In: Conference on Decision and Control (2009)
Yoo, C., Fitch, R., Sukkarieh, S.: Probabilistic temporal logic for motion planning with resource threshold constraints (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Penedo, F., Vasile, CI., Belta, C. (2020). Language-Guided Sampling-based Planning using Temporal Relaxation. In: Goldberg, K., Abbeel, P., Bekris, K., Miller, L. (eds) Algorithmic Foundations of Robotics XII. Springer Proceedings in Advanced Robotics, vol 13. Springer, Cham. https://doi.org/10.1007/978-3-030-43089-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-43089-4_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-43088-7
Online ISBN: 978-3-030-43089-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)