Representing Robot Task Plans as Robust Logical-Dynamical Systems
Open accessAbstract
It is difficult to create robust, reusable, and reactive behaviors for robots that can be easily extended and combined. Frameworks such as Behavior Trees are flexible but difficult to characterize, especially when designing reactions and recovery behaviors to consistently converge to a desired goal condition. We propose a framework which we call Robust Logical-Dynamical Systems (RLDS), which combines the advantages of task representations like behavior trees with theoretical guarantees on performance. RLDS can also be constructed automatically from simple sequential task plans and will still achieve robust, reactive behavior in dynamic real-world environments. In this work, we describe both our proposed framework and a case study on a simple household manipulation task, with examples for how specific pieces can be implemented to achieve robust behavior. Finally, we show how in the context of these manipulation tasks, a combination of an RLDS with planning can achieve better results under adversarial conditions.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
RLDS gives a more concise problem description than behavior trees alone, but its online reactivity is limited to offline-planned scenarios.
“RLDS results in a more concise problem description with respect to using BTs only, but online reactivity is again limited to the scenarios planned offline.”
From Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics (2023) · cites this paper as [6]
The Introduction and Related Work describe RLDS task descriptions as simpler than specifying a BT’s internal structure. The Execution section says plan construction occurs offline and policies are selected in near real time. But the paper does not say reactivity is limited to scenarios anticipated offline; the Introduction and Real-World Experiments describe adaptation to unforeseen interference. (LLM, conf=0.84)
Experimental — accuracy not yet measuredReplanning for unforeseen contingencies consumes more resources than reacting.
“For unforeseen contingencies, replanning would be necessary, which is more resource-demanding than reacting, as shown in the experimental results in [6].”
From Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics (2023) · cites this paper as [6]
The Simulation Experiments section says replanning is more computationally intensive than reactive execution, and Table I reports slightly longer completion times with replanning. But the Introduction and Results describe reactive recovery from unforeseen challenges, so the paper does not support the sentence’s assertion that such contingencies necessarily require replanning. (LLM, conf=0.87)
Experimental — accuracy not yet measuredTo change the attraction region, one must either replan or expand the BT dynamically.
“Alternatively, adapting the region of attraction requires either replanning [6] or dynamic BT expansion [4].”
From Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics (2023) · cites this paper as [6]
The Simulation Experiments section describes replanning when execution conditions fail and says this lets the robot adapt. The paper does not state that changing a region of attraction requires replanning; the dynamic BT expansion alternative is attributed to a different citation in the citing sentence. No page number is available in our copy. (LLM, conf=0.77)
Experimental — accuracy not yet measured
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Cites
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Fikes, R. E., & Nilsson, N. J. (1971) · Artificial Intelligence · doi:10.1016/0004-3702(71)90010-5 · Cited by 4,882 · see citing works
The Fast Downward Planning System
Helmert, M. (2006) · Journal of Artificial Intelligence Research · doi:10.1613/jair.1705 · Cited by 1,479 · see citing works
Sequential Composition of Dynamically Dexterous Robot Behaviors
Burridge, R. R., Rizzi, A. A., & Koditschek, D. E. (1999) · The International Journal of Robotics Research · doi:10.1177/02783649922066385 · Cited by 446 · see citing works
Yale-CMU-Berkeley dataset for robotic manipulation research
Çallı, B., Singh, A., Bruce, J., Walsman, A., Konolige, K., Srinivasa, S. S., Abbeel, P., & Dollar, A. M. (2017) · The International Journal of Robotics Research · doi:10.1177/0278364917700714 · Cited by 375 · see citing works
The SMACH High-Level Executive [ROS News]
Bohren, J., & Cousins, S. (2010) · IEEE Robotics & Automation Magazine · doi:10.1109/mra.2010.938836 · Cited by 234 · see citing works
Constraint-Based Attribute and Interval Planning
Frank, J., & Jónsson, A. (2003) · Constraints · doi:10.1023/a:1025842019552 · Cited by 206 · see citing works
CoSTAR: Instructing collaborative robots with behavior trees and vision
Paxton, C., Hundt, A., Jonathan, F., et al. (2017) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra.2017.7989070 · Cited by 176 · see citing works
Self-citationNeural Task Programming: Learning to Generalize Across Hierarchical Tasks
Xu, D., Nair, S., Zhu, Y., Gao, J., Garg, A., Fei-Fei, L., & Savarese, S. (2018) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/icra.2018.8460689 · Cited by 164 · see citing works
A deliberative architecture for AUV control
Mcgann, C. P., Py, F., Rajan, K., Thomas, H. J., Henthorn, R., & McEwen, R. (2008) · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · doi:10.1109/robot.2008.4543343 · Cited by 154 · see citing works
DART: Dense Articulated Real-Time Tracking
Schmidt, T., Newcombe, R., & Fox, D. (2014) · doi:10.15607/rss.2014.x.030 · Cited by 136 · see citing works
Self-citationPoseCNN: A Convolutional Neural Network for 6D Object Pose Estimation in Cluttered ScenesPreprint
Yu, X., Schmidt, T., Narayanan, V., et al. (2017) · arXiv (Cornell University) · doi:10.48550/arxiv.1711.00199 · Cited by 131 · see citing works
Lessons from the Amazon Picking Challenge: Four Aspects of Building Robotic Systems
Eppner, C., Höfer, S., Jonschkowski, R., Martín-Martín, R., Sieverling, A., Wall, V., & Brock, O. (2016) · Robotics: Science and Systems · doi:10.15607/rss.2016.xii.036 · Cited by 126 · see citing works
Self-citationCombining neural networks and tree search for task and motion planning in challenging environments
Paxton, C., Raman, V., Hager, G. D., & Kobilarov, M. (2017) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2017.8206505 · Cited by 113 · see citing works
Self-citationBehavior Based Robotics Using Hybrid Automata
Egerstedt, M. (2000) · Lecture notes in computer science · doi:10.1007/3-540-46430-1_12 · Cited by 104 · see citing works
Extended behavior trees for quick definition of flexible robotic tasks
Rovida, F., Großmann, B., & Krüger, V. (2017) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2017.8206598 · Cited by 95 · see citing works
Motion planning with temporal-logic specifications: Progress and challenges
Plaku, E., & Karaman, S. (2015) · AI Communications · doi:10.3233/aic-150682 · Cited by 88 · see citing works
An Overview of Hierarchical Task Network PlanningPreprint
Georgievski, I., & Aiello, M. (2014) · arXiv.org · doi:10.48550/arxiv.1403.7426 · Cited by 59 · see citing works
Evaluating Methods for End-User Creation of Robot Task Plans
Paxton, C., Jonathan, F., Hundt, A., et al. (2018) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2018.8594127 · Cited by 26 · see citing works
Self-citationHow Behavior Trees generalize the Teleo-Reactive paradigm and And-Or-Trees
Colledanchise, M., & Ögren, P. (2016) · IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · doi:10.1109/iros.2016.7759089 · Cited by 24 · see citing works
RMPflow: A Computational Graph for Automatic Motion Policy GenerationPreprint
Cheng, C.-A., Mukadam, M., Issac, J., et al. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1811.07049 · Cited by 24 · see citing works
Neural Task Graphs: Generalizing to Unseen Tasks from a Single Video DemonstrationPreprint
Huang, D.-A., Nair, S., Xu, D., et al. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1807.03480 · Cited by 15 · see citing works
Behavior Trees as a Representation for Medical ProceduresPreprint
Hannaford, B., Bly, R. A., Humphreys, I. M., et al. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1808.08954 · Cited by 10 · see citing works
Flagged first, then by citations
Research works printed but not linked: 5
- [6]6. C. McGann, E. Berger, J. Bohren, S. Chitta, B. Gerkey, S. Glaser, B. Marthi, W. Meeussen, T. Pratkanis, E. Marder-Eppstein et al., "Model-based, hierarchical control of a mobile manipulation plat- form," in ICAPS Workshop on Planning and Plan Execution for Real- World Systems, Thessaloniki, Greece, 2009.
- [11]11. E. Gat, R. P. Bonnasso, R. Murphy et al., "On three-layer architec- tures," Artificial intelligence and mobile robots, vol. 195, p. 210, 1998.
- [14]14. J. L. Bresina, A. K. Jónsson, P. H. Morris, and K. Rajan, "Activity planning for the mars exploration rovers." in ICAPS, 2005, pp. 40-49.
- [17]17. M. Ghallab, A. Howe, C. Knoblock, D. McDermott, A. Ram, M. Veloso, D. Weld, and D. Wilkins, "Pddl-the planning domain definition language," AIPS-98 planning committee, vol. 3, p. 14, 1998.
- [21]21. M. Toussaint, "Logic-geometric programming: An optimization-based approach to combined task and motion planning," in Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015.
Cited by
Sorted by citations
Active Inference and Behavior Trees for Reactive Action Planning and Execution in Robotics
Pezzato, C., Corbato, C. H., Bonhof, S., & Wisse, M. (2023) · IEEE Transactions on Robotics · doi:10.1109/tro.2022.3226144 · Cited by 44 · see citing works
“Other researchers combined the advantages of BTs with the theoretical guarantees on the performance of planning with the planning domain definition language (PDDL) by representing robot task plans as robust logical-dynamical systems (RLDS) [6].”
BackgroundResultInfluential
- Authors
- Paxton, C., Ratliff, N., Eppner, C., & Fox, D.
- Affiliations
- Nvidia (United States) (US)
- Venue
- 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
- Publisher
- IEEE
- Published
- 2019-11
- Pages
- 5588-5595
- ISSN
- 2153-0858 (ISSN-L)
- OpenAlex
- W2964906587
- Cited by
- 59
- References
- 22
- Citations by year
- 2025: 4 · 2024: 15 · 2023: 2 · 2022: 13 · 2021: 12 · 2020: 10 · 2019: 3
- FWCI
- 3.64
- Type
- conference paper
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (publishedVersion)
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Physical Sciences › Engineering › Control and Systems Engineering › Robot Manipulation and Learning
- Physical Sciences › Computer Science › Computer Vision and Pattern Recognition › Robotic Path Planning Algorithms
- Keywords
- robot task planning, behavior trees, robustness, recovery behavior
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review